孙宇晨奖设立：首个百万美元奖金授予OpenAI团队

孙宇晨宣布设立<span style="font-weight:bold;">「孙宇晨奖」</span>，该奖项定位为一套以<span style="font-weight:bold;">数学问题</span>与<span style="font-weight:bold;">机器可验证形式化证明</span>为核心的去中心化学术奖励机制，旨在在AI加速科学研究的背景下，建立一种不同于传统学术奖项的奖励模式。

孙宇晨表示，「我的财富根植于数学，它来自数学，也将回到数学」，希望透过这套开放、去中心化的奖励机制，将个人财富重新投入基础科学研究。他表示，孙宇晨奖并不是按照传统学术奖项的模式运作，而是直接针对尚未解决的数学问题提供奖励。

参与者不需要经过传统提名程序，也不以国籍、所属机构或身分作为限制，只要率先完成符合要求的数学突破，并以Lean 等工具完成形式化、机器可验证的证明，就能申请相应奖金。官方希望借此降低传统学术体系的门槛，让人类研究者与AI 都能成为问题的解决者。

这套机制也反映孙宇晨对AI 时代科学研究方式改变的看法。官方将孙宇晨奖定位为一种「零信任」的去中心化学术赏金机制，将数学问题、证明及验证程式公开在GitHub，奖金发放纪录则透过区块链保存。问题一旦列入清单，只能增加、不能移除，奖项也不采取固定周期，而是让奖励直接跟随具体的科学问题与可验证成果。

孙宇晨奖首批名单已涵盖66项数学问题，其中最高100万美元奖项颁给OpenAI 研究团队，表彰其针对三维Navier–Stokes 方程「存在性与光滑性」问题的解答及形式化证明。官方称，相关证明由OpenAI 内部模型产生，Lean 形式化与验证则由GPT-6 Astra 完成。该问题也是Clay Mathematics Institute 于2000年列出的七大「千禧年大奖难题」之一。

目前奖项清单还包括黎曼猜想、哥德巴赫猜想，以及庞加莱猜想的形式化验证等问题。官方表示，希望最终让孙宇晨奖成为「AI 时代的诺贝尔奖」，以开放、形式化及机器验证的方式重新思考科学奖励制度。

除了奖金之外，得奖者也将获颁证书及奖章，奖金则可选择以TRON 上的USDT 或Ethereum 上的USDC 支付。孙宇晨表示，这项计画将成为其慈善事业的重要方向，持续透过公开且可验证的模式支持基础科学突破。