The Decoder· Matthias Bastian·· 4 小时前精选AI 评分77
OpenAI 在 GitHub 发布 372 项由内部 AI 模型生成的数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 上公开了由内部前沿模型生成的 372 项新数学成果与证明，覆盖重大计算机算法改进及黎曼猜想相关进展。多数成果由单智能体单次提示生成，平均每项消耗约 3 小时 ChatGPT Pro Thinking 算力，并附带 Lean 形式化验证代码以减轻人工同行评审压力。针对此类批量生成证明的模式，多位菲尔兹奖得主对缺乏人类深层数学洞见的研究方式表达了担忧。
推荐理由
OpenAI 将内部模型生成的数百项数学证明直接发布在代码仓库中，展现了借助形式化验证应对学术审查瓶颈的可能路径。
来源：The Decoder · the-decoder.com