AI在数学领域进展神速，研究者自嘲快输掉赌约
ChrSzegedy · x · 2026-07-16
前谷歌知名研究员 Christian Szegedy 表示，从技术上看，他可能快要输掉与 François Chollet 的赌约了。他们曾打赌 AI 能否在 2026 年 6 月前解决 10 个以上悬而未决 10 年的数学猜想，并自动形式化 50 本教科书。
引用的原推显示，目前已有用户利用 GPT 系列模型（主要是 5.5 Pro，以及 5.2、5.4、5.6 等）成功提出了对 19 个 Erdős 问题的解答，并完成了多个部分证明。这标志着 AI 在高级数学推理领域正取得实质性突破。
「漫话AGI」频道最新
- 日本 Aeon 前高管：AI 智能体是此生最具影响力的创新 — akumar · 2026-10-27
- 物理学家让 AI 自选课题：两小时产出可登顶刊的论文 — burny_tech · 2026-10-27
- 深度学习先驱警告：别再对下一项颠覆技术重演「不信—失备」循环 — jachiam0 · 2026-10-27
- 模型如何应对利益冲突？讨论延伸到平台拒绝服务第三方 agent — sjgadler · 2026-10-27
- 马斯克断言:机器人 RAM 需求将超其他一切,超级智能算力将移向深空 — elonmusk · 2026-10-27
- Anthropic 上市文件警告 AI 冲击就业，微软同周推自愿离职计划 — _jaydeepkarale · 2026-10-27