AI Research

Terence Tao Warns AI-Driven Proof Abundance Risks Mathematical Comprehension Crisis

In a paper prepared for the 2026 International Congress of Mathematicians, mathematician Terence Tao argues that artificial intelligence will force a restructuring of mathematical research practices, publication criteria, and education. The essay, released on arXiv (2608.16753), outlines how the transition from proof scarcity to proof abundance creates operational and epistemological challenges distinct from earlier debates over automated theorem proving. Tao frames the incoming disruption agai

Anthropic Demonstrates Autonomous De Novo Protein Design and Chemical Analysis with Claude

Anthropic Demonstrates Autonomous De Novo Protein Design and Chemical Analysis with Claude Anthropic has published experimental results demonstrating Claude's ability to autonomously design de novo protein binders with physical wet-lab validation and automate complex analytical chemistry workflows. The findings show frontier LLMs acting as autonomous agents across computational biology and molecular characterization pipelines. In the primary experiment, Anthropic evaluated Claude Mythos Previe

An AI system produced a machine-checked proof of the 246 prime-gaps theorem

OpenAI says Astra solved ten open math problems for about $2,000

OpenAI has named its next major model, Astra, by publishing ten mathematical results it says were generated by an internal version of the system. The company released a technical paper, reasoning walkthroughs and Lean certificates that allow the formal proofs to be checked by software. The more important part of the announcement is not the count. AI-generated mathematics has produced enough false starts that a headline number alone is weak evidence. OpenAI's decision to publish machine-checkabl