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 日，奖项营运方公布了奖池链上地址，该地址已存入1,000 万美元，营运方表示，奖励发放纪录也将上链存证，永久可追溯。

依照孙宇晨奖规则，该奖只接受原问题的完整数学解与完整Lean 证明，奖励颁给清单题目的首位完成者。解题者获得总奖金的70%，形式化验证者获得30%，一人同时完成两者可获全额奖金。奖项涵盖自2026 年1 月1 日起取得的数学进展。整个流程透过GitHub 贡献PR（Pull Request）、claim issue 与官方信箱配合办理。奖项营运方再次提醒，不会向奖励申领者索取帐户密码、私钥或助记词，也不会要求转帐至任何地址以启用奖金。

孙宇晨在设立该奖时表示：「奖跟着题目走，不跟着人走。不等年会，不等提名，不等年龄。」获奖资格的确认在于「机器把证明从第一行核到最后一行，一步不差。」他也指出，其个人财富正是从数学而来，而这些财富也将回到数学中去，未来其公益重心将转向孙宇晨奖，「这是我能为人类做的事里，贡献最大的一项」。孙宇晨强调，随着人工智慧的发展，数学正进入一个不同的时代，「形式化的人从来不缺热情，缺的是一张带价码的施工图。」

据悉，孙宇晨奖秉持开放、公益、开源原则，面向所有贡献者，不限国籍、机构与身分，也不区分人类与AI。目前题库已收录1,022 道问题，包括庞加莱猜想的形式化验证、黎曼猜想、哥德巴赫猜想以及大量艾狄胥（Erdős）未解问题等。问题清单、确认标准、证明与核验资料全部透过GitHub 向公众开放，且题目清单一旦公布即永久锁定，只增不减，奖金只兑不退。

孙宇晨此前也表示：「名单是唯一的回答。我不要求任何人现在相信。孙宇晨奖等得起。」这一理念正透过首批成果的最终确认与兑奖得以落实。奖项营运方表示，欢迎全球研究者、独立爱好者及人机协作团队持续关注官方GitHub 与官网，参与后续验证与申请，共同推动基础科学在AI 时代加速突破。

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