startup review: axiom math - erika milktea
il0vemilktea.substack.com · 5,325 words · saved by 2 readers
Get erika milktea in your inbox
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 mathsubstack.com
- Artificial Intelligence and the Structure of Mathematicsarxiv.org
- AI Will Write All the Code. Mathematics Will Prove It Works.menlovc.com
- The fall of the theorem economydavidbessis.substack.com
- Formalizing Fermat's Last Theoremanthropic.com
- Solve math, solve everything. — Math, Inc.math.inc
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- A shallow dive into formal verificationvitalik.eth.limo
- Axiom — The Starting Point for Reasoning.axiommath.ai
- Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
- Formally Verifying the Easy Partbrainflow.substack.com