孙宇晨宣布设立孙宇晨奖：我的财富从数学中来，将回到数学中去
2026-09-17分类：人物 阅读（）
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 等形式化社群的自发热情，系统性经济激励长期缺失。 「形式化的人从来不缺热情，缺的是一张带价码的施工地图。」「孙宇晨奖」首次为这一关键环节提供公开、带奖励的清单，意在彻底改变这一局面。
他进一步表示：「用人名命名的奖，是世上最不政治的东西。更重要的是，这给自己一个交代——我的财富，根源是数学。它从数学来，回到数学去。」据公开消息，过去数年，孙宇晨已在科技、环保、灾害救援等领域累计捐赠近4,500 万美元（约合人民币3 亿元）。从今往后，其公益重心将全面转向「孙宇晨奖」，持续以公开、可验证的方式，推动基础科学的加速突破。
「我不是数学家，我是一个旁观者，我付钱。剩下的，交给证明。」孙宇晨说。 「孙宇晨奖」的正式设立，已经开启了一个以机器验证为核心、以人机协同为动力、以去中心化悬赏为机制的新科学激励典范。
Tags：
