La startup d’infrastructure d’IA Kodamai est sortie du mode furtif avec le lancement de sa plate-forme Kelvingrove, un système d’agent d’IA d’entreprise unique en son genre. Opérant simultanément au Royaume-Uni et en Arabie Saoudite, la plateforme se distingue en s’éloignant de l’IA « probabiliste » (qui repose sur la vraisemblance statistique) pour se tourner vers une ** IA « dont l’exactitude est prouvée »** ancrée dans des principes mathématiques formels.
De la probabilité à la certitude : une nouvelle approche de l’IA
La plupart des agents d’IA d’entreprise actuels fonctionnent sur un modèle de plausibilité ; ils génèrent des réponses qui semblent correctes sur la base de modèles, mais il leur manque un mécanisme pour garantir l’exactitude. Cela crée un « fossé de confiance » qui empêche de nombreuses industries de déployer des agents autonomes dans des rôles critiques.
Kodamai résout ce problème en utilisant une combinaison de trois disciplines mathématiques et informatiques avancées :
- Théorie des catégories : Fournit une structure formelle sur la façon dont les différents agents, flux de travail et systèmes interagissent les uns avec les autres.
- Théorie des types : établit des « contrats d’interface » pour chaque agent, garantissant que les données transmises entre eux répondent à des exigences strictes et vérifiables par machine.
- IA neuro-symbolique : intègre les atouts de reconnaissance de formes des grands modèles linguistiques (LLM) à la logique rigide du raisonnement symbolique, garantissant que les résultats du LLM sont régis avant leur exécution.
En séparant la compréhension du langage naturel de l’exécution déterministe, la plateforme Kelvingrove garantit qu’une erreur chez un agent ne peut pas se propager silencieusement à travers un réseau. Chaque action est mathématiquement vérifiée avant qu’elle se produise et reste entièrement vérifiable après le fait.
Déploiement stratégique : sécuriser les chaînes d’approvisionnement alimentaire
Dans le cadre de sa première opération commerciale majeure, Kodamai a retenu First Mills, le principal producteur de farine d’Arabie saoudite, en tant qu’entreprise cliente.
Le déploiement est important pour plusieurs raisons :
1. Échelle : Kelvingrove est mis en œuvre dans les quatre installations de production de First Mills.
2. Criticité : La plateforme gérera la coordination de la chaîne d’approvisionnement, le contrôle qualité et la prévision de la demande, des domaines dans lesquels une seule erreur d’IA pourrait entraîner des pertes financières massives ou avoir un impact sur la sécurité alimentaire nationale.
3. Importance régionale : Il s’agit du premier déploiement à grande échelle d’une infrastructure d’IA mathématiquement vérifiée en Arabie Saoudite.
Positionnement en tant que “Couche Opérationnelle”
Kodamai ne tente pas de remplacer les outils d’IA ou LLM existants. Au lieu de cela, la plate-forme est conçue pour agir comme une couche opérationnelle intelligente située au-dessus d’eux. Parce qu’il est compatible avec n’importe quel LLM et n’importe quel système d’entreprise existant, les entreprises peuvent conserver leurs investissements logiciels actuels tout en ajoutant une couche de rigueur et de sécurité mathématiques.
L’entreprise, dirigée par le fondateur et PDG Dr. Maha Achour, physicien et entrepreneur en série, cible spécifiquement les secteurs très réglementés où les « hallucinations » ou les erreurs sont inacceptables. Ceux-ci incluent :
* Industrie manufacturière et énergie
* Services financiers
* Soins de santé
* Logistique
Pourquoi c’est important
Le passage du « génie logiciel » à « l’exactitude mathématique » représente un changement fondamental dans la manière dont l’IA est intégrée dans l’économie. Alors qu’une grande partie du boom actuel de l’IA se concentre sur la création de modèles plus grands et plus conversationnels, Kodamai se concentre sur les rendre fiables. Si la plateforme réussit, elle pourrait permettre aux agents autonomes de gérer les flux de travail complexes et à enjeux élevés qui alimentent l’infrastructure mondiale.
En appliquant des mathématiques fondamentales comme la théorie des catégories à l’IA, Kodamai vise à transformer les agents d’assistants imprévisibles en outils industriels vérifiables.
Conclusion
Le lancement de Kodamai marque une évolution vers une ère d’IA plus disciplinée, où la preuve mathématique remplace les conjectures statistiques. En concluant un partenariat majeur avec First Mills, la startup prouve que l’IA « dont l’exactitude est prouvée » a des applications immédiates et à enjeux élevés dans les chaînes d’approvisionnement mondiales.
