Grok 解出数学家钻研一年多的图论难题

2026年10月14日，Paul Graham（@paulg）发帖称，去年的愚人节玩笑今年已成真。他援引数学家 Timothy Gowers 的说法：Gowers 在多次尝试失败后，终于找到一个提示词，让 Grok 解出了他研究一年多的图论难题 Dubnovy Blazen 问题。Gowers 同时追问，AI 何时能在整体上超越人类数学家。目前事件进展停留在该帖所述内容，尚无更多后续报道。

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

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