推荐一个全新的Benchmark：看过高斯的AI，会梦到爱因斯坦么

作者｜刘必可（微信zbthdx） 编辑｜王兆洋（微信Geisterspiele） 最近，OpenAI 公布了 Navier–Stokes 存在性与光滑性问题的一份解答及 Lean 形式化证明。这是克雷数学研究所在 2000 年提出的七个“千禧年难题”之一，每题设有百万美元奖金。据 OpenAI 公告，其内部模型构造了光滑外力下的有限时间爆破：方程描述的流速…