陶哲轩泼冷水：我不相信AGI！但又一数学难题被GPT-5.2 Pro攻克

文章摘要

【关 键 词】 人工智能、数学难题、AGI讨论、技术突破、学术研究

陶哲轩近期发文指出，当前的AI技术尚未实现真正的人工通用智能（AGI），但已展现出一种他称之为「通用狡猾」的能力。这种能力表现为通过随机或暴力计算手段解决广泛复杂问题，尽管缺乏真正的智能基础，但在结合严格验证程序后，其应用效果已超越单个人类的能力范围。陶哲轩将这种AI比喻为魔术师，能够通过隐藏的机制完成看似神奇的任务，但其本质仍是基于海量数据的模式匹配，而非真正的理解或创造。

与此同时，GPT-5.2 Pro成功攻克了一道悬赏8年的数学难题——加速L1正则化PageRank算法的时间复杂度证明。滑铁卢大学教授Kimon Fountoulakis描述，该问题曾难倒多位学者和博士生，但GPT-5.2不仅生成了完整证明，还通过三重验证（包括形式化代码转换和人工复核）确保了其正确性。这一突破展示了AI在深度数学推理中的潜力，但研究者强调，AI的作用更偏向于协作者而非独立科学家，人类仍需主导问题提出和框架设计。

陶哲轩的观点引发广泛讨论，部分学者对其「通用狡猾」的提法表示认同，但也有人认为LLM的局限性可能随技术发展被突破。网友争议集中在AI是否具备系统性思维，以及算力投入是否能够最终解决其边际效应。而GPT-5.2的数学突破则被视为对陶哲轩论点的补充：尽管当前AI缺乏真正的智能，但其「狡猾」的问题解决能力已开始重塑学术研究范式。多伦多大学教授Daniel Litt指出，此类工具在代数几何和数论等领域已推动研究取得显著进展。

原文和模型

【原文链接】 阅读原文 [ 2480字 | 10分钟 ]
【原文作者】 新智元
【摘要模型】 deepseek/deepseek-v3-0324
【摘要评分】 ★★☆☆☆

派欧算力云 – AI 云端一体化解决方案: 模型 API、Serverless、GPU 租赁

派欧算力云提供全面的 AI 云端平台解决方案,包括模型 API、Serverless 和高性能 GPU 实例等,帮助您节省高达 50% 的成本,并同时加速 AI 产品的构建和业务发展,助力企业实现创新突破,赢得市场竞争优势。