Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Carina Hong Profile picture
Carina Hong
@CarinaLHong
@axiommathai : careers@axiommath.ai
Dec 7, 2025 • 7 tweets • 2 min read
Putnam, the world's hardest undergrad math contest, ended 4pm PT yesterday.

By 3:58pm, AxiomProver @axiommathai autonomously solved 8/12 of Putnam2025 in Lean, a 100% verifiable language.

Last year, our score would've been #4 of ~4000 and a Putnam Fellow (top 10 in recent yrs) The William Lowell Putnam Exam is the world's most prestigious university competition. The median score is often 0.

Axiom is a 4-month-old startup in Palo Alto. We're building the starting point for reasoning: an AI mathematician.

Lean is a 100% machine verifiable language.
Sep 30, 2025 • 5 tweets • 1 min read
Today, I am launching @axiommathai

At Axiom, we are building a self-improving superintelligent reasoner, starting with an AI mathematician. Mathematical discovery unlocks everything: from the human brain to the cosmos. Throughout history, every mathematical breakthrough amplified the next.

AI changes this game entirely.

Mathematical discoveries can now unfold at exponential scale and unprecedented speed. We’re at the threshold of a mathematical renaissance.