重大 7.6
OpenAI 公开 数百 数学 难题 AI 解法 引 学界 争议
OpenAI用未公开的AI模型解出数百道数学难题并公开手稿,数学界既惊叹又不安。
涉及:美国
AI 综合报道 综合 11 篇
第 6 版OpenAI公开其前沿模型生成的大批数学研究成果,通过GitHub发布,含Lean形式化证明,单份成果平均消耗算力约等于ChatGPT Pro三小时深度推理。成果数量各来源说法不一:有报道称722篇手稿、372个成果族,也有称377项结果、300余个难题。
据称这些由未发布模型完成的解答涵盖准黎曼猜想等长期未解难题,OpenAI内部模型已解决超100个长期问题。有韩国媒体评价,若为人类所为可达菲尔兹奖级别,数学界为之震动。
成果发布后引发研究伦理争议,数学家对700篇预印本直接上网强烈不满,学界开始反思数学研究的未来与AI介入的边界。
背景
数学开放难题长期被视为人类智力标志,证明通常需经同行评审与形式化验证;AI近年逐步涉足定理证明与猜想探索。
报道来源(11) 证据脚注
编号对应正文中的引用,中文译题由 AI 翻译。发布时间按UTC显示,并附时区标识。
- [1]The VergeOpenAI 再公布一批数学突破(打开 The Verge 原文,新窗口)OpenAI drops another batch of mathematical breakthroughs
- [2]36氪快讯OpenAI发布前沿大模型的全新数学能力测试成果(打开 36氪快讯 原文,新窗口)OpenAI发布前沿大模型的全新数学能力测试成果
- [3]Folha de S.Paulo数学不只是让AI解决的游戏,历史已证明原因(打开 Folha de S.Paulo 原文,新窗口)Matemática não é apenas um jogo para deixarmos a IA resolver e a história mostra por quê
- [4]知乎热榜如何看待 OpenAI 公开 722 份数学手稿,宣布解决包含「准黎曼猜想」的数百个数学问题?(打开 知乎热榜 原文,新窗口)如何看待 OpenAI 公开 722 份数学手稿,宣布解决包含「准黎曼猜想」的数百个数学问题?
- [5]虎嗅OpenAI 发布 722 篇数学论文,准黎曼猜想在列,奥特曼称进入发现新时代(打开 虎嗅 原文,新窗口)刚刚,OpenAI甩出722篇数学论文,准黎曼猜想也来了,奥特曼要让数字家“瘫坐”
- [6]MeduzaOpenAI 公布其先进 AI 模型解出的 377 道数学题结果(打开 Meduza 原文,新窗口)OpenAI опубликовала 377 результатов решения математических задач, сделанных с помощью передовых моделей искусственного интеллекта
- [7]Folha de S.PauloOpenAI称人工智能又解决了377个数学问题(打开 Folha de S.Paulo 原文,新窗口)OpenAI diz que inteligência artificial solucionou mais 377 problemas de matemática
- [8]Nature NewsOpenAI 在线发布 700 篇数学预印本:数学家们强烈不满(打开 Nature News 原文,新窗口)OpenAI posts 700 maths preprints online: mathematicians are up in arms
- [9]韩联社“人类才能获菲尔兹奖”……OpenAI解开300余道数学难题,数学界紧张(打开 韩联社 原文,新窗口)"인간이면 필즈상"…오픈AI 300여개 난제풀이에 수학계 긴장
- [10]东亚日报“菲尔兹奖级别”……OpenAI公开300余个数学难题新解法(打开 东亚日报 原文,新窗口)“필즈상 수준”…오픈AI, 수학 난제 300여개 새 풀이 공개
- [11]虎嗅AI让数学再也回不去那个旧世界了(打开 虎嗅 原文,新窗口)AI让数学再也回不去那个旧世界了。
代表报道 · 虎嗅
AI让数学再也回不去那个旧世界了。
AI让数学再也回不去那个旧世界了
事件重要性 7.6 · 七个维度供理解评分依据,分数不是事实核验结论。
- 影响范围
- 5.0
- 影响程度
- 7.0
- 新颖程度
- 8.5
- 后续潜力
- 8.0
- 长期意义
- 7.5
- 积极程度
- 5.5
- 信息可信度
- 8.0
重要性综合影响、长期意义、范围、潜力、新颖度与可信度;积极程度单独展示。时间衰减只影响列表排序。
标题、导语、综合报道、背景与译题由 AI 生成,可能有误,请结合原文判断。