| 查看: 165 | 回复: 1 | |||
yexuqing木虫之王 (文学泰斗)
太阳系系主任
|
[交流]
OpenAI一次性发布700篇数学论文
|
OpenAI一次性发布700篇数学论文 10月6日，美国开放人工智能研究中心（OpenAI）一次性公开了完全由人工智能（AI）生成的700余篇数学预印本论文，整个科研界为之哗然。作为ChatGPT的开发方，OpenAI将这批论文上传至代码托管平台GitHub。 据《自然》报道，一部分数学家为诸多悬而未决的难题得到解答而感到振奋，但也有不少人在社交媒体上抱怨自己的研究被抢先发表。即便这些数学结论最终在形式上被证明正确，仍有学者对这一行为感到愤慨。 OpenAI 一次性公布700多篇覆盖数学各分支的预印本论文。图片来源：Monty Rakusen/DigitalVision 美国康涅狄格大学斯托尔斯分校的Alvaro Lozano-Robledo在社交平台X上表示：“同一时间涌显出海量论文令人震惊。为什么OpenAI要把数百个数学问题的解答集中对外发布？” OpenAI发言人在给《自然》的邮件中表示，该公司目标是为数学家与科学家打造强大的新工具。“为实现这一目标，我们针对各个科学领域的高难度前沿问题对模型开展评估与迭代。” 美国AI公司Anthropic的数学家Levent Alp?ge在社交平台X上发文，称部分数学家可能会因为OpenAI发布成果而提前终止自己的研究项目，难免会出现一些“令人遗憾的情况”。“不过暂且把这个问题放到一边。这显然是数学史上意义重大的时刻。”他写道，因为这标志着AI技术已经可以如此快速地为数学家所用。 OpenAI宣称攻克的部分问题已超过百年历史。这批预印本论文覆盖众多方向，例如抽象代数、数学物理、量子算法和微分几何。其中并不包含克莱数学研究所在世纪之交提出的剩余5道千禧年大奖难题的完整解答。不过，部分论文研究的问题和剩下5道难题存在关联，包括复代数簇领域的霍奇猜想，以及和素数统计性质相关的黎曼假设。OpenAI发言人表示：“这些成果的科学价值交由更广泛的学界来评判。” 在论文公布前数周，OpenAI曾征求过一个数学家顾问委员会——数学与人工智能咨询小组（AGMAI）的意见。OpenAI称自己采纳了该小组9月29日提供的建议，即不等人类完成核验，甚至不等人类读懂全部内容就对外公开结果。 英国伦敦帝国理工学院的Kevin Buzzard支持这一做法。他表示：“如果定理已经得到证明，人类还继续投入精力重复研究，这本身就是一种资源浪费。” AGMAI同时也警示，AI企业使用闭源自研模型开展数学研究，“有可能造成双轨制格局，企业实验室跑在整个学界前面，让广大数学家与自身学科产生割裂”。针对OpenAI这次的行为，AGMAI在官网表态：“究竟在多大程度上落实了我们给出的建议，最终要由整个数学界来评判。” |
回复此楼» 猜你喜欢
申请科研项目纯靠实力能成功吗？
已经有10人回复
-
40+中年人失业后，还能找到好工作吗？
已经有5人回复
-
极限拉扯，如何抉择
已经有15人回复
-
二审4个多月了还是Awaiting Reviewer Scores
已经有4人回复
-
OpenAI又攻克数学难题了，离AI做有机合成还有多远？
已经有13人回复
-
课题组会帮你通过考核么？
已经有7人回复
-
入职后第一次管课题组的专利缴费，对账才发现官费比别人多掏了一倍
已经有6人回复
-
售一区SCI文章T0P，我:8O.551.O54,科目全,可十急
已经有9人回复
-
售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急
已经有10人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有8人回复
yexuqing
木虫之王 (文学泰斗)
太阳系系主任
- 应助: 11 (小学生)
- 金币: 203390
- 散金: 5
- 红花: 130
- 沙发: 780
- 帖子: 170444
- 在线: 5214.5小时
- 虫号: 88288
- 注册: 2005-08-23
- 专业: 数论
|
AI速通多项难题：人类还需要数学家吗？ 原创 6小时前 南方人物周刊 一代代数学家接力攻关的“诗和远方”，正被AI接连插上征服的红旗。数学界的质疑、抵制和争论愈发激烈，技术竞赛的车轮却未曾因此减速。当AI开始深入人类智识创造的腹地，数学遭遇的或许只是一个开始。未来，数学家存在的意义是什么？ 南方人物周刊记者 陈洋 责任编辑：周建平 罗博深 图/南方人物周刊记者 梁辰 美国卡内基梅隆大学数学系教授、数学教育家罗博深 图/南方人物周刊记者 梁辰 “妈妈，听说你这下惨了！听说机器人把你研究了一辈子的数学难题给解决了！啧啧啧！”2026年10月7日，计算机科学家斯科特·阿伦森在博文开篇，记录了自己的9岁儿子对妻子达娜·莫什科维茨的调侃。 阿伦森是美国德克萨斯大学奥斯汀分校的计算机科学教授，研究方向包括量子计算与计算复杂性理论。他的妻子莫什科维茨同样是一位知名的理论计算机科学家，长期研究概率可检验证明等领域。 就在前一天，OpenAI一次性公布了722篇数学研究手稿，并将相关成果归为372组。这些成果主要由一款尚未向公众发布的内部前沿模型生成。OpenAI表示，团队曾让该模型尝试解决约4000个开放研究问题，涵盖多个数学领域及理论计算机科学。其中一项成果声称解决了理论计算机科学中的重要开放问题——“唯一博弈猜想”，这也是莫什科维茨长期致力解决的问题之一。 10月7日，OpenAI宣布撤下其中三篇手稿。官方解释称，一篇手稿中的符号错误使其中一个论证失效，并影响了另外两篇依赖该论证的论文；另有14篇手稿得到修订。即便如此，对数学界来说，这次集中发布依然是动荡难安的一个月里承受的又一枚“核弹”。 OpenAI 公布的数学研究成果目录 图/资料图片 OpenAI 公布的数学研究成果目录 图/资料图片 9月1日，一则将Anthropic对“受迫欧拉方程”的研究成果误传为“解决了纳维-斯托克斯方程”的消息，促使OpenAI团队启动相关研究。9月5日，OpenAI的AI智能体经过约88小时的协同工作，声称找到了“纳维-斯托克斯方程”的解法。9月6日，相关Lean形式化和验证工作完成。9月8日，OpenAI正式公布了这一成果。“纳维-斯托克斯方程”的存在性与光滑性问题，是克雷数学研究所于2000年公布的七个“千禧年大奖难题”之一，长期以来一直未获公认的解答。 如果说这样的终极难题距离许多数学家的日常研究还相当遥远，那么一个月后，数百篇数学研究手稿的集中公布，更像是一场波及数学领域的“无差别扫射”。 这种冲击不仅体现在成果的数量和覆盖范围上，也在于这些能力正以怎样的成本进入数学研究。在这次集中公布的数学成果中，OpenAI称，平均每项成果的计算消耗相当于ChatGPT Pro思考模式运行约3小时。 “数学末日”——阿伦森为自己的博文取了这一标题。 过去几年，AI已在化学、生物学等领域展现出改变基础研究方式的潜力。以AlphaFold为代表的工具，主要帮助该领域的科学家突破特定研究瓶颈，后续的实验验证、机制解释和新假设的提出，仍离不开研究者的参与。数学面临的变化更为直接：AI开始进入猜想提出、证明构造和验证等研究的核心环节，甚至成批生成数学研究成果，这颠覆的是数学家赖以开展研究的核心工作方式。 在这场釜底抽薪式的冲击下，一时“无题可证”的数学家们面临着一道更大、也更紧迫的证明题：当AI越来越多地介入数学研究，人类数学家的价值何在，数学将走向何方？ 主张维护数学研究中人类主体地位的组织人类数学协会（Association for Human Mathematics，AHM）对OpenAI的做法提出了强烈批评，认为一次性释放七百多份文件，“不是学术研究能力的展示，而是权力的展示”，并呼吁数学家停止与OpenAI合作。 由九位知名数学家组成的独立咨询组织数学与人工智能咨询组（Advisory Group on Mathematics and Artificial Intelligence，AGMAI）则表示，公开发布只是第一步，人类对这些成果的理解和吸收才刚刚开始。该组织强调，数学研究的未来不能只是理解AI实验室产出的结果，数学家还必须能够自主提出问题、发展自己的研究方法，探索AI尚未选定的方向。公平获取强大的研究工具和充足的算力，是保障这种研究自由的必要条件。 |
2楼2026-10-14 17:04:44
200
