菲尔兹奖得主 Gowers：Grok 解出我研究一年的图论难题
paul_cal · x · 2026-10-14
菲尔兹奖得主、数学家 Timothy Gowers 发帖称，在多次尝试后，他终于找到一个 prompt 让 Grok 解出了一道他已研究超过一年的图论难题（著名的 Dubnovy Blazen 问题），并追问「距 AI 在数学上全面超越人类数学家还有多久」。
Paul Graham 转发并评论：去年的愚人节玩笑成了今年的现实。顶级数学家的第一手体感被视为模型数学能力逼近研究级水平的重要信号。
「漫话AGI」频道最新
- Jack Clark 将在 IMF 发表演讲：我们已进入 AI 事件视界 — GregCook2011 · 2026-10-14
- Zuckerberg 公开质疑 AI 安全派「放慢步伐」论,Domingos 力挺 — pmddomingos · 2026-10-14
- Anthropic 的 Jack Clark 认为 2027 年实现完全 RSI 的概率过半 — wfithian · 2026-10-14
- 创业者对比班加罗尔与旧金山:AI 采用氛围落后 20 年 — prasanna_says · 2026-10-14
- Scale AI Alexandr Wang：智能时代稀缺的是愿景与野心 — ycombinator · 2026-10-14
- a16z 对谈 Dan Boneh:AI 数学进步正在压缩密码学的「时间检验」 — a16z · 2026-10-14