Browsing: AI research

OpenAI says an unreleased model produced a full proof for the Navier-Stokes Millennium Prize problem in a week. NYU and Anthropic-linked researchers say they had already solved related problems first.

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.