Browsing: mathematics

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.

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.