编辑优先级 67/100
OpenAI released 722 mathematics manuscripts from an unreleased internal model, organized into 372 groups, along with papers, source code and some Lean proofs. They address questions including a zero-free region for the Riemann zeta function and specific cases of the Hodge conjecture. The repository says verification varies across results and some lack Lean formal proofs; an independent advisory group says offering advice does not amount to endorsing the results.
推荐理由：一次公开722篇、涵盖多个重大数学问题的手稿，但核验尚未完成；这批成果能否成立取决于后续同行检查。