孙宇晨设立数学奖，第一批获奖者为 OpenAI 团队

https://www.theblock.co/news/sponsored/2026-09-16-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271

[!quote]+

瑞士日内瓦——2026年9月16日——孙宇晨办公室今日宣布设立孙宇晨奖。该奖项是一个基于“问题列表”的零信任、去中心化学术奖励机制，以基础学科和机器形式化验证领域的突破性进展为评奖标准，单项最高奖金可达100万美元。孙宇晨奖旨在重新定义人工智能时代的科学奖励机制，并通过人类与人工智能的合作加速基础科学研究。

首批孙宇晨数学奖获奖名单也已公布，该奖项表彰了66个数学问题的解答和形式化证明。最高奖项，奖金100万美元，授予OpenAI研究团队，以表彰其对三维纳维-斯托克斯方程存在性和光滑性问题的解答和形式化证明。据OpenAI发布的信息，相关证明由其内部模型生成，而精简的形式化和验证则由GPT-6 Astra完成。

孙宇晨奖不采用传统的提名或资格门槛作为评选标准，也不遵循四年周期或终身成就的评选规律。相反，它将奖项直接与数学问题和机器可验证的形式化证明挂钩。任何人只要是第一个取得符合条件的突破性进展的人，都有资格获得该奖项。

孙宇晨奖的愿景是成为“人工智能时代的诺贝尔奖”，以更加去中心化、形式化和机器驱动的方式，应对新时代科学研究和激励机制的深刻变革。数学问题和形式化代码库将持续维护并公开更新。一旦问题被收录，便无法删除，只能添加；奖金在任何情况下均无需退还。

目前的问题列表已经包括庞加莱猜想、黎曼猜想、哥德巴赫猜想的正式验证，以及已故数学家、沃尔夫奖获得者保罗·埃尔德什生前提出的大量未解决问题。

除了奖品外，获奖者还将获得证书和奖牌。奖牌边缘刻有拉丁文短语“Quod probatur, solvitur”，意思是“经证明，方可支付”。

孙宇晨奖秉持三大核心原则：开放性、公共利益和开源。所有符合条件的贡献者均可参与，不受国籍、机构或身份的限制，也不区分人类和人工智能；奖金全部用于奖励和开源项目，不以盈利为目的；题目列表、验证标准、证明和验证材料均通过 GitHub 向公众开放，奖金发放记录则记录在区块链上，以确保永久可追溯性和不可篡改性。