OpenAI releases 372 AI‑generated math proofs on GitHub, each costing about three hours of ChatGPT Pro compute. The collection includes Lean formalizations for machine verification, sparking debate among 25 Fields Medalists who fear mass‑produced proofs may stifle innovation.
Opening Kapyn…