AI infrastructure startup Kodamai has emerged from stealth, launching simultaneously in the UK and Saudi Arabia with an enterprise AI agent platform built on mathematical first principles. Founded by Algerian-born physicist and serial entrepreneur Dr. Maha Achour, Kodamai’s system produces AI agents whose actions are mathematically verified before execution, offering a new layer of trust for mission-critical operations. Saudi Arabia’s market-leading flour producer, First Mills (Tadawul:2283), has been announced as its first enterprise client.
Quick Facts
- Launched simultaneously in the UK and Saudi Arabia.
- First customer is Saudi Arabia’s First Mills.
- Platform ensures mathematically verified AI agent actions.
A New Approach to Enterprise AI
While major software companies are racing to build agentic AI platforms, most rely on systems that produce statistically probable or plausible outcomes. Kodamai is taking a different route with its Kelvingrove platform, which uses a combination of Category Theory, Type Theory, and Neuro-Symbolic AI. This foundation ensures every action an AI agent takes is mathematically proven to be correct before it happens, creating a fully auditable trail.
The platform is designed to sit as an operating layer above existing enterprise systems and Large Language Models (LLMs). It separates natural language understanding from deterministic execution, meaning that LLM outputs are validated against formal interfaces before they are passed through the agent network. This design prevents errors from silently spreading from one agent to another, addressing a critical trust gap that has kept autonomous AI out of highly regulated sectors.
First Mills Taps Kodamai for Mission-Critical Operations
First Mills, a cornerstone of Saudi Arabia’s food security ecosystem and the Kingdom’s largest flour producer by market share, is deploying the Kelvingrove platform across all four of its production facilities. This marks the first deployment of mathematically verified AI agent infrastructure at this scale in Saudi Arabia.
The implementation will initially focus on supply chain coordination, quality control, and demand forecasting. These are operational areas where thousands of daily decisions carry significant financial and food security implications, making error reduction paramount. By introducing mathematically verified AI, Kodamai aims to replace layers of manual workflow oversight required in these live enterprise environments.
Built for Regulated Industries
Kodamai’s technology is grounded in decades of foundational mathematics rarely touched by enterprise tech. The combination of Category Theory and Type Theory creates what mathematicians call “correctness by construction”—a system that cannot be deployed unless its correctness has been formally proven.
This mathematical guarantee positions Kodamai to target industries where AI errors have severe consequences. The company is focusing on manufacturing, financial services, healthcare, energy, and logistics, sectors where regulatory-grade explainability and full auditability are operational requirements, not just optional features.
About Kodamai
Founded by Dr. Maha Achour, Kodamai is an AI infrastructure company that has developed the world’s first enterprise AI agent platform built on mathematical first principles. The platform, Kelvingrove, uses Category Theory, Type Theory, and Neuro-Symbolic AI to produce “provably correct” AI agents for regulated and mission-critical industries.
Source: Middle East AI News
