OpenAI发布722篇未评审数学手稿引发学界争议

OpenAI在GitHub放出722篇出自内部模型且未经同行评审的数学手稿，覆盖17个分支并声称解决了372组问题中的部分结果。发布次日即有3篇因符号错误被撤回，截至10月10日约42%的结果通过了Lean机器检查，但形式化版本与原题结论的对齐性仍存疑。陶哲轩等数学家批评此举扰乱学术惯例，呼吁停止合作，而部分研究者则认为这加速了难题攻克。