Story perspectives

Axiom AI Solves Four Historic Math Problems Breakthrough

2/6/2026

23 3

Summary

Story summary

Axiom, an AI math startup, has solved four previously unsolved math problems, demonstrating advanced AI reasoning.
Co-founders Chen and Gendron faced a challenging theorem but achieved a breakthrough after consulting mathematician Ken Ono at a conference.
Ono's AI tool, AxiomProver, provided a proof by linking the problem to a historical numerical phenomenon.
AxiomProver independently solved Fel’s Conjecture, demonstrating its ability to create proofs from scratch, including Ramanujan-related work.

1 of 1

Story summary

Axiom, an AI math startup, has solved four previously unsolved math problems, demonstrating advanced AI reasoning.
Co-founders Chen and Gendron faced a challenging theorem but achieved a breakthrough after consulting mathematician Ken Ono at a conference.
Ono's AI tool, AxiomProver, provided a proof by linking the problem to a historical numerical phenomenon.
AxiomProver independently solved Fel’s Conjecture, demonstrating its ability to create proofs from scratch, including Ramanujan-related work.