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
- Axiom — The Starting Point for Reasoning.axiommath.ai
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- Formally Verifying the Easy Partbrainflow.substack.com
- Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- AI Safety: A Short FAQ for Mathematiciansalkjash.github.io
- Declaration — Math and AImathandai.org
- Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org