Topic
7 posts about Research AI from Simon Carter.
10,000 AI agents, 88 hours, and a Lean-verified proof of finite-time singularity in Navier: Stokes. Here's what happened and why it matters.
OpenAI's research org now logs 3.1 agent-workdays per human workday. It hit its intern milestone and targets a full AI researcher by March 2028.
Anthropic's multi-agent Claude system produced a machine-verified formal proof of Fermat's Last Theorem in 11 days, writing 13 million lines of Lean 4 code.
Anthropic's new Claude Team plan gives verified researchers free or $15/month premium seats, expands science credits to $50k, and enrolls first Mythos users.
An unreleased Claude research model advanced the Riemann zeta function lower bound from 41.6% to 67.2%, the largest single-step gain in history.
Google rebranded NotebookLM to Gemini Notebook on July 16, 2026, adding Search AI Mode integration and expanding Gemini 3.5 + Antigravity to AI Pro users.
Anthropic launches Claude Science, a purpose-built AI workbench unifying 60+ scientific tools, auditable artifacts, and flexible compute for researchers.