孙宇晨奖首批候选获奖人正式进入公示阶段 去中心化学术悬赏机制加速落地lg...

近日，孙宇晨奖运营方宣布，首批候选获奖人名单自9月19日起进入公示期，为期14天。此次进行的公示题目为官方题库中的305、371、381、526、866、1001号。其中305、371、381号问题的候选人为形式化验证者，866、1001号问题的候选人为数学解题者，526号问题同时拥有两项角色的候选人。这一进展标志着孙宇晨奖从设立走向实质性运行，也意味着全球首个基于“题目清单”的零信任、去中心化学术悬赏机制进入常态化运作。

据了解，公示信息已发布于孙宇晨奖GitHub仓库，公众可随时查阅，并可通过官方渠道对结果正确性、归属、优先权、身份及领奖资格提出正式挑战。公示期满且无未解决异议后，相关贡献将进入受奖人书面确认与奖金发放环节。

9月16日，波场TRON创始人孙宇晨宣布设立该奖，将其定位为全球首个基于“题目清单”的零信任、去中心化学术悬赏机制，以基础学科重大突破与机器形式化验证为唯一发奖标准，最高单题奖金达100万美元。设立当日同步公布了首批表彰名单，涉及66个数学问题的解决成果及形式化证明。其中最高奖100万美元授予OpenAI研究团队，以表彰其针对"三维纳维–斯托克斯方程的存在性与光滑性问题"给出的解决成果及形式化证明。

9月22日晚，孙宇晨奖官方社交媒体账号公布了奖池链上公开地址，当前已有1000万美元奖金存入。据此前媒体报道，孙宇晨奖奖金的发放记录进行上链存证，永久可追溯、不可篡改。问题清单一旦挂出即永久锁定，只增不减，奖金只兑不退。整个流程采用贡献PR（Pull Request）、claim issue与官方邮箱在GitHub上配合办理。孙宇晨奖运营方特别提醒，官方不会索取账户密码、钱包私钥或助记词，也不会要求向指定地址转账以激活奖金。

另据官方公布的奖金申领规则，申请者需按照三个阶段来完成资格审核与奖金授予。在参与验证阶段，贡献者从官方题库选择题目，fork仓库后按贡献类型提交PR。解题者提供公开数学证明或发表物链接即可，形式化验证者须使用本人仓库中的固定commit作为来源，并提供复现环境与构建检查信息。

进入申请获奖阶段后，贡献者须使用本人GitHub账号发布领奖申请issue，填写沟通邮箱并完成身份核验。通过资格验证后，相关贡献的候选人名单将进入14天公示期，解题与形式化角色分别计时。在公示期间，公众可提出挑战，也可提交替代证明的关联PR。

公示期满、并无未解决挑战并完成受奖人书面确认后，即进入颁奖阶段。在该阶段内，获奖者可通过官方邮箱补充收款与证书及奖牌的邮寄信息。奖金以数字货币发放，目前支持USDT（TRC20）及USDC（ERC20）。

孙宇晨奖运营方表示，该奖只接受原问题的完整数学解与完整Lean证明。审核顺序固定为先确认数学解并登记解题候选，再进行Lean验证与形式化候选登记。奖励只授予清单题目的首个完成者。若多人共同完成，解题者获总奖金70%，形式化验证者获30%；一人同时完成两者，可获得全额奖金。奖项覆盖自2026年1月1日起取得的数学进展，此前已解但之后完成形式化验证的成果，形式化者可获奖。

运营方还表示，孙宇晨奖坚持开放、公益、开源原则，面向一切符合条件的贡献者，无国籍、机构、身份限制，亦不区分人类与AI。资金专用于奖项颁发与开放工作，不以营利为目的。问题清单、确认标准、证明与核验材料全部通过GitHub向公众开放。当前题库已收录1022道数学问题，包括庞加莱猜想、黎曼猜想、哥德巴赫猜想以及数学家埃尔德什提出的大量未解问题等。

孙宇晨表示，数学是一切基础科学的底层语言与框架。真正拓展人类认知边界的，从来不只是孤独的求索，更是将洞见转化为可被机器严格检验、可被全人类复现的形式化成果。他指出，当前将人类数学证明转化为机器可验证形式化证明的工作，仍主要依赖形式化社区的自发热情，系统性经济激励长期缺失。
“形式化的人从来不缺热情，缺的是一张带价码的施工地图”，孙宇晨奖正是为此而生。他进一步强调，“我不是数学家，我是一个旁观者，我付钱。剩下的，交给证明。”