10 月 4 日,孙宇晨奖运营方宣布,涉及题库第 305、371、381、526、866、1001 号问题的获奖候选人,14 天公示期已经结束。运营方表示,公示期间未出现未解决的异议,相关获奖人资格已完成最终审核,正式进入首批受奖人书面确认与奖金发放流程。

这是该奖设立以来,首次完成完整的公示闭环。运营方称,这也意味着这一基于「题目清单」的零信任、去中心化学术悬赏机制,开始进入实际兑付阶段。
首批确认获奖人覆盖 6 道题目
根据此前公示信息,此次最终确认的获奖人包括:
- 第 305、371、381 号问题的形式化验证者
- 第 866、1001 号问题的数学解题者
- 第 526 号问题中同时承担解题与形式化双重角色的贡献者
相关信息在公示期内已通过官方 GitHub 候选登记表全程公开。获奖者可通过官方邮箱完成书面确认,并补充收款与邮寄信息。奖金将以 USDT(TRC20)或 USDC(ERC20)发放。
239 号与 327 号问题仍在公示期
运营方同时表示,题库中第 239 号与第 327 号问题的解题者获奖候选人,已于 9 月 30 日进入公示期,目前公示仍在进行中。随着奖金申领者资格陆续获得确认,后续还会有更多候选获奖人进入公示与受奖确认流程。
奖项于 9 月 16 日设立,链上地址已存入 1,000 万美元
孙宇晨奖由波场 TRON 创始人孙宇晨于今年 9 月 16 日正式设立,目标是表彰基础学科重大突破与机器形式化验证的贡献者,单题最高奖金为 100 万美元。
设立当日,项目方也公布了首批表彰名单,涉及 66 个数学问题。其中最高奖 100 万美元授予 OpenAI 研究团队,以表彰其完成「三维纳维–斯托克斯方程存在性与光滑性问题」的解题成果及 Lean 形式化证明。
9 月 22 日,奖项运营方公布了奖池链上地址。该地址已存入 1,000 万美元。运营方表示,后续奖励发放记录也将上链存证,并永久可追溯。
奖励规则:首位完成者获得奖金,解题与形式化按 7:3 分配
按照孙宇晨奖规则,该奖只接受原问题的完整数学解与完整 Lean 证明,奖励发给清单题目的首位完成者。奖金分配方面,解题者获得总奖金的 70%,形式化验证者获得 30%;如果同一人同时完成两部分,则可获得全额奖金。
奖项覆盖自 2026 年 1 月 1 日起取得的数学进展。整个流程通过 GitHub 的贡献 PR(Pull Request)、claim issue 以及官方邮箱配合办理。
运营方再次提醒,不会向奖励申领者索取账户密码、私钥或助记词,也不会要求向任何地址转账以启用奖金。
孙宇晨:奖跟着题目走,不跟着人走
孙宇晨在设立该奖时表示:「奖跟着题目走,不跟着人走。不等年会,不等提名,不等年龄。」
他还表示,获奖资格的确认在于「机器把证明从第一行核到最后一行,一步不差。」
对于设立这一奖项的原因,孙宇晨称,其个人财富正是从数学而来,而这些财富也将回到数学中去,未来其公益重心将转向孙宇晨奖,「这是我能为人类做的事里,贡献最大的一项」。
他还提到,随着人工智能发展,数学正在进入一个不同的时代,「形式化的人从来不缺热情,缺的是一张带价码的施工图。」
题库已收录 1,022 道问题,面向全球开放
据运营方介绍,孙宇晨奖遵循开放、公益、开源原则,面向所有贡献者,不限国籍、机构与身份,也不区分人类与 AI。
目前题库已收录 1,022 道问题,包括庞加莱猜想的形式化验证、黎曼猜想、哥德巴赫猜想,以及大量艾狄胥(Erdős)未解问题等。问题清单、确认标准、证明与核验资料均通过 GitHub 向公众开放。
运营方表示,题目清单一经公布即永久锁定,只增不减,奖金只兑不退。
孙宇晨此前还表示:「名单是唯一的回答。我不要求任何人现在相信。孙宇晨奖等得起。」随着首批成果完成最终确认与兑奖,这一机制开始进入实际执行阶段。运营方称,欢迎全球研究者、独立爱好者及人机协作团队继续关注官方 GitHub 与官网,参与后续验证与申请。


