DeepMind's proof agent lands in Science with 9 Erdős solves
Google DeepMind's AlphaProof Nexus is now peer-reviewed in Science: 9 of 353 open Erdős problems solved and 44 of 492 OEIS conjectures proved, with caveats from Spanish scholars.
AI mathematics News and Analysis
6 verified stories covering AI mathematics, product updates and industry developments.
Meta publishes six math papers co-written with Muse Spark
Meta paired mathematicians with Muse Spark's reasoning models to publish six papers, five of which answer previously open questions in math.
Google's Cogentic AI Agents Crack Five Open Math Problems
Google's Cogentic multi-agent system used Gemini to advance five open problems in online learning, auction theory, and mechanism design, each proof verified by experts.
Terence Tao: Good Math Problems Are Being Mined to Exhaustion
Terence Tao warns AI compute now races to solve open math problems once word leaks out, flattening the field's difficulty ladder.
Terence Tao warns AI could push math toward a proof glut
Fields medalist Terence Tao argues AI-generated proofs are about to overwhelm math's peer-review pipeline, pushing him to propose new publishing and teaching norms.
OpenAI model cracks an 80-year Erdős geometry problem
An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.