孙宇晨设立“孙宇晨奖” ：我的财富从数学中来 将回到数学中去

　　9月16日，波场TRON创始人孙宇晨正式宣布设立“孙宇晨奖”。这是全球首个基于“题目清单”的零信任、去中心化学术悬赏机制，以基础学科重大突破与机器形式化验证为唯一发奖标准，最高单题奖金高达100万美元。该奖的设立，不仅填补了诺贝尔奖一百余年来未设数学奖的历史空白，更试图在AI时代重新定义科学奖励的逻辑与边界，推动人类与人工智能联合加速基础科学研究。

本文来自散户吧WWW.SANHUBA.COM

　　孙宇晨同时公布了首批“孙宇晨奖”获奖名单，表彰涉及66个数学问题的解决成果及形式化证明。其中，最高奖授予OpenAI研究团队，奖金为100万美元，以表彰其针对“三维纳维–斯托克斯方程的存在性与光滑性问题”给出的解决成果及形式化证明。根据OpenAI公布的信息，相关证明由其内部系统产生，形式化工作由GPT-6 Astra完成，并已通过Lean验证。

本文来自散户吧WWW.SANHUBA.COM

　　这一问题涉及描述流体运动的纳维–斯托克斯方程，简称N–S方程。该方程由法国物理学家克劳德–路易·纳维、爱尔兰裔英国数学家乔治·加布里埃尔·斯托克斯等人在19世纪发展建立，已有约两百年的历史。2000年，克莱数学研究所将“三维纳维–斯托克斯方程的存在性与光滑性问题”列为千禧年七大难题之一，并为此设立100万美元悬赏。

本文来自散户吧WWW.SANHUBA.COM

　　此次获奖成果还涉及森多夫猜想、埃尔德什互异子集和问题、Dinitz–Garg–Goemans成本保持猜想等。 按照“孙宇晨奖”规定，已公布名单中的获奖者需主动申请认领奖金。 本文来自散户吧WWW.SANHUBA.COM

　　孙宇晨表示，数学是一切基础科学的底层语言与框架。真正拓展人类认知边界的，从来不只是孤独的求索，更是将洞见转化为可被机器严格检验、可被全人类复现的形式化成果。“孙宇晨奖”正是为此而生，它不以传统提名与资历门槛为门槛，不以四年一度或终身成就为节奏，而是直接把奖金与尚未被攻克的数学难题、与机器可验证的形式化证明绑定。任何贡献者，无论是专业研究者、独立爱好者，还是人与AI协作的个人或团队，只要率先完成突破，即可获得奖励。

　　在AI时代，一个猜想的解决周期正在从数年压缩至数月甚至数天。传统以“终身成就”或固定周期为核心的奖励体系，已难以匹配这一加速的科学节奏。“孙宇晨奖”的愿景，是成为“AI时代的诺贝尔奖”，以更去中心化、更形式化、更机器化的方式，回应新时期科学研究与激励的深刻转型。它将持续维护并公开更新一个数学难题与形式化代码仓库，题单一旦挂出即永久锁定，只增不减，奖金只兑不退，成为一张“带价码的施工地图”。

　　据介绍，“孙宇晨奖”奖励将只授予首个完成者；若多人共同完成，则按贡献比例分配。解题者可获总奖金的70%，完成形式化验证者获30%；若一人同时完成解题与形式化，即可获得全额奖金。即便完成悬赏的是人工智能系统，也予以授奖，但须由相关自然人、法人或其书面授权代表作为申报主体与法定收款人。奖项覆盖2026年1月1日起取得的数学进展；若问题在该日期前已解但形式化验证在之后完成，则形式化者可获奖励。当前题目清单已纳入庞加莱猜想的形式化验证、黎曼猜想、哥德巴赫猜想，以及已故数学家、沃尔夫奖得主保罗·埃尔德什生前提出的大量未解问题。 本文来自散户吧WWW.SANHUBA.COM

本文来自散户吧WWW.SANHUBA.COM

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

本文来自散户吧WWW.SANHUBA.COM

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

本文来自散户吧WWW.SANHUBA.COM

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

本文来自散户吧WWW.SANHUBA.COM

(小编：财神)