OpenAI 开源内部模型数学成果：722 份手稿涵盖 372 个结果族

OpenAI在GitHub公开内部模型产生的数学材料目录，当前包含722份手稿并归入372个结果族，关注价值在于研究成果从宣传性概述转向可下载、可分类和可持续补充的材料集合。

• 仓库提供论文PDF、源文件、引用说明及手稿索引。
• 结果族可能包含主结果、相关论证、推论和不同证明，因此不能简单理解为372个互不相关的定理。
• OpenAI明确说明并非所有结果都有Lean形式化证明。
• 对尚未形式化的材料，仓库保留继续修订和补充的安排。
• 影响/看点：开放材料为数学界复核和形式化提供了入口，但公开规模本身不代表结论已被确认，后续影响取决于独立复核结果和正式学术传播质量。
• 资料依据:
• OpenAI数学成果GitHub仓库（2026-10-07）：https://github.com/openai/math
• Rohan Paul（2026-10-06）：https://x.com/rohanpaul_ai/status/2107617064693510311

本内容由 AI 生成，仅供参考，请注意甄别