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.
8 verified stories covering AI Research, product updates and industry developments.
Terence Tao warns AI compute now races to solve open math problems once word leaks out, flattening the field's difficulty ladder.
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 Biotechnologies raised a $100 million Series B to train biological foundation models and connect AI agents with wet-lab feedback.
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 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. A concise localization of the verified facts and the industry signal behind the story.
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.
Claude Science is a research workbench rather than a new model, designed to collect scientific data and make AI-assisted results auditable and rerunnable.