2026-10-06 · America/Los_Angeles · 社区动态 · #9

OpenAI publishes 722 mathematical proofs & manuscripts

OpenAl released 722 mathematical manuscripts across 372 families of related results, produced by an unreleased frontier model. Many have Lean proofs; others remain unverified. Average compute per result: roughly three hours of ChatGPT Pro thinking. They're working toward releasing the model. Github: https://github.com/openai/math

热度 52.9 / 100；排名与评分保留该期记录。