孙宇晨奖设立：单题100万美元，只认机器验证

数学界没有诺贝尔奖，这件事被吐槽了一百多年。9 月 16 日，波场 TRON 创始人孙宇晨宣布设立“孙宇晨奖”，用一句话概括它的定位：全球首个基于“题目清单”的零信任、去中心化学术悬赏机制。发奖标准只有一个——基础学科的重大突破，加上机器形式化验证。单题最高奖金 100 万美元。

首批获奖名单同步公布，覆盖 66 个数学问题的解决成果及形式化证明。最高奖 100 万美元给了 OpenAI 研究团队，理由是“三维纳维–斯托克斯方程的存在性与光滑性问题”的解决成果及形式化证明。据 OpenAI 公布的信息，这份证明由内部系统产生，GPT-6 Astra 负责形式化，并已通过 Lean 验证。

这道题可不是随便挑的。纳维–斯托克斯方程描述流体运动，由法国物理学家克劳德–路易·纳维、爱尔兰裔英国数学家乔治·加布里埃尔·斯托克斯等人在 19 世纪建立，至今约两百年。2000 年，克莱数学研究所把它列入千禧年七大难题，并挂出 100 万美元悬赏。如今 OpenAI 系统性地拿下它，机器验证成为唯一的裁判，这件事的象征意义恐怕不亚于结果本身。名单中还包括森多夫猜想、埃尔德什互异子集和问题、Dinitz–Garg–Goemans 成本保持猜想等。

按规则，已公布名单中的获奖者需要主动申请认领奖金。

孙宇晨的说法是：数学是一切基础科学的底层语言与框架，真正拓展人类认知边界的，不只是孤独的求索，更是把洞见变成可被机器严格检验、可被全人类复现的形式化成果。“孙宇晨奖”不为传统提名和资历设门槛，也不按四年一度或终身成就的节奏走，而是把奖金直接绑在尚未攻克的数学难题和机器可验证证明上。专业研究者、独立爱好者、人机协作的个人或团队，谁先突破谁拿钱。

奖励机制有几条值得细看：只授予首个完成者，多人共同完成则按贡献比例分配；解题者拿总奖金的 70%，完成形式化验证者拿 30%，一人全包则全额拿走。即便解题的是人工智能系统，也照样授奖，但必须有相关自然人、法人或其书面授权代表作为申报主体与法定收款人。奖项覆盖 2026 年 1 月 1 日起取得的数学进展；若问题在该日期前已解、形式化验证在此后完成，则形式化者获奖。目前题目清单已纳入庞加莱猜想的形式化验证、黎曼猜想、哥德巴赫猜想，以及已故数学家、沃尔夫奖得主保罗·埃尔德什生前提出的大量未解问题。题库的玩法也很有意思——每个问题下设“证明者”和“形式化者”两栏，已经被数学界证明但尚未形式化的，状态栏会写着“已证明，待形式化”，谁把它搬进机器验证通过，谁就拿对应那笔钱。

除了奖金，获奖者还会拿到证书和奖牌：正面是孙宇晨头像与“孙宇晨奖”中英文，背面雕刻人类探索宇宙的意象，边缘刻着拉丁文“Quod probatur, solvitur”，意为“所证即解”。奖牌主体为铜材质，表面镀 6 克纯金。

奖项强调开放、公益、开源三原则：面向一切符合条件者，不限国籍、机构、身份，也不区分人类与 AI；资金专用于颁奖与开放工作，不以营利为目的；问题清单、确认标准、证明与核验材料全部公开，奖金发放记录上链存证，永久可追溯、不可篡改。据公开信息，资金池锁定在区块链地址上，只能追加、不可撤回；即便某道题的表述有误，仍按约定支付赏金并重新挂单。孙宇晨本人不参与具体评审，只负责定题单和标价码。

为什么是现在？因为 AI 正在改写数学的时间尺度。Anthropic 的 Claude 模型此前用 11 天就完成了费马大定理的形式化证明——那道让人类数学家折腾了三百多年的题，其证明本身仍是漫长的智力劳动，但“搬进机器”的环节正在从数年压缩到数月甚至数天。当猜想解决周期如此加速，以终身成就或固定周期为核心的旧奖励体系就显得跟不上节拍。孙宇晨的野心是让这个奖成为“AI 时代的诺贝尔奖”，一张持续更新、只增不减、只兑不退的“带价码的施工地图”。

他特别点出了一个长期被忽视的环节：把人类数学证明转化为机器可验证的形式化证明，过去主要靠 Lean 等形式化社区的自发热情，系统性经济激励一直缺位。“形式化的人从来不缺热情，缺的是一张带价码的施工地图。”这句话大概是整个奖项最锋利的注脚。

“用人名命名的奖，是世上最不政治的东西。”孙宇晨说，这更像是给自己一个交代——他的财富根源是数学与密码学，从数学来，就回到数学去。据公开消息，过去数年他已在科技、环保、灾害救援等领域累计捐赠近 4500 万美元（约合人民币 3 亿元），今后公益重心将全面转向“孙宇晨奖”。至于他自己在其中的角色，他的自述相当坦率：“我不是数学家，我是一个旁观者，我付钱。剩下的，交给证明。”

以上就是文章的全部内容了，谢谢您的观看。