OpenAI公布前沿模型解决的数百项数学难题手稿与形式化证明

Sharing AI progress in mathematics OpenAI在GitHub仓库中发布了由内部前沿模型生成的722份数学手稿，涵盖372个成果家族并包含对数百个未解难题的解答。官方同时提供了大量基于Lean编程语言的形式化证明代码，并制定了学术修订与引用规范以配合数学界评估。该成果展示了模型高强度推理的能力，但也引发了数学学界对发布方式与研究伦理的讨论。 参考合并： IT之家 · The Verge AI · Wired AI