Startup infrastruktury AI Kodamai wyszedł z trybu ukrytego wraz z wprowadzeniem platformy Kelvingrove, unikalnego systemu agentów AI dla przedsiębiorstw. Platforma, działająca jednocześnie w Wielkiej Brytanii i Arabii Saudyjskiej, wyróżnia się swoim podejściem: unika „probabilistycznej” sztucznej inteligencji opartej na pewności statystycznej na rzecz „poprawnej do udowodnienia” sztucznej inteligencji opartej na rygorystycznych zasadach matematycznych.
Od prawdopodobieństwa do pewności: nowe podejście do sztucznej inteligencji
Większość współczesnych agentów sztucznej inteligencji dla przedsiębiorstw działa w oparciu o model wiarygodności: generują odpowiedzi, które wydają się prawidłowe w oparciu o zidentyfikowane wzorce, ale nie mają mechanizmu gwarantującego dokładność. Stwarza to „deficyt zaufania”, który uniemożliwia wielu branżom wdrażanie autonomicznych agentów do procesów biznesowych o znaczeniu krytycznym.
Kodamai rozwiązuje ten problem, łącząc trzy zaawansowane dyscypliny matematyczne i obliczeniowe:
- Teoria kategorii: zapewnia formalną strukturę relacji między różnymi agentami, przepływami pracy i systemami.
- Teoria typów: ustanawia „umowy interfejsowe” dla każdego agenta, zapewniając, że dane przesyłane między nimi są zgodne ze ścisłymi wymaganiami, które można zweryfikować maszynowo.
- Neural Symbolic AI: łączy możliwości rozpoznawania wzorców modeli wielkojęzycznych (LLM) z rygorystyczną logiką obliczeń symbolicznych, umożliwiając kontrolowanie wyników LLM przed wykonaniem.
Oddzielając rozumienie języka naturalnego od deterministycznego wykonywania zadań, platforma Kelvingrove gwarantuje, że błąd pojedynczego agenta nie rozprzestrzeni się niezauważony w całej sieci. Każde działanie jest weryfikowane matematycznie przed jego wykonaniem i pozostaje w pełni weryfikowalne (audytowalne) po jego wykonaniu.
Wdrożenie strategiczne: ochrona łańcuchów dostaw żywności
W ramach swojego pierwszego dużego posunięcia komercyjnego firma Kodamai podpisała kontrakt z firmą First Mills, wiodącym producentem mąki w Arabii Saudyjskiej, jako klient korporacyjny.
Ta implementacja jest ważna z kilku powodów:
1. Zakres: Kelvingrove jest wdrażany we wszystkich czterech zakładach produkcyjnych First Mills.
2. Krytyczny: platforma będzie zarządzać koordynacją łańcucha dostaw, kontrolą jakości i prognozowaniem popytu – obszarami, w których pojedynczy błąd sztucznej inteligencji może prowadzić do ogromnych strat finansowych lub mieć wpływ na bezpieczeństwo żywnościowe kraju.
3. Znaczenie regionalne: Jest to pierwsze wdrożenie na dużą skalę infrastruktury AI weryfikowalnej matematycznie w Arabii Saudyjskiej.
Pozycjonowanie jako „warstwa operacyjna”
Kodamai nie próbuje zastąpić istniejących narzędzi AI ani LLM. Zamiast tego platforma została zaprojektowana jako inteligentna warstwa operacyjna działająca na nich. Kompatybilny z dowolnym modelem językowym i dowolnym istniejącym systemem korporacyjnym, firmy mogą utrzymać swoje obecne inwestycje w oprogramowanie, dodając jednocześnie warstwę matematycznego rygoru i bezpieczeństwa.
Firma prowadzona przez założyciela i dyrektora generalnego Dr. Mahi Ashour – fizyk i seryjny przedsiębiorca – celuje w sektory podlegające ścisłym regulacjom, w których nie toleruje się „halucynacji” ani błędów. Należą do nich:
* Produkcja i Energia
* Usługi finansowe
* Opieka zdrowotna
* Logistyka
Dlaczego to jest ważne?
Przejście od „inżynierii oprogramowania” do „poprawności matematycznej” stanowi fundamentalną zmianę w sposobie integracji sztucznej inteligencji z gospodarką. Podczas gdy obecny boom na sztuczną inteligencję koncentruje się na zwiększaniu rozmiarów modeli i poprawie umiejętności komunikacyjnych, Kodamai koncentruje się na ich niezawodności. Jeśli platforma odniesie sukces, umożliwi autonomicznym agentom zarządzanie złożonymi przepływami pracy obarczonymi wysokim ryzykiem, które napędzają globalną infrastrukturę.
Stosując do sztucznej inteligencji podstawowe elementy matematyki, takie jak teoria kategorii, Kodamai ma na celu przekształcenie agentów z nieprzewidywalnych asystentów w sprawdzalne narzędzia przemysłowe.
Wniosek
Premiera Kodamai oznacza przejście do bardziej zdyscyplinowanej ery sztucznej inteligencji, w której dowody matematyczne zastępują statystyczne domysły. Współpracując z First Mills, startup udowadnia, że „potwierdzona” sztuczna inteligencja ma natychmiastowe i istotne zastosowania w globalnych łańcuchach dostaw.
