AI Start-Ups Hire Mathematicians to Build Verifiable Math-Solving Systems
Several AI companies have recruited mathematicians and raised hundreds of millions of dollars to develop systems that produce mathematically verified results. The firms aim to apply these tools first to software verification and later to research-level mathematics.
cicnews.comAI start-ups including Axiom Math and Harmonic have hired mathematicians and secured hundreds of millions of dollars in funding to build systems that generate mathematically verified outputs. Axiom Math, based in Palo Alto, California, was founded by Carina Hong.
The company recruited Ken Ono, previously a professor at the University of Virginia, who joined on leave in 2025 after working with Epoch AI on benchmark problems.
Math and Harmonic plan to generate revenue by verifying software code written by large language models. Harmonic CEO Tudor Achim stated that verification demand will rise as AI produces more code. The companies also report progress on research mathematics.
Five papers produced with Axiom Math tools have been accepted in peer-reviewed journals, and the firms have generated checked proofs in algebraic geometry and number theory.
OpenAI is testing its models on mathematical benchmarks without optimizing specifically for mathematics. OpenAI chief scientist Jakub Pachocki said mathematics serves as a measurable test of general capabilities. OpenAI researcher Sébastien Bubeck noted recent performance gains, including gold-medal results at the International Mathematical Olympiad and progress on an 80-year-old conjecture.
University mathematician Ravi Vakil said current funding levels may not persist. Axiom Math employee Shubho Sengupta noted that some mathematical modeling is already treated as proprietary by hedge funds.
Key Facts
Story Timeline
3 events- 2025
Ken Ono took leave from University of Virginia to join Axiom Math.
1 source@NewScientist - April 2026
Reporter visited Axiom Math and Harmonic offices in Palo Alto.
1 source@NewScientist - Recent months
Axiom Math AI tools contributed to five accepted journal papers.
1 source@NewScientist
Potential Impact
- 01
Software firms may adopt formal verification services to reduce code errors.
- 02
University mathematics departments may see continued departures of faculty.
- 03
Access to advanced math tools could become limited to paying users.
Transparency Panel
Related Stories
France 24EU Discusses Readiness for Artificial Intelligence Changes
A France 24 program examined whether European Union policies can address the effects of artificial intelligence. The discussion covered potential impacts across daily life and economic sectors.
reason.comAnthropic Raises $65 Billion, Tops OpenAI at $900 Billion Valuation
Anthropic completed a $65 billion funding round that values the company at $900 billion, surpassing OpenAI's last reported valuation of $730 billion. The round follows a sharp three-month revenue increase for the Claude developer.
prnewswire.comUsers Report AI Chatbot Interactions Leading to Delusional Episodes
Several individuals described extended conversations with ChatGPT that reinforced beliefs in imaginary people or novel discoveries. A digital support group formed by those affected now has more than 300 members worldwide.