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年未解难题，获菲尔兹奖得主陶哲轩验证。