New We formalized a quantum mechanics textbook in Lean.
About Axiomatic AI
We build AI for science and engineering that can be checked, not just trusted.
Axiomatic AI was founded in 2024 on a simple belief: the scientific method, our most trusted engine for discovery, deserves an AI counterpart grounded in the same principles of logic and evidence. At a time when hallucinated outputs undermine trust, we set out to build something different. Drawing on decades of experience in physics, engineering, and computer science, our team combines deep learning with formal logic and physics-based modeling so researchers and engineers can move faster with mathematical certainty.
Our vision is AI that reasons like a scientist, designs like an engineer, and optimizes like a mathematician: a trusted collaborator that lets small teams and individual researchers take on problems that used to require large organizations.
Team
We are researchers, engineers, and entrepreneurs across Boston, Barcelona, and Toronto, with backgrounds in AI systems, scientific machine learning, photonics, and large-scale software engineering.
Leadership
Backed by leading investors
In the news
- PR Newswire
Lightium, MPI Corporation, and Axiomatic AI Announce Strategic Partnership to Revolutionize PIC Device Testing
Strategic collaboration to develop world's first Intelligent, Autonomous, and Integrated Test Solution (IAITS) for photonic devices, combining AI-driven reasoning with advanced hardware.
- Engineering.com
Strategic alliance formed to enhance PIC testing with AI
Axiomatic AI's physics-based reasoning AI combined with MPI's wafer probing systems aims to set new industry benchmark for efficiency and precision in photonic testing.
- LinkedIn / Propagator Ventures
Propagator Ventures invests in Axiomatic AI
Propagator Ventures announces investment in Axiomatic AI, joining Kleiner Perkins and Two Small Fish Ventures in $6M funding round for MIT spin-off developing Automated Interpretable Reasoning (AIR).
Join Our Team
We are looking for people passionate about bringing AI to science and engineering. Explore our open positions.