孙宇晨创办“孙宇晨奖”：我的财富源于数学，将回馈于数学

正文：

在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亿元）。未来，他的公益重心将全面转向“孙宇晨奖”，持续以公开、可验证的方式，推动基础科学的加速突破。

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

来源：Odaily星球日报