数学界与人工智能领域近日迎来双重震动：知名数学家陶哲轩公开表示当前AI尚未达到真正的人工通用智能（AGI）水平，而滑铁卢大学团队随即宣布GPT-5.2 Pro成功攻克困扰学界八年的算法复杂度难题。这场关于AI能力的辩论与突破，正在重塑人们对机器智能的认知边界。
陶哲轩在社交平台发文指出，现有AI系统展现的更多是"通用狡黾"而非真正智能。他以魔术师作比：AI能写出优雅的诗歌或解决复杂数学题，但当被追问解题思路时，往往只能承认"从训练数据中匹配到相似案例"。这种基于海量数据试错的模式，虽然能在特定任务中超越人类，却缺乏可解释的逻辑根基。他强调，真正的智能需要具备系统性思维能力，而当前AI更像是"随机生成有用思想的生成器"。
这场讨论尚未平息，学术圈就传来惊人突破。滑铁卢大学助理教授Kimon Fountoulakis带领的团队宣布，GPT-5.2 Pro成功证明了加速L1正则化PageRank算法的运行时间复杂度。这道自2016年起就困扰学界的难题，曾在2022年被列为国际学习理论会议（COLT）的悬赏问题，吸引全球顶尖学者攻关未果。研究团队采用三重验证体系：先由GPT-5.2生成完整证明，再通过Aristotle系统与Gemini 3 Pro模型转化为形式化代码，最终由人类专家独立复核，确认证明在"互补性边界"假设下成立。
多伦多大学教授Daniel Litt透露，这道难题的突破具有特殊意义。研究团队最初尝试的改进算法需要每步求解昂贵子问题，实际应用效率低下。而GPT-5.2的证明揭示，经典FISTA算法在特定图结构下能实现明确加速，其"多余节点激活"现象实为可控的临时状态。这项发现不仅填补了加速算法的理论空白，更展示了AI在数学空间探索中的独特价值——它能快速遍历海量可能性，为人类研究者指出关键路径。
学术社区对此反应热烈。Reddit网友指出，虽然陶哲轩对AI局限性的判断目前成立，但ChatGPT诞生至今仅三年，现在就断言所有大语言模型存在系统性思维缺陷为时尚早。另有研究者认为，GPT-5.2的突破恰恰证明，当AI与人类形成互补协作时，能突破个体认知局限。正如研究团队在论文中强调的："AI不是替代理论科学家的竞争者，而是拥有惊人直觉的协作者。"这场辩论与突破，正在重新定义人机协作的边界。
