辽宁
作者 | 肖汝健
编辑 | 周伟鹏
景甜那事没过去多久，孙宇晨又盯上数学界了。
前几天，他宣布成立“孙宇晨奖”，号称要做“AI时代的诺贝尔奖”，主打填补诺贝尔奖没有数学奖的“百年空白”。
其中，OpenAI研究团队凭借三维纳维-斯托克斯（简称N-S）方程相关成果，被列入最高档，奖金100万美元（约合人民币671万）。
但截至目前，OpenAI还没有申领奖项，也没有任何回应。
这个奖到底是怎么个事？为啥有钱都没人领？
100万美元，怎么拿
和传统学术奖不同，孙宇晨奖不按年度评获奖人，也不走提名、评审那套流程，而是先列出一批数学问题，围绕具体问题设奖。
官方题库目前收录了1022道数学问题。首批公布的66项成果，都已经拥有完整Lean形式化证明，具备申领奖项的基础条件。
奖项一共分5档，除了最高档单题固定100万美元，其余4档都没有固定金额，要由委员会根据成果的重要程度再决定。
但想真正拿到钱，还要满足两个条件。
首先，数学证明本身得成立，而且要把整个证明过程“翻译”成Lean形式，让机器能够逐行核验。
所谓Lean，是一套形式化证明系统，可以理解成一个特别较真的数学老师。
人类写证明时，一些“显然成立”的步骤可以省略，但机器不会自动脑补。
用了什么前提、调用哪条定理、每一步怎么推出下一步，都必须明确写出来。只有整条推导都能被系统验证，这份证明才算完成形式化。
在此基础上，对应贡献者还得主动申领，再经过身份和贡献确认，才能领取奖金。
奖金也因此被拆成两部分，真正把题解出来的人拿70%，负责把证明做成Lean版本的人拿30%。如果同一团队包办，则能拿走全部奖金。
值得一提的是，这些奖金不发现金，而是发稳定币。
获奖者可以选择在孙宇晨创立的波场链上领取USDT，或在以太坊链上领取USDC。
这很符合孙宇晨风格...
孙宇晨图什么
在小作文《我为什么要设立孙宇晨奖》里，孙宇晨解释了自己为什么突然惦记上数学。
他认为，区块链建立在密码学和数学之上，自己靠这套东西赚到了钱，财富从数学中来，也应该回到数学中去。
另一个原因，是今年的菲尔兹奖。
他的两位北大同级校友王虹和邓煜同台获奖，让他感慨，“我们这一代人，也到了该做点什么的时候了”。
至于自己能做什么，历史系出身的他，很难下场证明定理，他把自己的贡献概括为“确保他们因此得到奖励”。
为什么奖项非得叫“孙宇晨奖”，他也给出了解释。
他举了诺贝尔奖、菲尔兹奖和图灵奖等例子，认为人名一旦和奖项绑定，就更容易长期留下来。
光有名字还不够，奖牌上的个人印记更鲜明。
孙宇晨奖的奖牌，正面直接印着他本人的肖像；有报道称，奖牌主体为铜，表面镀有6克纯金。
就是不知道，谁会第一个晒出这款奖牌。
当然，孙宇晨一向擅长把花钱做成新闻。
从456万美元拍下巴菲特午餐到2800万美元上太空，几次大额支出最后都变成了热议话题。
这次100万美元换一个“填补诺贝尔奖空白”的新闻，还顺手给自己创立的波场链做了次宣传，可能已经算他成本不高的一次营销。
嗅觉一如既往灵敏
抛开做营销的意味，孙宇晨的嗅觉还是很准确的。
过去一年多，AI的数学能力提升迅速。
2025年，谷歌Gemini达到国际数学奥赛金牌标准；今年8月，OpenAI又公布了10项数学和理论计算机成果，其中一些直接解决长期开放问题，并全部给出了Lean形式化证明。
再到9月的N-S方程，AI已经从竞赛题杀入研究级的数学问题了。
AI能力越是进步，一个问题就越重要：AI给出的证明，到底靠不靠谱。
Lean就是用来解决这个问题的，它把证明拆成机器能检查的逻辑链，每一步都得经得起验证。
从这个角度看，孙宇晨奖把解题和机器验证同时给予奖金，也不全是为了包装。
它提到的，正是AI数学继续往研究深处走时绕不开的问题。
但要说成为“AI时代的诺贝尔奖”，可能还得先等第一批奖金发出去，再往后看吧。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
