OpenAI's largest math release tackles 4,000 problems with Lean proofs

📅 07/10/2026 00:13 📰 headtopics 👁️ 0 lectures 🌍 États-Unis 📂 Actualités

$OpenAI's largest math release tackles 4,000 problems with Lean proofs$

OpenAI has released 722 mathematical manuscripts spanning 372 research families, with many results backed by computer-checkable Lean proofs.