Kodamai 用范畴论与类型论打造可解释的企业 AI 系统

Related Topics

Deep learning; Neural networks

Language models; Speech recognition

Data science; Data centers; Data analytics

Data management; Synthetic data

Kodamai, an enterprise AI startup, is addressing the growing concerns around the explainability and governance of AI systems by applying mathematically grounded theories.

August 24, 2026

Amid growing cybersecurity concerns about AI systems, a consensus in the AI market remains that these systems are largely black boxes and that explainability and governance should continue to be priorities for enterprises.

Incidents such as AI agents from frontier labs escaping their sandbox environments and attacking external IT infrastructure indicate there is still much to do with explainability and governance in AI. For businesses, the incidents also mean that they can’t fully trust models on their own and that caution is warranted.

For enterprise AI startup Kodamai, one answer to the relative lack of explainability in current AI systems is for enterprises to turn to platforms that apply mathematically grounded theories to their models.

“Once you build AI deeply rooted in math, you cannot bias it, you cannot manipulate it, you cannot hack it,” said Maha Achour, Kodamai’s CEO and founder, on the Targeting AI podcast. “Governance is built in, mathematically rooted in our platform.”

Related:DeepSeek and what enterprises should learn from AI agent exploits

Kodamai uses advanced math, such as category theory and type theory, to determine that its AI agents are performing their jobs correctly. In category theory, the focus is on how objects relate to one another. On a platform like Kodamai, math is key to ensuring that the relationship and meaning of the data, as it is used among different agents, are never lost.

Meanwhile, type theory assigns each data item or system a type and checks that every AI agent manages data correctly. Category theory aims to ensure there is no miscommunication between agents and that the meaning of the data remains intact. Kodamai also uses neuro-symbolic AI to combine its mathematical theories with the pattern-matching of AI systems.

However, Kodamai is not focused on building new LLMs; instead, it concentrates on grounding existing LLMs using its math-first approach. Moreover, Achour is convinced there is still a need for humans.

“Humans will always be in control when interacting with these very advanced AI platforms,” Achour said. “So, this embedded built-in governance and the correctness that enables these agents to operate and delegate tasks across various departments is important.”

Shaun Sutner

Shaun Sutner, a journalist with more than 25 years of daily newspaper experience and 12 years at Informa TechTarget as an editor and writer, directs news coverage for AI Business. He was previously a senior news and features writer covering health IT and HR software at TechTarget and a senior news director overseeing coverage of AI, business analytics, data management and government tech regulation.

Sutner's newspaper career included investigative reporting and covering the Massachusetts State House and politics for the Worcester Telegram & Gazette. He has written about snow sports as a T&G columnist and correspondent for 21 years. Sutner's interests also include tennis, standup paddleboarding, cooking and popular music.

Want more AI Business stories in your Google search results?

Generative AIReflection Beam aims U.S. open-weight AI model at Chinese rivalsOct 7, 2026; Generative AIThe context factor for AI agentsOct 7, 2026; Generative AIAnthropic plugs regulation, AI leaders meet with Trump, and open modelsSep 30, 2026; RoboticsLack of training data stifling humanoid bot developmentSep 23, 2026

The AI Summit New York 2026

Connecting enterprise leaders, technology innovators, and AI decision-makers to explore the latest developments in commercial AI.