Christian Szegedy 谈 AI 与数学现状

2026 年 10 月 3 日，Christian Szegedy 发表文章，把 AI 在数学中的现状比作莱特兄弟的首次飞行：仅持续 12 秒，航程短于大型客机的翼展。他表示，过去几个月 AI 已能飞入 Darién Gap 而不坠毁，甚至解决了几条此前无人证明的猜想，但飞行仍不到半小时，速度与高度都低，成本远高于数学家手工打造的工具。该文于 2026 年 10 月 5 日出现在 Hacker News，标题为“Christian Szegedy 谈 AI 与数学：数学是终结了，还是刚刚毕业？”。目前报道仅呈现 Szegedy 的比喻与判断，未给出所涉猜想的具体名称、证明细节或成本数据，也未说明这些进展的验证情况。

AI 根据报道生成 · 4 小时前更新

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