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

孙宇晨宣布设立「孙宇晨奖」，为全球首个基于题目清单的零信任、去中心化学术悬赏机制，最高单题奖金100万美元，旨在填补诺贝尔奖未设数学奖的空白，并以机器形式化验证为唯一发奖标准。首批获奖名单中，OpenAI团队因解决三维纳维-斯托克斯方程问题获最高奖。该奖项面向所有人类与AI，强调开放、公益、开源，并将奖金与难题系结，推动基础科学加速突破。

（本文为广编稿，由 TRON 撰文、提供，不代表本站立场，亦非投资建议、购买或出售建议。详见文末责任警示。）

九月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亿元）。从今往后，其公益重心将全面转向「孙宇晨奖」，持续以公开、可验证的方式，推动基础科学的加速突破。

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

广编免责宣告：本文内容为供稿者提供之广宣稿件，供稿者与本站并无任何关系，本文亦不代表本站立场。本文无意提供任何投资、资产建议或法律意见，也不应被视为购买、出售或持有资产的要约。广宣稿件内容所提及之任何服务、方案或工具等仅供参考，且最终实际内容或规则以供稿方之公布或说明为准，本站不对任何可能存在之风险或损失负责，提醒读者进行任何决策或行为前务必自行谨慎查核。