01
（一）
大事件
今天报出一个惊天大消息，OpenAI公司用内部的在研大模型攻克了一个著名的数学难题——纳维-斯托克斯（Navier-Stokes）方程的存在性与光滑性问题。
其证明过程包含了如下令人惊诧的数字：
使用了大约一万个并发智能体（agent）。
智能体之间的相互沟通、协作，共发送了270万条消息。
消耗了大约1300亿个输出token。
证明时间花费了88个小时，随后用17小时完成Lean的形式化验证。
大力出奇迹。
一个困扰了数学家90年之久的举世难题就这样在四五天的时间里，被一股机器智能的洪荒之力给解决了。
可谓强撸灰飞烟灭。
试问，现在全世界的数学家是什么心情？在读的数学研究生又是什么心情？是欣喜若狂还是黯然神伤还是五味杂陈？
要知道，OpenAI这么做并不是为了推进数学研究本身，而只是“秀肌肉”和“扳手腕”，是用一个标志性的成果来展示自己模型的强大，故而可以跟最有实力的竞争者Anthropic继续一较高下。
假设OpenAI和Anthropic并不是想在数学领域“秀一把而已”，而是继续长期地推进，那岂不是意味着数学领域中的大量悬而未决的问题都会以排山倒海之势成批解决？那如果这样的话，那还要那么多数学家何用，还要那么多数学研究生何用？
0
评论 (0)