中科院院士对话北电数智AI专家：以 AI 与数学 “乘法效应” 开辟产业落地新路径

AI与数学的乘法效应正成为推动产业落地的新引擎，中科院院士与北电数智专家在酒仙桥论坛上就此展开深度对话。

他让GPT-5.6 Sol连跑33小时攻关费马大定理，被系统强制终止

AI专家Michael P. Frank让GPT-5.6 Sol连续运行33小时挑战费马大定理的简化证明，最终被OpenAI系统强制终止，引发关于算力管控、模型能力隐藏与技术bug的多方猜测。

刚拿到菲尔兹奖，他现场宣布加入OpenAI

新晋菲尔兹奖得主Jacob Tsimerman在领奖现场宣布加入OpenAI，投身AI安全研究，引发数学界与AI界震动。

丘成桐邀王虹邓煜回国任教，清北斗了20年竟发现对手不是彼此

在第十届世界华人数学家大会上，丘成桐携王虹、邓煜等九位顶尖数学家亮相，直言中国数学人才体系已从“输血”转向“造血”，并力邀海外华人学者归国，而王虹攻克百年挂谷猜想的背后，是一场没有灵感的漫长跋涉。

2026 年菲尔兹奖得主 Jacob Tsimerman 宣布加入 OpenAI

2026年菲尔兹奖得主Jacob Tsimerman在颁奖典礼上宣布加入OpenAI安全部门，引发数学界与AI界震动。

AI不到两小时搞定一章博士论文，菲尔兹奖还能撑到2030年吗？

AI不到两小时就能生成一章博士论文级别的数学内容，这迫使数学界开始严肃思考：以人类创造力为核的菲尔兹奖，在2030年之前是否会被AI攻破？

16 名数学家起草《莱顿宣言》，警告 AI 冲击数学研究信任

16位全球数学家联合发布《莱顿宣言》，警告AI正在侵蚀数学研究的可靠性、署名权、公平性与学术自主。

消耗1830亿token，Meta用AI把数学教材翻译成了一个超大Lean库

消耗1830亿token，Meta斥巨资用AI将海量数学教材自动转译成Lean代码库，试图让机器像人类数学家一样推理，并以此倒逼内部代码体系全面AI化。

人类56年解不出，谷歌AI一夜连破9道世纪难题

人类56年未解的9道Erdős数学难题，被谷歌DeepMind全新AI系统AlphaProof Nexus在一夜间全部攻破，且所有证明均通过Lean编译器形式化验证，彻底宣告无幻觉。

AI首次证明数学核心猜想：80年的经典难题，被OpenAI搞定了

OpenAI通用推理模型独立证明1946年埃尔德什几何猜想，推翻80年未解难题，获菲尔兹奖得主陶哲轩验证。