10月4日,孙宇晨奖运营方宣布,涉及题库第305、371、381、526、866、1001号问题的获奖候选人14天公示期已正式结束。运营方表示,公示期间未出现未解决异议,相关获奖人资格已完成最终审核,正式进入首批受奖人书面确认与奖金发放流程。这是该奖设立以来首次完成完整公示闭环,标志着全球首个基于“题目清单”的零信任、去中心化学术悬赏机制由此进入实质性兑现阶段。
根据此前公示信息,此次最终确认的获奖人覆盖第305、371、381号问题的形式化验证者,和第866、1001号问题的数学解题者,以及第526号问题的解题与形式化者双重角色。该信息已在公示期内于官方GitHub候选登记表全程公开。获奖者可通过官方邮箱完成书面确认,补充收款与邮寄信息,奖金将以USDT(TRC20)或USDC(ERC20)发放。

与此同时,题库中第239号与第327号问题的解题者获奖候选人也已于9月30日进入公示期,目前仍在进行中。随着奖金申领者的资格持续得到确认,更多候选获奖人将进入公示与确认受奖流程。
孙宇晨奖由波场TRON创始人孙宇晨于今年9月16日正式设立,旨在表彰基础学科重大突破与机器形式化验证的贡献者,最高单题奖金达100万美元。设立当日还公布了首批表彰名单,涉及66个数学问题,其中最高奖100万美元授予OpenAI研究团队,表彰其完成“三维纳维–斯托克斯方程存在性与光滑性问题”的解决成果及Lean形式化证明。9月22日,奖项运营方公布了奖池链上地址,该地址已存入1000万美元,奖项运营方表示,奖励发放记录也将上链存证,永久可追溯。
按照孙宇晨奖奖项规则,该奖只接受原问题的完整数学解与完整Lean证明,奖励授予清单题目的首个完成者。解题者获总奖金70%,形式化验证者获30%,一人同时完成两者可获全额奖金。奖项覆盖自2026年1月1日起取得的数学进展。整个流程通过GitHub贡献PR(Pull Request)、claim issue与官方邮箱配合办理。奖项运营方再次提醒,不会向奖励申领者索取账户密码、私钥或助记词,也不会要求向任何地址转账以激活奖金。
孙宇晨在设立该奖时表示,“奖跟着题目走,不跟着人走。不等年会,不等提名,不等年龄。”获奖资格的确认在于“机器把证明从第一行核到最后一行,一步不差。”他还指出,其个人财富正是从数学中来,而这些财富也将回到数学中去,未来其公益重心将转向孙宇晨奖,“这是我能为人类做的事里,贡献最大的一项”。孙宇晨强调,随着人工智能的发展,数学正在进入一个不同的时代,“形式化的人从来不缺热情,缺的是一张带价码的施工图。”
据悉,孙宇晨奖坚持开放、公益、开源原则,面向一切贡献者,无国籍、机构、身份限制,亦不区分人类与AI。当前题库已收录1022道问题,包括庞加莱猜想的形式化验证、黎曼猜想、哥德巴赫猜想以及大量埃尔德什未解问题等。问题清单、确认标准、证明与核验材料全部通过GitHub向公众开放,且题目清单一旦挂出即永久锁定,只增不减,奖金只兑不退。
孙宇晨此前还表示,“名单是唯一的回答。我不要求任何人现在相信。孙宇晨奖等得起。”这一理念正通过首批成果的最终确认与兑奖得以落地。奖项运营方表示,欢迎全球研究者、独立爱好者及人机协作团队持续关注官方GitHub与官网,参与后续验证与申请,共同推动基础科学在AI时代的加速突破。