Paul Graham(@paulg)· Paul Graham (@paulg)·· 3 小时前AI 评估 · 38/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Paul Graham：去年愚人节玩笑成真，Grok 解出数学家钻研一年多的图论难题
Last year's April Fool's joke is this year's reality (except for the name of the problem obviously).
AI 导读
Paul Graham 称去年的愚人节玩笑今年已成真。数学家 Timothy Gowers 表示，在多次尝试失败后，他终于找到一个提示词，让 Grok 解出了他研究一年多的图论难题 Dubnovy Blazen 问题，并追问 AI 何时能在整体上超越人类数学家。
来源：Paul Graham(@paulg) · x.com