The Century Report
OpenAI Posts 722 Math Results, Many Checkable by Computer
OpenAI posted 722 math manuscripts from an unreleased model, many checkable by computer, as mathematicians ask for explanations to build on them.
The Century Report
Anthropic Opens Its Numbers as Researchers Set the Terms for Checking - TCR 09/21/26
Anthropic said Claude now leads a quarter of its own AI research, and 100-plus scientists set the conditions that any independent checker must meet.
The Century Report
OpenAI's Agents Now Accelerate the Lab's Own Research - TCR 09/07/26
OpenAI reports its coding agents now log 3.1 workdays of effort per human workday, and its chief scientist calls the systems an alien mind.
The Century Report
AI Agents Formalize Fermat's Last Theorem in 11 Days - TCR 09/06/26
Claude agents turned Fermat's Last Theorem into computer-checked code in 11 days, a job expected to take years, as AI verification turns abundant.
The Century Report
An AI Runs Its Own Assault on Math's Oldest Riddle - TCR 08/12/26
An unreleased Anthropic model coordinated 60 sub-agents across 650 ideas to push the Riemann hypothesis forward, as Google's AMIE reaches expert-level video diagnosis.
The Century Report
Demis Hassabis Steps Down, Jeff Dean Leaves to Automate Science Itself - TCR 08/06/26
Four scientists who built modern machine learning walked out of Google to found Discovery Loop, a company built to automate the scientific method.