AI Companies and the Math World: When Breakthrough Announcements Outrun Peer Review
OpenAI's 10,000 agents found a Navier-Stokes blow-up in 88 hours, Anthropic's Claude finished Fermat's Last Theorem formalization in 11…
From language tool to lab partner — AI is reshaping life sciences, chemistry/materials, and physical world models. This topic covers the key milestones: UniPert unifying genetic-chemical perturbation spaces, GPT-Rosalind's end-to-end life-sciences reasoning, DAMO's AI agent discovering 4 superconducting materials in 28 hours, and Anthropic's Claude Science workbench going mainstream.
OpenAI's 10,000 agents found a Navier-Stokes blow-up in 88 hours, Anthropic's Claude finished Fermat's Last Theorem formalization in 11…
Clay Institute answers OpenAI's Navier-Stokes claim: prize rules demand peer review and two years of acceptance, pushing confirmation to…
Tao and 24 other Fields Medalists warn: AI firms' benchmark race to solve math problems misaligns with the field's true goal, conceptual…
OpenAI says ~10,000 AI agents working for 88 hours found a finite-time blowup for the forced Navier-Stokes equations; NYU's Buckmaster…
OpenAI says 10,000 agents found a Navier-Stokes blow-up in 88 hours, self-estimated cost $15M. The claim is unverified, mired in a…
One multimodal model jointly learns physics, geometry, and appearance world states; ships Puffin-16M data and takes 12/12 best median…
Tencent Life Science Lab and Central South University jointly published UniPert-G2CP on Cell — the first AI virtual cell paper from a…
On June 30, 2026, Anthropic officially opens Claude Science beta in Pro/Max/Team/Enterprise plans — an AI workbench application aimed at…
After a century of superconductivity exploration, there's finally an AI teammate. On July 3, Alibaba's DAMO Academy, together with Renmin…
NVIDIA released BioNeMo Agent Toolkit, an open-source framework that packages a decade of life-science libraries (BLAST, RDKit, BioPython,…
arXiv 2606.13662 introduces EurekAgent, a scientific discovery Agent that frames scientific research as an "environment interaction"…
On June 3, 2026 OpenAI released LifeSciBench, a benchmark for end-to-end scientific research workflows, paired with the upgraded…
A new drug takes 10 to 15 years on average from target discovery to FDA approval. In this long cycle, the quality of early research…