Did AI Just Solve One of Mathematics’ Biggest Problems?
KDnuggets
Read the full articleOpenAI's internal AI system proposed a solution to the Navier-Stokes existence and smoothness problem, a Millennium Prize Problem, after extensive multi-agent computation and formal verification. This breakthrough built on prior human mathematicians' progress using AI tools and formal methods, highlighting a collaborative human-AI effort in advanced mathematics.
- AI Solves a Major Unsolved Math Problem. Not Everyone Is Happy· IEEE Spectrum
- Mathematics Just Got Its First Taste of the AI Job-Pocalypse· 2 sources
- GPT-6 Astra Just Hit OpenAI's Highest Cybersecurity Risk Level· Towards Data Science
- The Guardian view on AI v mathematicians: humans are still vital to the field, but tech firms refuse to see that | Editorial· The Guardian
- AI cracked the Navier–Stokes challenge. What does that mean for physics?· Nature
- Open-weight models take 56% of token volume, Astra doubles Fable 5.1 spend· Vercel
