近日，孙宇晨奖营运方宣布，首批候选获奖人名单自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 日晚间，孙宇晨奖官方社群媒体帐号公布了奖池的链上公开地址，目前已有1,000 万美元奖金存入。据先前媒体报导，孙宇晨奖奖金的发放纪录会上链存证，永久可追溯、不可窜改。问题清单一旦挂出即永久锁定，只增不减，奖金只兑不退。整个流程采用贡献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 向公众开放。目前题库已收录1,022 道数学问题，包括庞加莱猜想、黎曼猜想、哥德巴赫猜想以及数学家埃尔德什提出的大量未解问题等。

孙宇晨表示，数学是一切基础科学的底层语言与框架。真正拓展人类认知边界的，从来不只是孤独的求索，更是将洞见转化为可被机器严格检验、可被全人类复现的形式化成果。他指出，目前将人类数学证明转化为机器可验证形式化证明的工作，仍主要仰赖形式化社群的自发热情，系统性经济激励长期缺失。

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