一项改写学术奖励规则的百万美元悬赏

2026年9月，波场TRON创始人孙宇晨宣布启动一项名为“孙宇晨奖”的学术悬赏计划。该奖项以数学难题清单为核心，采用零信任、去中心化的运作方式，将基础学科的重大突破与机器形式化验证作为唯一评奖依据，单题最高奖金达100万美元。这一机制被视为对诺贝尔奖百余年未设数学奖的补充，也试图在人工智能深度介入科研的时代，重新设计科学奖励的底层逻辑。

首批获奖成果：OpenAI团队摘得最高奖

与奖项设立同步公布的首批获奖名单，涵盖66个数学问题的解决成果及形式化证明。其中，最高奖授予OpenAI研究团队，奖金100万美元，表彰其在“三维纳维–斯托克斯方程的存在性与光滑性问题”上取得的解决成果及形式化证明。据OpenAI披露，相关证明由其内部系统生成，形式化工作由GPT-6 Astra完成，并已通过Lean验证。

纳维–斯托克斯方程描述流体运动，由法国物理学家克劳德–路易·纳维与爱尔兰裔英国数学家乔治·加布里埃尔·斯托克斯等人在19世纪建立，距今约两百年。2000年，克莱数学研究所将其三维存在性与光滑性问题列为千禧年七大难题之一，并设立100万美元悬赏。

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

奖励机制：解题者得七成，形式化验证者得三成

孙宇晨奖的分配规则清晰：只授予首个完成者；若多人共同完成，按贡献比例分配。解题者可获总奖金的70%，完成形式化验证者获30%；若同一人同时完成解题与形式化，则获得全额奖金。即便完成悬赏的是人工智能系统，也予以授奖，但须由相关自然人、法人或其书面授权代表作为申报主体与法定收款人。

奖项覆盖2026年1月1日起取得的数学进展；若问题在该日期前已解但形式化验证在之后完成，则形式化者可获奖励。当前题目清单已纳入庞加莱猜想的形式化验证、黎曼猜想、哥德巴赫猜想，以及已故数学家、沃尔夫奖得主保罗·埃尔德什生前提出的大量未解问题。

奖牌与原则：开放、公益、开源

除奖金外，获奖者将获得证书与奖牌。奖牌正面为孙宇晨头像及“孙宇晨奖”中英文，背面雕刻体现人类探索宇宙的意象，边缘刻有拉丁文“Quod probatur, solvitur”，意为“所证即解”。奖牌主体为铜材质，表面镀有6克纯金。

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

为何要设“带价码的施工地图”

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

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

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

市场资讯部点评

孙宇晨奖的设立，本质上是一次科学激励机制的实验性重构。它绕开传统提名与资历门槛，将奖金直接绑定尚未攻克的数学难题与机器可验证的形式化证明，契合AI时代科研周期从数年压缩至数月的趋势。首批获奖成果由OpenAI团队摘得，也印证了人机协作在基础科学中的加速效应。不过，奖项的长期公信力仍取决于题目清单的学术含金量、验证标准的严谨性以及奖金兑现的透明度。若这三者经得起检验，它有望成为传统学术奖励体系之外的一条有效补充路径。