Browsing: AI research

OpenAI says it has reached its automated research intern milestone, with agents now producing 3.1 agent workdays of effort per human workday. Every figure in the claim comes from OpenAI.

Anthropic says Claude autonomously produced the first fully machine-checked proof of Fermat’s Last Theorem in Lean, a 13-million-line formalization that took 11 days.