作者 | 肖汝健

编辑 | 周伟鹏

景甜那事没过去多久，孙宇晨又盯上数学界了。

前几天，他宣布成立 " 孙宇晨奖 "，号称要做 "AI 时代的诺贝尔奖 "，主打填补诺贝尔奖没有数学奖的 " 百年空白 "。

其中，OpenAI 研究团队凭借三维纳维 - 斯托克斯（简称 N-S）方程相关成果，被列入最高档，奖金 100 万美元（约合人民币 671 万）。

但截至目前，OpenAI 还没有申领奖项，也没有任何回应。

这个奖到底是怎么个事？为啥有钱都没人领？

01

100 万美元，怎么拿

和传统学术奖不同，孙宇晨奖不按年度评获奖人，也不走提名、评审那套流程，而是先列出一批数学问题，围绕具体问题设奖。

官方题库目前收录了 1022 道数学问题。首批公布的 66 项成果，都已经拥有完整 Lean 形式化证明，具备申领奖项的基础条件。

奖项一共分 5 档，除了最高档单题固定 100 万美元，其余 4 档都没有固定金额，要由委员会根据成果的重要程度再决定。

但想真正拿到钱，还要满足两个条件。

首先，数学证明本身得成立，而且要把整个证明过程 " 翻译 " 成 Lean 形式，让机器能够逐行核验。

所谓 Lean，是一套形式化证明系统，可以理解成一个特别较真的数学老师。

人类写证明时，一些 " 显然成立 " 的步骤可以省略，但机器不会自动脑补。

用了什么前提、调用哪条定理、每一步怎么推出下一步，都必须明确写出来。只有整条推导都能被系统验证，这份证明才算完成形式化。

在此基础上，对应贡献者还得主动申领，再经过身份和贡献确认，才能领取奖金。

奖金也因此被拆成两部分，真正把题解出来的人拿 70%，负责把证明做成 Lean 版本的人拿 30%。如果同一团队包办，则能拿走全部奖金。

值得一提的是，这些奖金不发现金，而是发稳定币。

获奖者可以选择在孙宇晨创立的波场链上领取 USDT，或在以太坊链上领取 USDC。

这很符合孙宇晨风格 ...

02

孙宇晨图什么

在小作文《我为什么要设立孙宇晨奖》里，孙宇晨解释了自己为什么突然惦记上数学。

他认为，区块链建立在密码学和数学之上，自己靠这套东西赚到了钱，财富从数学中来，也应该回到数学中去。

另一个原因，是今年的菲尔兹奖。

他的两位北大同级校友王虹和邓煜同台获奖，让他感慨，" 我们这一代人，也到了该做点什么的时候了 "。

至于自己能做什么，历史系出身的他，很难下场证明定理，他把自己的贡献概括为 " 确保他们因此得到奖励 "。

为什么奖项非得叫 " 孙宇晨奖 "，他也给出了解释。

他举了诺贝尔奖、菲尔兹奖和图灵奖等例子，认为人名一旦和奖项绑定，就更容易长期留下来。

光有名字还不够，奖牌上的个人印记更鲜明。

孙宇晨奖的奖牌，正面直接印着他本人的肖像；有报道称，奖牌主体为铜，表面镀有 6 克纯金。

就是不知道，谁会第一个晒出这款奖牌。

当然，孙宇晨一向擅长把花钱做成新闻。

从 456 万美元拍下巴菲特午餐到 2800 万美元上太空，几次大额支出最后都变成了热议话题。

这次 100 万美元换一个 " 填补诺贝尔奖空白 " 的新闻，还顺手给自己创立的波场链做了次宣传，可能已经算他成本不高的一次营销。

03

嗅觉一如既往灵敏

抛开做营销的意味，孙宇晨的嗅觉还是很准确的。

过去一年多，AI 的数学能力提升迅速。

2025 年，谷歌 Gemini 达到国际数学奥赛金牌标准；今年 8 月，OpenAI 又公布了 10 项数学和理论计算机成果，其中一些直接解决长期开放问题，并全部给出了 Lean 形式化证明。

再到 9 月的 N-S 方程，AI 已经从竞赛题杀入研究级的数学问题了。

AI 能力越是进步，一个问题就越重要：AI 给出的证明，到底靠不靠谱。

Lean 就是用来解决这个问题的，它把证明拆成机器能检查的逻辑链，每一步都得经得起验证。

从这个角度看，孙宇晨奖把解题和机器验证同时给予奖金，也不全是为了包装。

它提到的，正是 AI 数学继续往研究深处走时绕不开的问题。

但要说成为 "AI 时代的诺贝尔奖 "，可能还得先等第一批奖金发出去，再往后看吧。