DeepMind 研究员判断：所有数学将很快可形式化，证明验证近乎自动化
ChrSzegedy · x · 2026-10-28
转推 Google DeepMind 研究员 Christian Szegedy 转发的判断：全部数学「很快」都将可以形式化，影响深远：
- 数学变超交互：形式化后证明可以像组件一样浏览、重组与搭建。
- 验证近乎自动化：新论文/新想法可被极快检查，深度工作转向意义与解释。
- Agent 参与找证明：优化与发现新证明可部分交给智能体，人类贡献创意，「来自天书的证明」可规模化出现。
- 定理商品化：科学家和普通人可把数学成果当可信黑盒使用。
- 作者还预测数学事业将高度游戏化，每个未证命题都是清晰目标。
「漫话AGI」频道最新
- 创业者观察：2023 年多数生物科技 AI 客户已倒闭或转型 — kenbwork · 2026-10-28
- PhAI Labs 等发布 DiscoveryRSI:科研智能体从假设修订史中递归学习 — jiqizhixin · 2026-10-28
- 一人公司带 AI agent 团队：关键不是人头是组织架构 — alvelda · 2026-10-28
- AI 回复机器人泛滥，经济学家：格雷欣法则正在毁掉 X 的讨论区 — generativist · 2026-10-28
- 研究者自省：毕生课题可能被通勤路人随手一句 AI 提示词解决 — fkasummer · 2026-10-28
- 给模型微调出「执念猫癖」做对照：AI 意识判据全部失效 — MirrorEthic_Anchor · 2026-10-28