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 在高级数学推理领域正取得实质性突破。