创建

登录 ReadmeX

或

了解我们如何处理你的信息: 隐私政策

ReadmeX

陪你读懂 AI 动态

今天,想先了解什么?

选一份动态总结,或直接聊聊你的问题。

社区和关注动态总结只属于你自己。

资讯

OpenAI发布722篇数学手稿,菲尔兹奖得主警告

AI 总结

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

深度见解

它把 AI 生成成果的速度与人类验证能力之间的落差摆上台面,可能推动期刊与实验室重写成果提交和核验规则。

OpenAILeanGitHub

原文约 12 分钟读完阅读原文
群聊

还没有评论,来说说你的看法。