Riyadh – Sharikat Mubasher: AI startup Kodamai emerged from stealth with the launch of what it describes as the world’s first mathematically verified enterprise AI agent platform, alongside securing First Mills as its inaugural customer in Saudi Arabia.

The Scotland- and Saudi-linked company introduced its “Kelvingrove” platform, which applies advanced mathematical frameworks—including category theory, type theory, and neuro-symbolic AI—to ensure that every AI agent action is formally verified before execution and fully auditable afterward. As per the company’s press release, this approach aims to address growing enterprise concerns around trust, governance, and reliability in AI deployments.

As part of the rollout, First Mills is deploying the platform across its four production facilities, marking what Kodamai claims is the first large-scale implementation of mathematically verified agentic AI in the Kingdom. The system is designed to enhance supply chain coordination, production monitoring, and demand forecasting, while automating repetitive operational decisions.

The deployment is expected to strengthen efficiency and resilience across First Mills’ operations, particularly in areas such as procurement, inventory management, and quality control—key components of Saudi Arabia’s broader food security ecosystem.

Kodamai positions its platform as a shift from experimental AI to fully governed, enterprise-grade systems, particularly for industries where operational accuracy and auditability are critical, including manufacturing, logistics, and financial services.

The partnership aligns with Saudi Arabia’s Vision 2030 ambitions to accelerate digital transformation and build a more resilient, technology-driven industrial base.