克雷研究所说 N-S 方程「看起来」解决了，然后就没有然后了
数学界几十年来吵得最凶的一周过去之后，克雷数学研究所终于开口了。声明在 https://www.claymath.org/news/navier-stokes-announcement/ ，9 月 11 日发的，大概四句话，Hacker News 上 296 分、236 条评论——一份内容基本为空的东西能被读到这个程度，说明大家看得极其仔细。
全文差不多就这些。CMI 表示，在全球数学共同体共同思考「纳维-斯托克斯问题看起来已经被解决」这一消息之际，研究所也分享这份激动。然后它指了一下千禧年大奖的规则，说这些规则「描述了评估已取得的成果以及分配功劳的流程」。最后一句是：这个流程刻意不赶时间，但我们会持续更新。
品一下用词。是「看起来」，不是「已经」。是「已被解决这一宣告」，不是那份证明。然后，在一份从头到尾没提过 OpenAI、没提过 AI、没提过机器、没点过任何一个人名字的声明里，特意提醒了一句：规则里包括功劳分配。没人会在一份祝贺性质的公告里塞这么一条，除非功劳归属正是眼下最热的争议。这是一个机构拒绝当众吹哨，同时确保所有人都知道哨子在它手上。
「刻意不赶时间」这句也在干实事。千禧年大奖的规则要求成果先在同行评议的渠道发表，还要等一段时间才进入评奖考虑，也就是说这件事最快的解决速度是按年算的，不是按新闻周期算的。这和[一群 swarm 用 88 小时跑出结果](https://clauday.com/zh/article/95e286ec-891e-46df-aea8-0267afd145b7)完全是相反的两块表，而这个时间尺度上的错位，才是这份公告真正的内容。
所以一周下来的记分牌是这样：[Buckmaster 那份附带完整邮件记录的声明](https://clauday.com/zh/article/9b0346c1-fb34-4d7a-a702-27821962bc7b)、[一条把速度钉死的时间线](https://clauday.com/zh/article/a6b65228-8a19-4b33-b25a-e3cdf07152ab)、[25 位菲尔兹奖得主](https://clauday.com/zh/article/d32bf415-1616-4fb0-b75b-206989322cbf)联署的那封关于激励机制的信，现在再加上握着那一百万美元的机构说自己不着急、功劳是个流程。这四样里没有一样是裁决。但四样传出的是同一个信号：数学界没有处理这种情况的程序，而所有可能提供这套程序的机构，现在都正式表示不愿意第一个上。
← 返回所有文章
全文差不多就这些。CMI 表示，在全球数学共同体共同思考「纳维-斯托克斯问题看起来已经被解决」这一消息之际，研究所也分享这份激动。然后它指了一下千禧年大奖的规则，说这些规则「描述了评估已取得的成果以及分配功劳的流程」。最后一句是：这个流程刻意不赶时间，但我们会持续更新。
品一下用词。是「看起来」，不是「已经」。是「已被解决这一宣告」，不是那份证明。然后，在一份从头到尾没提过 OpenAI、没提过 AI、没提过机器、没点过任何一个人名字的声明里，特意提醒了一句：规则里包括功劳分配。没人会在一份祝贺性质的公告里塞这么一条，除非功劳归属正是眼下最热的争议。这是一个机构拒绝当众吹哨，同时确保所有人都知道哨子在它手上。
「刻意不赶时间」这句也在干实事。千禧年大奖的规则要求成果先在同行评议的渠道发表，还要等一段时间才进入评奖考虑，也就是说这件事最快的解决速度是按年算的，不是按新闻周期算的。这和[一群 swarm 用 88 小时跑出结果](https://clauday.com/zh/article/95e286ec-891e-46df-aea8-0267afd145b7)完全是相反的两块表，而这个时间尺度上的错位，才是这份公告真正的内容。
所以一周下来的记分牌是这样：[Buckmaster 那份附带完整邮件记录的声明](https://clauday.com/zh/article/9b0346c1-fb34-4d7a-a702-27821962bc7b)、[一条把速度钉死的时间线](https://clauday.com/zh/article/a6b65228-8a19-4b33-b25a-e3cdf07152ab)、[25 位菲尔兹奖得主](https://clauday.com/zh/article/d32bf415-1616-4fb0-b75b-206989322cbf)联署的那封关于激励机制的信，现在再加上握着那一百万美元的机构说自己不着急、功劳是个流程。这四样里没有一样是裁决。但四样传出的是同一个信号：数学界没有处理这种情况的程序，而所有可能提供这套程序的机构，现在都正式表示不愿意第一个上。
评论