数学家 Timothy Gowers 用 Grok 解出困扰自己一年多的图论难题
Last year's April Fool's joke is this year's reality (except for the name of the problem obviously).
菲尔兹奖得主 Gowers 说 Grok 解开了他研究一年多的图论难题，Paul Graham 转发感叹，做数学的人可以看看。
菲尔兹奖得主 Timothy Gowers 发帖称，在多次尝试后找到一个提示词，让 Grok 解决了图论中的 Dubnovy Blazen 问题，该问题他自己已研究超过一年。Paul Graham 转发时提到，这曾是一年前的愚人节玩笑，如今成为现实。Gowers 并发问：AI 还要多久才能在数学能力上全面超过人类数学家。
Last year's April Fool's joke is this year's reality (except for the name of the problem obviously).
Last year's April Fool's joke is this year's reality (except for the name of the problem obviously). Timothy Gowers @wtgowers @wtgowers It's finally happened: after several unsuccessful attempts, I found a prompt that got Grok to solve a maths problem (the well-known Dubnovy Blazen problem in graph theory) I've been working on for over a year. How long till it's better than human mathematicians across the board? 🔗 View Quoted Tweet 💬 15 🔄 6 ❤️ 76 👀 13520 📊 15 ⚡
