OpenAI says an unreleased internal model solved 377 open math problems across 722 papers, nearly all written without human editing. The computing cost per proof has reportedly dropped sharply since its costly Navier-Stokes effort, though two Millennium Prize-adjacent proofs still needed extra machine time.

— via 3 Quarks Daily, S. Abbas Raza