卧槽，ai解决千禧难题这事出了个大瓜！ openai和anthropic争风吃醋🤣 之前传言科研人员用 Claude解决千禧难题之一：Navier–Stokes 方程的存在性与光滑性问题。 消息传出后，OpenAI 的 Sébastien Bubeck 等称内部模型几天内给出约百页、对应 Fefferman C/D 的带力 Navier–Stokes 突破（解决问题的必要解）。 传言中的研究者Buckmaster 质疑冷门路线即使对openai来说，不可能“快速解决”，因此质疑openai投入大量算力，并质疑因为他们在研究过程中claude和openai模型都使用过，因此openai可能提供模型获得了他们的解体思路。。。 这事瓜可以慢慢吃，但有一点无需质疑： 模型已把千禧难题的验证分析从原来的数十年尺度压缩到按周甚至按日的尺度。 正如参与项目的研究者之一在声明中所说，这次事件，毫无疑问是数学研究的深蓝-卡斯帕罗夫时刻。 从这一刻起，数学家就像国际象棋手一样，在ai数学研究面前，毫无优势(rick awsb ($people, $people))