La startup dell’infrastruttura AI Kodamai è uscita dalla modalità invisibile con il lancio della sua piattaforma Kelvingrove, un sistema di agenti AI aziendali primo nel suo genere. Operando contemporaneamente nel Regno Unito e in Arabia Saudita, la piattaforma si distingue per il suo allontanamento dall’intelligenza artificiale “probabilistica” – che si basa sulla verosimiglianza statistica – verso un’intelligenza artificiale “dimostrabilmente corretta”** radicata in principi matematici formali.
Dalla probabilità alla certezza: un nuovo approccio all’intelligenza artificiale
La maggior parte degli attuali agenti di intelligenza artificiale aziendale operano secondo un modello di plausibilità; generano risposte che sembrano corrette in base a modelli, ma non dispongono di un meccanismo per garantire l’accuratezza. Ciò crea un “gap di fiducia” che impedisce a molte industrie di impiegare agenti autonomi in ruoli mission-critical.
Kodamai affronta questo problema utilizzando una combinazione di tre discipline matematiche e computazionali avanzate:
- Teoria delle categorie: fornisce una struttura formale per il modo in cui diversi agenti, flussi di lavoro e sistemi si relazionano tra loro.
- Teoria dei tipi: Stabilisce “contratti di interfaccia” per ogni agente, garantendo che i dati scambiati tra loro soddisfino requisiti rigorosi e verificabili dalla macchina.
- AI neuro-simbolica: integra i punti di forza del riconoscimento dei modelli dei Large Language Models (LLM) con la rigida logica del ragionamento simbolico, garantendo che i risultati del LLM siano governati prima che vengano eseguiti.
Separando la comprensione del linguaggio naturale dall’esecuzione deterministica, la piattaforma Kelvingrove garantisce che un errore in un agente non possa propagarsi silenziosamente attraverso una rete. Ogni azione viene verificata matematicamente prima che avvenga e rimane completamente verificabile dopo il fatto.
Implementazione strategica: garantire la catena di approvvigionamento alimentare
Nella sua prima grande mossa commerciale, Kodamai si è assicurata First Mills, il produttore di farina leader di mercato dell’Arabia Saudita, come cliente aziendale.
La distribuzione è significativa per diversi motivi:
1. Scala: Kelvingrove viene implementato in tutti e quattro gli impianti di produzione di First Mills.
2. Criticità: la piattaforma gestirà il coordinamento della catena di approvvigionamento, il controllo della qualità e la previsione della domanda, aree in cui un singolo errore di intelligenza artificiale potrebbe comportare ingenti perdite finanziarie o avere un impatto sulla sicurezza alimentare nazionale.
3. Importanza regionale: si tratta della prima implementazione su larga scala di un’infrastruttura di intelligenza artificiale verificata matematicamente in Arabia Saudita.
Posizionamento come “Livello Operativo”
Kodamai non sta tentando di sostituire gli strumenti AI o i LLM esistenti. Invece, la piattaforma è progettata per agire come un livello operativo intelligente che si trova sopra di loro. Poiché è compatibile con qualsiasi LLM e qualsiasi sistema aziendale esistente, le aziende possono mantenere gli attuali investimenti software aggiungendo allo stesso tempo un livello di rigore matematico e sicurezza.
L’azienda, guidata dal fondatore e CEO Dr. Maha Achour, fisico e imprenditore seriale, si rivolge specificamente a settori altamente regolamentati in cui “allucinazioni” o errori sono inaccettabili. Questi includono:
* Manifatturiero ed energetico
* Servizi finanziari
* Assistenza sanitaria
* Logistica
Perché è importante
Il passaggio dall’“ingegneria del software” alla “correttezza matematica” rappresenta un cambiamento fondamentale nel modo in cui l’intelligenza artificiale viene integrata nell’economia. Mentre gran parte dell’attuale boom dell’intelligenza artificiale si concentra sulla creazione di modelli più grandi e più conversazionali, Kodamai si sta concentrando sul renderli affidabili. Se la piattaforma avrà successo, potrebbe sbloccare la capacità degli agenti autonomi di gestire i flussi di lavoro complessi e ad alto rischio che alimentano l’infrastruttura globale.
Applicando la matematica fondamentale come la teoria delle categorie all’intelligenza artificiale, Kodamai mira a trasformare gli agenti da assistenti imprevedibili in strumenti industriali verificabili.
Conclusione
Il lancio di Kodamai segna un passaggio verso un’era dell’intelligenza artificiale più disciplinata, in cui la prova matematica sostituisce le congetture statistiche. Assicurandosi un’importante partnership con First Mills, la startup sta dimostrando che l’intelligenza artificiale “dimostrabilmente corretta” ha applicazioni immediate e ad alto rischio nelle catene di approvvigionamento globali.
