OpenAI's Math Proofs Fall Short of the Field's Standards, Reviewers Say

OpenAI shipped 719 math proof manuscripts this week. Only 10 released the model's chain of thought. Roughly 42 percent skipped Lean formalization, and a new Cambridge paper finds translation gaps in a Navier-Stokes solution.