AI公司数学突破引争议 并非人人叫好

两家AI公司——山姆·奥特曼的OpenAI和Mobileye CEO阿姆农·沙舒亚教授创办的doubleAI——近日相继宣布解决了多个困扰数学界数十年的难题。这些成果在科学界引发震动的同时，也带来了一个令人不安的问题：当AI能以极低成本攻克数学难题，数学家的职业前景会怎样？更紧迫的是，这些突破可能对加密体系和国家安全资产构成严重威胁。 沙舒亚在X上透露，doubleAI解决了图论中悬而未决38年的“最长路径问题”——即在图中找到不重复经过同一点的顶点间最长路径。该问题的解法在实际应用中可用于纠错和加速量子计算机的计算算法。据其推文，公司提出了一个新的代数公式，将数学常数从4/3提升至1.6，这一突破有望让微芯片上压缩更多电路、实现更快计算。值得注意的是，尽管该问题对OpenAI和Anthropic的顶尖模型都构成挑战，doubleAI却以不到2000美元的成本攻克了它，所用AI代理的花费比OpenAI解决同类问题的投入低数千倍。doubleAI的成立初衷就是通过AI代理和算法测试机制来解决复杂科学问题，其核心思路是让代理在算法基础上区分真相与幻觉，并在它们之间生成“人工头脑风暴”，而非像AI巨头那样依赖可靠性存疑的语言模型。 与此同时，OpenAI发布了一个包含722项研究的数据库，展示了数学和计算机科学中一系列开放问题的证明。这一发布紧随一个月前该公司宣布解决Navier-Stokes问题之后——这是千禧年之初定义的七大数学难题之一，涉及描述液体和气体运动的方程。OpenAI的模型证明，在该问题的官方表述中（包含施加于液体的外力），奇点可能在有限时间内形成——即数学解失去控制、不再平滑稳定的那个点。部分证明已通过Lean系统正式验证，该系统可在计算机上检验逻辑规则。但最令人惊讶的是结果获取的轻松程度：几乎所有证明都由单个AI代理完成，通常只需一次提示。据OpenAI称，平均每个解所需的计算资源仅相当于ChatGPT Pro“思考”三小时，与解决Navier-Stokes问题动辄需要一万个代理、耗资数百万美元形成鲜明对比。这一新声明的验证将标志着从昂贵而特殊的计算操作，向廉价、可大规模应用的研究能力的转变。OpenAI展示的突破中包括困扰数学家一个多世纪的难题，最突出的是1900年提出的希尔伯特第十问题的一个版本——该模型证明，无法设计出任何计算机算法来自动判定某个特定方程是否有有理数解，从而解决了一个历史性数学问题。