Axiomatic AI is a technology company founded in 2024, with offices in Boston and Barcelona. The firm develops AI systems that combine reinforcement learning, large language models, world models, and formal verification. Its focus is on creating mathematically verifiable, error-free results for scientific and engineering applications, in fields such as photonics, semiconductor design, and hardware development.
The company's core product is Automated Interpretable Reasoning (AIR), a platform designed to prove its own correctness. The stated mission, labeled Mission 10X30, aims to achieve a tenfold decrease in the time engineers spend on technical challenges by 2030. This goal reflects a philosophy that AI should empower human reasoning rather than replace it, enabling faster iteration without sacrificing rigor.
