Annals 50定理形式化：4位菲尔兹奖得主定理表述有误

据 AGI Hunt 2026年10月28日报道，英国帝国理工学院数学家 Kevin Buzzard 在 Machine Learning Street Talk 制作的纪录片《Mathematics Just Changed Forever》中介绍，其团队用 Lean 证明助手对《数学年刊》（Annals of Mathematics）上的 50 条定理做了形式化。过程中发现，其中 4 位菲尔兹奖得主相关的定理按字面陈述是错的。报道未说明这 4 位获奖者是谁、涉及哪些具体定理，也未交代形式化项目的完成时间、参与人员以及错误如何修正。此为该事件目前唯一可见的公开信息，尚无期刊或相关数学家的正式回应。

AI 根据报道生成 · 51 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。