菲尔兹奖得主 Gowers：Grok 解出我研究一年的图论难题

菲尔兹奖得主、数学家 Timothy Gowers 发帖称，多次尝试后他终于找到一个提示词，让 Grok 解出了一道他已研究超过一年的图论难题（Dubnovy Blazen 问题），并追问距 AI 在数学上全面超越人类数学家还有多久。Paul Graham 转发并评论称，去年的愚人节玩笑成了今年的现实。这条顶级数学家的第一手体感被视为模型数学能力逼近研究级水平的重要信号。