Can AI do maths yet? Thoughts from a mathematician. | Xena
xenaproject.wordpress.com · 4,832 words · saved by 1 readers
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
- What sort of maths are LLMs good at?gowers.wordpress.com
- The fall of the theorem economydavidbessis.substack.com
- Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- Xena | Mathematicians learning Lean by doing.xenaproject.wordpress.com
- The AI math breakthroughs keep coming...youtube.com
- Declaration — Math and AImathandai.org
- Learning to reason with LLMs | OpenAIopenai.com
- AI Safety: A Short FAQ for Mathematiciansalkjash.github.io