孙宇晨宣布设立「孙宇晨奖」，定位为一套以数学问题与机器可验证形式化证明为核心的去中心化学术奖励机制，试图在AI 加速科学研究的背景下，建立不同于传统学术奖项的奖励模式。

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

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

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

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

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

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

本文链接地址：https://www.wwsww.cn/bqmr/41279.html
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。