原始标题: AI just solved one of the hardest math problems… (INTELLIGENCE EXPLOSION)
发布日期: 2026-01-12 | 来源频道: @matthew_berman
📝 深度摘要
对话背景与核心主题
本期视频探讨了AI在数学领域的突破性进展。AI初创公司Sakana AI的量化研究员Neil Smani使用GPT 5.2成功攻克了Aeros问题397——这是地球上最困难的开放数学问题之一。历史上仅有数百人能够解决这类问题，而AI仅用约15分钟就完成了证明，该证明已被陶哲轩接受。这一事件标志着AI正在进入前沿数学领域，智能爆炸的临界点似乎已经到来。
核心逻辑拆解
视频核心围绕"智能爆炸"理论展开：当AI能够进行科学研究和数学发现时，它就能自我改进，形成递归复合效应，使智能无限增长。过去两周内，已有六个困难数学问题被AI解决。陶哲轩持续记录AI解决数学问题的进展，越来越多曾经被认为无解的问题正在被AI攻克。关键在于AI可以7×24小时不间断工作，并且可以无限复制——唯一的限制是GPU数量和能源。
方法论与工具箱
主要技术组合包括：GPT 5.2作为核心推理引擎，Aristotle软件进行辅助推理，通过Lean验证证明的正确性。Google的Alpha Evolve则展示了另一个方向的突破——50年来首次改进了矩阵乘法算法。矩阵乘法是现代AI的核心基础，这项改进在整个人工智能生态系统中产生了巨大收益。此外，Sakana AI的"AI Scientist"系统已经能够进行科学发现并利用发现成果实现自我改进。
关键洞察与辩论
视频反驳了"AI发展放缓"的观点。主持人认为，AI模型思考时间越长，能解决的数学难题越困难，能完成的开放性科学发现越多，它们就变得更强大。AI不会疲劳，可以同时运行数十、数百甚至数百万个实例。这种并行化能力意味着，唯一的约束是算力资源和能源——这与传统的科研模式形成了根本性差异。
金句
“许多开放问题正等待人们去提示ChatGPT来解决它们。”
“AI可以7×24小时不间断工作，然后我们可以复制这个AI。无论是10个、100个还是100万个。到那时，唯一的限制是我们有多少GPU，以及能向这些GPU投入多少能源。”
“这是我们有生之年最令人兴奋的时刻。”
📺 视频原片
视频时长: 8 分钟 | 视频ID: TbqPhoH_7TU