AI可能刚刚解决了一个价值百万美元的数学难题。该领域将永远改变

据称，人工智能在六大克雷数学研究所千禧年大奖难题之一——描述流体流动的纳维-斯托克斯方程——上取得了突破。数学家特里斯汀·巴克马斯特声称，他和同事勒文特·阿尔珀哲利用Anthropic的AI取得了重大进展，但指控OpenAI在得知他们的工作后，利用自家的大语言模型完成了证明。OpenAI否认了这些指控。如果得到证实，这一成就将证明方程的数学“爆破”是可能的，这是一大步。然而，证明依赖于问题的一个特定表述，一些专家认为这并非标准表述，可能引发关于问题是否真正被解决的辩论。这一事件标志着一个关键时刻，类似于国际象棋中深蓝击败卡斯帕罗夫，迫使数学界重新思考AI在研究中的作用以及对人类智力活动的深远影响。

(来源：Scientific American)