一、全球首个"题目清单"悬赏机制

九月十六日，波场TRON创始人孙宇晨正式宣布设立"孙宇晨奖"，这是全球首个基于"题目清单"的零信任、去中心化学术悬赏机制。它不做传统提名，不设资历门槛，只把奖金与尚未被攻克的数学难题、与机器可验证的形式化证明直接绑定。任何贡献者，无论是专业研究者、独立爱好者，还是人与AI协作的个人与团队，只要率先完成突破即可获得奖励。它的核心，是把难以捉摸的科学进步，转化为一份公开、透明、随时可查的"施工地图"。

二、填补诺贝尔奖百年未设数学奖的空白

诺贝尔奖设立百余年来从未设置数学奖项，数学家们的重大突破长期缺乏与之匹配的顶级荣誉与物质激励。孙宇晨奖的诞生，在客观上填补了这一历史空白，为纯粹数学、基础理论的发展提供了全新的物质与精神双重驱动力。它标志着一种以确定性、可复现证明为核心的新科学奖励范式正在形成，也让数学这门"底层语言"重新站到聚光灯下，获得与其实用价值相称的尊重。

三、最高奖：百万美元花落OpenAI

首批获奖名单表彰了涉及六十六个数学问题的解决成果及形式化证明。其中最高奖授予OpenAI研究团队，奖金高达一百万美元，以表彰其针对"三维纳维–斯托克斯方程的存在性与光滑性问题"给出的解决成果与形式化证明。据OpenAI公布的信息，该证明由其内部系统产生，形式化工作由GPT-6 Astra完成，并已通过Lean验证。这是人类与机器协同攻克顶级数学难题的标志性事件。

四、纳维–斯托克斯方程：两百年悬而未决

纳维–斯托克斯方程由法国物理学家纳维、爱尔兰裔英国数学家斯托克斯等人于十九世纪发展建立，用于描述流体运动，至今已有约两百年历史。二〇〇〇年，克莱数学研究所将其列为千禧年七大难题之一，并为此设立一百万美元悬赏。此次获奖成果还涉及森多夫猜想、埃尔德什互异子集和问题、Dinitz–Garg–Goemans成本保持猜想等，展现了一批高难度数学问题的集中突破。

五、奖金规则："带价码的施工地图"

按奖规，已公布名单中的获奖者需主动申请认领奖金。奖励只授予首个完成者，多人共同完成则按贡献比例分配：解题者可获总奖金的七成，完成形式化验证者获三成；若同一人同时完成解题与形式化验证，即可获得全额奖金。即便完成悬赏的是人工智能系统，也予以授奖，但须由自然人、法人或其书面授权代表作为申报主体与法定收款人，保证规则严谨、公平。这一分配方式既激励顶尖攻坚，也鼓励把抽象证明落到机器可核验的实处，形成良性循环。

六、覆盖六大经典难题

奖项覆盖自二〇二六年一月一日起取得的数学进展；若问题此前已获解而形式化验证在此后完成，则形式化者可获奖励。当前题目清单已纳入庞加莱猜想的形式化验证、黎曼猜想、哥德巴赫猜想，以及沃尔夫奖得主、已故数学家保罗·埃尔德什生前提出的海量未解问题。题单一经挂出即永久锁定，只增不减，奖金只兑不退，形成一张严谨而可持续的悬赏清单。

七、证书奖牌与上链存证

除奖金外，获奖者还将获得证书与奖牌。奖牌正面为孙宇晨头像及"孙宇晨奖"中英文，背面雕刻人类探索宇宙的意象，边缘刻有拉丁文"Quod probatur, solvitur"，意为"所证即解"。奖牌主体为铜质，表面镀有六克纯金。整个奖项坚持开放、公益、开源三大原则，问题清单、确认标准、证明与核验材料全部通过GitHub公开，奖金发放记录上链存证，永久可追溯、不可篡改。

八、补上形式化验证的经济激励

孙宇晨指出，当前将人类数学证明转化为机器可验证形式化证明的工作，仍主要依赖Lean等形式化社区的自发热情，系统性经济激励长期缺失。"形式化的人从来不缺热情，缺的是一张带价码的施工地图。"孙宇晨奖首次为这一关键环节提供公开、带奖励的清单，吸引更多力量投入证明验证工作，彻底改变对形式化工作缺乏激励的局面，也为整个科学奖励体系补上了重要的一块拼图。在AI时代，一个猜想的解决周期正从数年压缩至数月乃至数天，传统以终身成就或固定周期为核心的奖励体系已难以匹配这种加速的节奏，更凸显出此类激励革新的迫切与必要。

九、从数学中来，回到数学去

"用人名命名的奖，是世上最不政治的东西。"孙宇晨表示，他的财富根源是数学——"它从数学来，回到数学去。"过去数年，他已在科技、环保、灾害救援等领域累计捐赠近四千五百万美元，此后公益重心将全面转向"孙宇晨奖"，持续以公开、可验证的方式推动基础科学加速突破。正如他所言："我不是数学家，我是一个旁观者，我付钱。剩下的，交给证明。"孙宇晨奖的设立，开启了以机器验证为核心、人机协同为动力、去中心化悬赏为机制的全新科学激励范式。