AI 攻克千禧年难题：当数学开始进入深蓝时刻.pptxVIP

AIMATHEMATICS·千禧年难题之后当数学进入深蓝时刻一万个AI代理、88小时，解开一道困扰人类近百年的难题——然后呢？资料整理自腾讯研究院特约作者朱兆一·仅供学习参考

CONTENTS·目录一道难题之后，我们要面对什么01标志性事件：一万代理、88小时千禧年难题进入AI射程，这是数学的深蓝时刻02不是偶然：从竞赛银牌到千禧年三年四级跳，AI越过竞赛题边界，进入研究前沿03从证明稀缺到证明过剩工业化科研、智力竞赛变算力竞赛，开放传统面临逆转04真正的隐忧：AI在拿走过程答案可以外包，但过程外包，人会失去什么05另一面：数学不会死

01事件/MILESTONE一道困扰近百年的难题，AI用88小时给出答案≈1万AI代理同时并行搜索88小时找到关键解法17小时Lean形式化验证100万$千禧年难题悬赏，OpenAI不领纳维—斯托克斯方程存在性与光滑性，克雷数学研究所七大千禧年难题之一，困扰数学界近一个世纪。OpenAI明确表示不去领这100万美元——因为解开世纪难题本身，已是展示AI能力最昂贵、最耀眼的广告。

02不是偶然/ASTEEPCURVE三年四级跳：从竞赛银牌，到千禧年难题2024AlphaProof/AlphaGeometry2国际数学奥赛达银牌水平2025GeminiDeepThink