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」频道最新
- AI 陪伴的隐秘代价：它消解了建立真实亲密关系所需的摩擦 — YogeshMalik · 2026-09-11
- Wired 深度解析:为何众多 AI 研究者担心机器威胁人类生存 — wiredmagazine · 2026-09-11
- 「幻觉」或是范畴错误:把 AI 叫智能正在限制我们的想象 — Genaforvena · 2026-09-11
- 观点：Agent 真正的瓶颈是企业数据工程能力 — dhruv2038 · 2026-09-11
- François Fleuret:人类只有「留在幼儿园」和与人机融合两条路 — francoisfleuret · 2026-09-11
- 「AI 竞赛中国论」遭反弹：一条 IG Reels 点出谬误获 50 万赞 — louisvarge · 2026-09-11