Mathematics

Latest Mathematics coverage.

OpenAI's 166-page Navier-Stokes proof is disputed by mathematicians, raising questions about its validity and understanding.

OpenAI's AI agents solved the Navier-Stokes equations, a $1M prize math problem, sparking an existential crisis in mathematics.

OpenAI released 722 math manuscripts and proofs, but experts warn the field could take years to validate the AI-driven work.

OpenAI releases potential solutions for 370 math problems, with mathematicians cautious but hopeful about potential breakthroughs.

OpenAI releases 722 math papers from an unreleased AI model, tackling 372 open problems and two million-dollar Millennium Prize challenges.

OpenAI unveils 722 AI-generated math manuscripts with Lean-verified proofs, sparking debate on AI research validation.

OpenAI forms math advisory group with top mathematicians to guide release of AI-generated solutions to 100+ open problems.

OpenAI's AI agents solved the Navier-Stokes equations, but the proof is incomprehensible to mathematicians, per NPR.

25 Fields Medalists criticize OpenAI for rushing unverified math proofs, raising concerns about open research and attribution.

OpenAI says it solved a major math problem, but another team alleges improper use of their work and denied credit.

OpenAI's AI model solves the Navier-Stokes Millennium Problem, but mathematicians question its methods and origins.

Anthropic's Claude autonomously formalized Fermat's Last Theorem in 11 days, producing a 13M-line Lean proof.

OpenAI's upcoming Astra model has reportedly solved 10 longstanding open problems in quantum complexity and mathematics, pending verification.

OpenAI's Astra model solves 10 open math problems, including a $2,000 breakthrough in high-dimensional geometry.