startup review: axiom math - erika milktea
substack.com · 5,325 words · saved by 1 readers
what are they trying to sell?
I don’t have an archnemesis in my life, but AXIOM MATH is as close as it gets. I can’t even call my mother without her bringing up that SOMEONE is out there getting RICH off math while I don’t even have a ‘real job.’ “Oh we know that you work every day and that you get paid for it, but it’s not the sa… SHUT THE FUCK UP. I am so tired. Axiom Math is a startup founded in March 2025, currently valued at more than $1.6 billion. As a “starting point for reasoning”, they hope to build a superintelligent, self-improving AI mathematician. On one hand, they seem to be focused on proving math…
saved by
related reading
- startup review: axiom mathil0vemilktea.substack.com
- AI Will Write All the Code. Mathematics Will Prove It Works.menlovc.com
- A shallow dive into formal verificationvitalik.eth.limo
- The fall of the theorem economydavidbessis.substack.com
- Solve math, solve everything. — Math, Inc.math.inc
- Formalizing Fermat's Last Theoremanthropic.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- Formally Verifying the Easy Partbrainflow.substack.com
- Axiom — The Starting Point for Reasoning.axiommath.ai
- Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io