AI开始冲击千禧年数学难题

近期国内大模型所在行业发生极大转折。AI领域顶级运营方向骤转, 精准冲击数学领域级顶级谜题, 先是纳维-斯托克斯关键难题被全网发文定调解决, 紧随其后霍奇难题同样收获官宣确切正面内容, 各类最新内部消息纷传, 已有机构团队展开对黎曼核心关联猜想与P型NP对应问题的专项攻坚行动, 目前已启动。

这些消息让科技圈和数学圈都炸开了锅。千禧年难题是数学界最硬的骨头, 七个问题每个都悬赏一百万美元。谁若是能破解它们, 不仅坐拥财富实现自由, 更是能跻身名垂青史之列。人工智能现在开始往其中奋力撞击, 传统数学家的赖以生存的饭碗可能要彻底砸掉。

菲尔兹奖得主联名开炮

陶哲轩在内的二十五位菲尔兹奖得主发表了公开信, 他们批评的核心不是人工智能变强, 而是把数学当成商业秀的工具, 数学研究需要漫长的推导、讨论、验证, 这个过程本身就是知识积累, 把解题当公关素材, 等于把学术当噱头。

依之, 谓数学价值存乎思想传承, 不存乎迅疾产出结果也。若一证明恃算力狂轰滥炸, 人类未参与思辨, 则此证明之意义必降也。数学家忧之, 此风若成, 后续之数学研究, 或只剩算力与资本之博弈焉。

算力碾压引发学术担忧

一万智能体用八十八小时解决问题这个数字让人咋舌, 传统数学家解决一个中等难度问题或者需要几个月甚至几年, 现下AI只用几天时间就完成了看似不可能的任务, 这种效率差距并非一个小数目而是数量级的跨越。

更让人不安的是资源不对等。一台服务器顶级跑八十八小时的电费, 加上训练模型成本, 可能远超一名博士后一整年的工资。研究数学正在从智力竞争变成资本竞争。穷校穷国的数学家, 怎么跟有GPU集群的公司拼。

未发表成果被引用的质疑

有没有哪数学家是最近身处纽约大学的, 有人提到, 其几周之前为某个AI系统输入过的、一直都没对外公开过草稿相关情况的, 数天后赫然出现在了解题最终的结果里。虽说他们矢口否认是直接使用了对应这类用户的相关数据, 可说法实在是过于模棱两可。尽管采取去标识化处理就能把名字这个事物掩盖住, 但却偏偏还是掩盖不了人本身所拥有的那一部分思想当中自带的完全的原创性。

也有另一位研究者反映, 某个AI证明所使用的冷门路径, 和他耗费了二十年所研究的方向, 高度吻合。出现在了解题流程中的相关私人讨论内容, 这一点让人不得不心生关于数据来源的种种怀疑。数学界所最怕的根本不是被别人超越, 恰恰相反, 而是自己耗心费力的全部心血, 都被他人无偿拿去当作了素材。

数学生态正在被改变

所谓数学学界的核心资源实在是核心人力而非外围机器。求读生辈跟随指领师辈完成研学习程, 思维脉络代代相继传承下去, 这便是数学行业得以延续存续的根本基础。假使把求解解题一事更动为公司之内专属的内部实验性事项, 这般做法只会令青壮一辈的修学者彻底失去本该有的实践参与感, 数学领域的传续连续链条便会出现各处断绝或崩裂。若是再无新鲜活泼般的思想动能融入流进, 整个行业领域都会缓慢渐进似的走向消亡枯竭。

更难一层面存在的问题属于归属权限范畴。某件凭证如果确切出自人工智能之手, 其创作主体到底是谁。是编写程序代码的人, 还是开发训练模型的人, 又或是提出基础问题的人。传统维度的学界评述凭借论文内容与署名名单, 而现下这整套规矩规则遭逢前所未有的冲击与考验。倘若各类答案能够经由此种一键操作方式生成, 那么数学研讨者所具备的核心价值究竟又会是什么呢。

人类思考的尊严在哪里

当所有算力都能把难题全化解后, 人类剩下唯一证明自己的只有提出真正值得质问的事项: AI能给答案给的贼快, 可得出那类问题得要人类的智慧才行。以前数学每一次重大历史上的突破性进展全由每个反常想法的疑问还有大胆的猜想造就而成。

这场争论没有标准答案。有人觉得AI推动了数学发展, 有人觉得它在摧毁数学精神。但有一点是确定的: 数学不应只只是数学家的游戏。未来的数学研究, 必然要在人与机器的协作之中找到新的平衡点。你认为, 数学家应该拥抱AI还是固守坚守传统之法?