当地时间10月26日深夜，OpenAI一口气官宣三件事。不是发新模型，也不是融资，是三个科学发现。硅谷和学术圈当晚就炸了。
数学这边，AI给出了局部光滑猜想的全维度证明。这个猜想1991年被提出，研究波在聚焦时的行为，核心意思是，最极端的聚焦必然短暂。由此顺带解决了挂谷猜想，一根针在有限空间里转向所有方向，最少需要多大地方，数学家追了它一百多年，菲尔兹奖得主王虹的主攻方向就在这里。10月18日AI输出证明，第二天就用Lean验证工具完成形式化，材料已经公开在GitHub上。
OpenAI官宣数学、计算机科学、理论物理三大领域新发现（图源：新智元）
计算机那边更狠，直接把挂了三十年的指数时间假设推翻。这个假设上世纪90年代末提出，学界普遍默认它成立，图论、数据库、计算生物学里几百篇论文都建在它上面，用它划定算法速度的天花板。AI这次给出的结论只有一个，它是错的。67页手稿，10月16日找到反证，次日完成形式化验证。负责核查的，正是当年提出假设的因帕利亚佐团队。诺奖得主格罗斯的评价是，对不了解的人来说非常令人惊讶，影响太深远。
物理那边还有第三件，AI给出了量子色动力学和杨-米尔斯理论的严格数学存在性证明，后者是世界七大千禧年数学难题之一，目前正由诺贝尔物理学奖得主在内的专家审查。
OpenAI研究员在社交平台官宣三项新发现（图源：社交平台截图）
三件事连起来看，重点不是AI多聪明，而是性质变了。以前的AI是答题者，给提示，查资料，写辅助代码。这次证明是它自己做的，人类负责验算。从拿到证明到机器逐行验证完毕，只用了一天。
当然要泼盆冷水。三项成果都还没经过学界独立确认，假设被推翻也不意味着明天程序就能跑快十倍，从理论突破到真算法落地，中间隔着大量后续研究。OpenAI自己没把话说满，只表示希望人机协作给这个领域带来新认知。联合创始人布罗克曼补了一句，P可能仍然不等于NP。
但方向已经清楚。前两年大家还在讨论AI能不能写好周报，现在它开始动数学界一百年没啃下来的猜想。从聊天工具到改写科学史，这一步跨得很大。接下来就看两件事，学界的独立验证能不能过，以及这套方法论能不能复制到更多学科。
热门跟贴