DeepMind AI 登 Science 解决 56 年等多道数学悬案
← 返回今日版面主题综述
多源合成 · 增量更新法国数学家 Hugo Duminil-Copin 因 OpenAI 公开 700 篇 AI 数学手稿而情绪崩溃,事件引发广泛关注。OpenAI 发布 700 多篇内部数学手稿,声称解决 300 多道人类无法攻克的难题,但部分手稿因错误被撤回,且证明方式不符合人类思维习惯,验证工作量巨大。数学界专家警告,人类需数年时间验证 AI 工作,否则将导致错误。
来源
1 条近期 AI 数学领域热度颇高,OpenAI 批量发布 722 份待核验数学证明引发数学圈争议,而谷歌 DeepMind 的 AI 数学研究登上《Science》