Koniec ze sztuczną inteligencją na słowo honoru. Kodamai wprowadza matematyczny rygor do świata agentów AI

Większość korporacyjnych systemów sztucznej inteligencji działa na zasadzie wysokiego prawdopodobieństwa, licząc na to, że statystyka nie zawiedzie w kluczowym momencie. Kodamai właśnie kończy z tym modelem.

Startup, kierowany przez fizyczkę dr Mahę Achour, wyszedł z fazy ukrycia, prezentując platformę Kelvingrove. To pierwsza na świecie infrastruktura dla agentów AI, która nie prosi o zaufanie, lecz przedstawia matematyczny dowód poprawności każdego działania. Zamiast polegać na nieprzewidywalnych wynikach modeli LLM, system Kodamai weryfikuje każdą operację przed jej wykonaniem, wykorzystując teorię kategorii oraz teorię typów.

Matematyka zamiast obietnic

Problem z dzisiejszymi agentami AI w biznesie jest prosty: są nieprzewidywalni. W branżach regulowanych, takich jak energetyka czy finanse, błąd o niskim prawdopodobieństwie statystycznym może oznaczać katastrofę w realnym świecie. Kodamai rozwiązuje to poprzez oddzielenie rozumienia języka naturalnego od deterministycznego wykonania.

Filary systemu Kelvingrove:

• Teoria kategorii: Formalizuje relacje między agentami i przepływami pracy w sposób sztywny i audytowalny.
• Teoria typów: Nadaje każdemu agentowi kontrakt interfejsu, który musi zostać spełniony, by dane mogły przepłynąć dalej.
• Neuro-symboliczna sztuczna inteligencja: Łączy elastyczność sieci neuronowych z logiką systemów symbolicznych.

W praktyce oznacza to, że błędy nie mogą cicho „przeciekać” między agentami. Jeśli akcja nie jest matematycznie poprawna, system jej po prostu nie przepuści.

Saudyjski poligon doświadczalny

To nie jest tylko teoretyczne ćwiczenie z informatyki. Pierwszym klientem Kodamai zostało First Mills – gigant saudyjskiego rynku młynarskiego i kluczowy gracz w ekosystemie bezpieczeństwa żywnościowego Królestwa.

Wdrożenie obejmuje cztery zakłady produkcyjne, gdzie agenci AI przejmują kontrolę nad prognozowaniem popytu i łańcuchem dostaw. Tutaj margines błędu nie istnieje. Decyzje podejmowane tysiące razy dziennie mają bezpośredni wpływ na stabilność dostaw żywności. Wybór Kodamai przez tak krytyczny podmiot to sygnał, że branża produkcyjna przestaje traktować AI jako zabawkę, a zaczyna wymagać od niej certyfikowanej niezawodności.

Warstwa operacyjna przyszłości

Co istotne, Kodamai nie próbuje zastąpić gigantów pokoju OpenAI czy Anthropic. Platforma działa jako warstwa nadzorcza, która może współpracować z dowolnym modelem LLM i istniejącymi systemami ERP. To „policjant” siedzący nad kodem, który sprawdza, czy logika agenta nie rozjechała się z rzeczywistością biznesową.

To rzadki przypadek, gdy oprogramowanie nie jest twierdzeniem inżynieryjnym, lecz matematycznym.

Jeśli obietnica „poprawności przez konstrukcję” potwierdzi się w skali przemysłowej, Kodamai może zasypać lukę zaufania, która do tej pory trzymała autonomiczne systemy AI z daleka od najbardziej wrażliwych sektorów gospodarki. W świecie, gdzie sztuczna inteligencja coraz częściej „zmyśla” fakty, powrót do matematycznych fundamentów wydaje się jedyną racjonalną drogą ucieczki.