Startup voor AI-infrastructuur Kodamai is uit de stealth-modus gekomen met de lancering van zijn Kelvingrove-platform, een uniek AI-agentsysteem voor ondernemingen. Het platform, dat tegelijkertijd actief is in Groot-Brittannië en Saoedi-Arabië, onderscheidt zich door zich te verplaatsen van ‘probabilistische’ AI – die afhankelijk is van statistische waarschijnlijkheid – naar ‘aantoonbaar correcte’ AI** die geworteld is in formele wiskundige principes.
Van waarschijnlijkheid naar zekerheid: een nieuwe benadering van AI
De meeste huidige AI-agenten voor ondernemingen werken volgens een plausibiliteitsmodel; ze genereren reacties die lijken correct te zijn op basis van patronen, maar ze missen een mechanisme om nauwkeurigheid te garanderen. Dit creëert een ‘vertrouwenskloof’ die veel industrieën ervan weerhoudt autonome agenten in missiekritieke rollen in te zetten.
Kodamai pakt dit aan door gebruik te maken van een combinatie van drie geavanceerde wiskundige en computationele disciplines:
- Categorietheorie: Biedt een formele structuur voor hoe verschillende agenten, workflows en systemen zich tot elkaar verhouden.
- Typetheorie: Stelt ‘interfacecontracten’ op voor elke agent en zorgt ervoor dat de gegevens die tussen hen worden uitgewisseld, voldoen aan strikte, machinaal controleerbare vereisten.
- Neuro-Symbolische AI: Integreert de patroonherkenningssterkten van Large Language Models (LLM’s) met de rigide logica van symbolisch redeneren, waardoor LLM-uitvoer wordt beheerd voordat ze worden uitgevoerd.
Door het begrijpen van natuurlijke taal te scheiden van de deterministische uitvoering, zorgt het Kelvingrove-platform ervoor dat een fout in één agent zich niet stilletjes door een netwerk kan verspreiden. Elke actie wordt wiskundig geverifieerd voor dat deze plaatsvindt en blijft na het feit volledig controleerbaar.
Strategische inzet: het veiligstellen van de voedselvoorzieningsketens
Bij zijn eerste grote commerciële stap heeft Kodamai First Mills, de marktleidende meelproducent van Saoedi-Arabië, binnengehaald als zakelijke klant.
De inzet is om verschillende redenen belangrijk:
1. Schaal: Kelvingrove wordt geïmplementeerd in alle vier de productiefaciliteiten van First Mills.
2. Criticaliteit: Het platform zal de coördinatie van de toeleveringsketen, de kwaliteitscontrole en de vraagvoorspelling beheren – gebieden waar een enkele AI-fout kan leiden tot enorme financiële verliezen of gevolgen kan hebben voor de nationale voedselzekerheid.
3. Regionale betekenis: Dit markeert de eerste grootschalige inzet van wiskundig geverifieerde AI-infrastructuur in Saoedi-Arabië.
Positionering als ‘operationele laag’
Kodamai probeert niet bestaande AI-tools of LLM’s te vervangen. In plaats daarvan is het platform ontworpen om te fungeren als een intelligente operationele laag die erboven zit. Omdat het compatibel is met elke LLM en elk bestaand bedrijfssysteem, kunnen bedrijven hun huidige software-investeringen behouden en tegelijkertijd een laag van wiskundige nauwkeurigheid en veiligheid toevoegen.
Het bedrijf, geleid door oprichter en CEO Dr. Maha Achour – een natuurkundige en serieel ondernemer – richt zich specifiek op sterk gereguleerde sectoren waar ‘hallucinaties’ of fouten onaanvaardbaar zijn. Deze omvatten:
* Productie en energie
* Financiële diensten
* Zorg
* Logistiek
Waarom dit belangrijk is
De verschuiving van ‘software-engineering’ naar ‘wiskundige correctheid’ vertegenwoordigt een fundamentele verandering in de manier waarop AI in de economie wordt geïntegreerd. Terwijl een groot deel van de huidige AI-hausse zich richt op het groter en spraakzamer maken van modellen, richt Kodamai zich erop ze betrouwbaar te maken. Als het platform slaagt, kan het de mogelijkheid voor autonome agenten ontsluiten om de complexe, veeleisende workflows te beheren die de mondiale infrastructuur aandrijven.
Door fundamentele wiskunde zoals categorietheorie toe te passen op AI, wil Kodamai agenten transformeren van onvoorspelbare assistenten in verifieerbare industriële hulpmiddelen.
Conclusie
De lancering van Kodamai luidt een beweging in de richting van een meer gedisciplineerd AI-tijdperk, waarin wiskundig bewijs het statistische giswerk vervangt. Door een groot partnerschap met First Mills aan te gaan, bewijst de startup dat ‘aantoonbaar correcte’ AI directe toepassingen met hoge inzet heeft in wereldwijde toeleveringsketens.
