DeepMind研究员预测数学将很快可形式化

据AGI Hunt 2026年10月28日报道，Google DeepMind研究员Christian Szegedy转发一则判断称，所有数学很快将可形式化，证明验证将近乎自动化。该判断认为，形式化后证明可像组件一样浏览、重组与搭建，新论文和新想法能被极快检查，智能体可参与寻找甚至发现新证明；数学成果将成为可信黑盒供科学家和普通人使用，数学事业高度游戏化，每个未证命题都是清晰目标。

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

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