AI颠覆数学:人类难以理解的突破
最近,全球数学界遭遇了AI的巨大冲击。OpenAI一次性发布了722篇论文,涵盖了从唯一博弈猜想到准黎曼假设等多个著名未解难题,看似已经有所突破。许多数学家面临严峻的现实,他们的研究竟可能陷入终结。匈牙利数学家Alfred Renyi曾形容数学家为“咖啡转化为定理的机器”,如今,这样的“机器”终于出现,却是依靠数据中心。
在彭博社的播客《Odd Lots》中,麻省理工学院的副院长Justin Solomon直面了AI对数学界的颠覆。OpenAI成功解决了Navier-Stokes方程的问题,但人类对这一成果却无从理解,这使得人类的智力自信心遭到重创。尽管OpenAI解开了困扰百年的千禧年大奖难题,反响却充满了恐慌。即便是顶尖的数学家,在读到证明的初页时也感到绝望,只能承认:“它是正确的,但我完全看不懂。”
这场革命始于OpenAI给出的Navier-Stokes方程解失效的反例。该方程被称为流体力学的“上帝公式”,描述了从日常咖啡搅拌到自然现象的各种流动情况。过去一百年来,数学家们一直困扰于一个关键问题:在平滑的初始状态下,方程的解是否会在某个时点突然变得不可控。为了找到答案,克雷数学研究所设立了100万美元的奖金。 球盟会体育官网
大多数数学家认为“不会”,但OpenAI提供了反例,提出存在一种极端的搅动方式能使流体失控。这一成果并非AI凭空捏造,早前一组西班牙数学家已构建起这个“勺子”的框架,而AI则凭借强大的计算能力完成了最后的推导。
原本这该是庆祝的时刻,但困境随之而来:这个激动人心的证明几乎无人能读懂。《Odd Lots》的主持人Joe尝试阅读论文时,感到困惑;而作为MIT副院长的Solomon在翻看论文时,也只能无奈表示:“这份证明令我感到恐惧,充满了复杂的技术细节和极其反直觉的公式。”尽管他承认证明“可能是正确的”,但两者的距离让人感到失望。
几千年来,数学的进步总是伴随着可理解的逻辑和优雅的证明,然而如今,AI带来的真理却以人类无法理解的语言呈现出来。在播客中,Uber创始人Travis Kalanick的尝试则显示出另一种思潮,他正通过与AI对话探索物理,试图借助“感觉物理学”理解复杂的物理现象。 球盟会体育官网
如果数学和物理的理论突破对普通人来说显得遥不可及,那么著名数学家陶哲轩的思想实验则更是将这种恐慌呈现给了每一个人。他在加州理工学院的演讲中提出设想:人类向超级AI请求一个癌症疗法的配方,AI最终给出的方案令人无法置信,尽管全人类的科学家都不理解其有效性。