孙宇晨宣布设立“孙宇晨奖” 开启机器验证数学悬赏新纪元 最高奖金100万美元

9月16日，波场TRON创始人孙宇晨正式宣布设立"孙宇晨奖"。这是全球首个基于"题目清单"的零信任、去中心化学术悬赏机制，以基础学科重大突破与机器形式化验证为唯一发奖标准，最高单题奖金高达100万美元。该奖的设立，不仅填补了诺贝尔奖一百余年来未设数学奖的历史空白，更试图在AI时代重新定义科学奖励的逻辑与边界，推动人类与人工智能联合加速基础科学研究。

孙宇晨同时公布了首批"孙宇晨奖"获奖名单，表彰涉及66个数学问题的解决成果及形式化证明。其中，最高奖授予OpenAI研究团队，奖金为100万美元，以表彰其针对"三维纳维–斯托克斯方程的存在性与光滑性问题"给出的解决成果及形式化证明。根据OpenAI公布的信息，相关证明由其内部系统产生，形式化工作由GPT-6 Astra完成，并已通过Lean验证。

这一问题涉及描述流体运动的纳维–斯托克斯方程，简称N–S方程。该方程由法国物理学家克劳德–路易·纳维、爱尔兰裔英国数学家乔治·加布里埃尔·斯托克斯等人在19世纪发展建立，已有约两百年的历史。2000年，克莱数学研究所将"三维纳维–斯托克斯方程的存在性与光滑性问题"列为千禧年七大难题之一，并为此设立100万美元悬赏。

此次获奖成果还涉及森多夫猜想、埃尔德什互异子集和问题、Dinitz–Garg–Goemans成本保持猜想等。 按照"孙宇晨奖"规定，已公布名单中的获奖者需主动申请认领奖金。

孙宇晨表示，数学是一切基础科学的底层语言与框架。真正拓展人类认知边界的，从来不只是孤独的求索，更是将洞见转化为可被机器严格检验、可被全人类复现的形式化成果。"孙宇晨奖"正是为此而生，它不以传统提名与资历门槛为门槛，不以四年一度或终身成就为节奏，而是直接把奖金与尚未被攻克的数学难题、与机器可验证的形式化证明绑定。任何贡献者，无论是专业研究者、独立爱好者，还是人与AI协作的个人或团队，只要率先完成突破，即可获得奖励。

在AI时代，一个猜想的解决周期正在从数年压缩至数月甚至数天。传统以"终身成就"或固定周期为核心的奖励体系，已难以匹配这一加速的科学节奏。"孙宇晨奖"的愿景，是成为"AI时代的诺贝尔奖"，以更去中心化、更形式化、更机器化的方式，回应新时期科学研究与激励的深刻转型。它将持续维护并公开更新一个数学难题与形式化代码仓库，题单一旦挂出即永久锁定，只增不减，奖金只兑不退，成为一张"带价码的施工地图"。

据介绍，"孙宇晨奖"奖励将只授予首个完成者；若多人共同完成，则按贡献比例分配。解题者可获总奖金的70%，完成形式化验证者获30%；若一人同时完成解题与形式化，即可获得全额奖金。即便完成悬赏的是人工智能系统，也予以授奖，但须由相关自然人、法人或其书面授权代表作为申报主体与法定收款人。奖项覆盖2026年1月1日起取得的数学进展；若问题在该日期前已解但形式化验证在之后完成，则形式化者可获奖励。当前题目清单已纳入庞加莱猜想的形式化验证、黎曼猜想、哥德巴赫猜想，以及已故数学家、沃尔夫奖得主保罗·埃尔德什生前提出的大量未解问题。

孙宇晨透露，除了奖金以外，获奖者也会获得证书和奖牌，该奖牌正面为孙宇晨头像和"孙宇晨奖"中英文，背面为体现人类探索宇宙的雕刻，边缘刻上了拉丁文"Quod probatur, solvitur"，意为"所证即解"。奖牌主体为铜材质，表面镀有6克纯金。

"孙宇晨奖"坚持开放、公益、开源三大原则：面向一切符合条件的贡献者，无国籍、机构、身份限制，亦不区分人类与AI；资金专用于奖项颁发与开放工作，不以营利为目的；问题清单、确认标准、证明与核验材料全部通过GitHub向公众开放，奖金发放记录上链存证，永久可追溯、不可篡改。

孙宇晨指出，当前将人类数学证明转化为机器可验证形式化证明的工作，仍主要依赖Lean等形式化社区的自发热情，系统性经济激励长期缺失。"形式化的人从来不缺热情，缺的是一张带价码的施工地图。" "孙宇晨奖"首次为这一关键环节提供公开、带奖励的清单，意在彻底改变这一局面。

他进一步表示，"用人名命名的奖，是世上最不政治的东西。更重要的是，这给自己一个交代——我的财富，根源是数学。它从数学来，回到数学去。"据公开消息，过去数年，孙宇晨已在科技、环保、灾害救援等领域累计捐赠近4500万美元（约合人民币3亿元）。从今往后，其公益重心将全面转向"孙宇晨奖"，持续以公开、可验证的方式，推动基础科学的加速突破。

"我不是数学家，我是一个旁观者，我付钱。剩下的，交给证明。"孙宇晨说。"孙宇晨奖"的正式设立，已经开启了一个以机器验证为核心、以人机协同为动力、以去中心化悬赏为机制的新科学激励范式。

稿源：星岛日报

编辑|Jasmine