Can AI do maths yet? Thoughts from a mathematician. | Xena

So the big news this week is that o3, OpenAI’s new language model, got 25% on FrontierMath. Let’s start by explaining what this means.

Can AI do maths yet? Thoughts from a mathematician. | Xena Xena Mathematicians learning Lean by doing. Skip to content Home About Xena Student projects Installing Lean and mathlib Bluesky Useful links. ← Fermat’s Last Theorem — how it’s going Think of a number. → Can AI do maths yet? Thoughts from a mathematician. Posted on December 22, 2024 by xenaproject So the big news this week is that o3, OpenAI’s new language model, got 25% on FrontierMath. Let’s start by explaining what this means. What is o3? What is FrontierMath? A language model, as probably mo

related reading

• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• FrontierMath: Evaluating advanced mathematical reasoning in AI | Epoch AI | Epoch AIepochai.org
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
• Declaration — Math and AImathandai.org
• The fall of the theorem economydavidbessis.substack.com
• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• The end of the age of heroessubstack.com
• Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
• [2608.16753] Mathematics in the age of AIarxiv.org
• A somewhat optimistic view of AI in mathematicsproofsandprompts.com
• The end of the age of heroesnoahpinion.blog