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.
AI Research News and Analysis
8 verified stories covering AI Research, product updates and industry developments.
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.
Aureka raises $100M for biology models
Aureka Biotechnologies raised a $100 million Series B to train biological foundation models and connect AI agents with wet-lab feedback.
Claude moves a zeta bound to 67%
Anthropic says an unreleased research version of Claude improved a Riemann zeta lower bound from 41.6% to 67.2%, with a paper, expert note and Lean formalization.
OpenAI Lets Astra Write Ten Proofs
OpenAI used Astra's first public research signal to release ten math and theoretical computer science results, with a 249-page paper, Lean certificates and reasoning walkthroughs.
GPT-5.6 produces a graph-theory proof
GPT-5.6 produces a graph-theory proof. A concise localization of the verified facts and the industry signal behind the story.
Anthropic Launches Claude Science for Lab Work
Claude Science bundles more than 60 scientific databases and tools into a workbench for researchers, aiming to do for science what Claude Code does for software.
Anthropic frames Claude Science as an auditable workbench
Claude Science is a research workbench rather than a new model, designed to collect scientific data and make AI-assisted results auditable and rerunnable.