OpenAI发布722篇数学手稿,菲尔兹奖得主警告
AI 总结
据钛媒体报道,OpenAI 内部 AI 模型生成的一批数学手稿于 10 月 6 日集中发布在 GitHub,共 722 篇、整理为 372 组成果,覆盖数论、代数几何、理论计算机科学等 17 个方向,并附有 10 份模型推理摘要和部分 Lean 形式化版本。OpenAI 称模型此前尝试了约 4000 个研究问题,平均每项成果消耗的算力约相当于 ChatGPT Pro 思考三小时;发布次日公司撤回三篇预印本、修订 14 篇,手稿总数降至 719 篇。剑桥大学菲尔兹奖得主詹姆斯·梅纳德形容这是一场涌向数学海岸的“海啸”,陶哲轩等 25 位菲尔兹奖得主发表声明批评这种绕过同行评议的一次性发布方式,帝国理工学院的凯文·巴扎德则称在其研究的数论领域中,30 篇里只有 1 篇通过 Lean 形式化验证。
深度见解
它把 AI 生成成果的速度与人类验证能力之间的落差摆上台面,可能推动期刊与实验室重写成果提交和核验规则。