商业资讯 18小时前
孙宇晨奖首批获奖人确认 千万美元奖池开始兑现
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_font3.html

 

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 时代的加速突破。

智客推

智客推

ZAKER 智客推 GEO | AI 时代的品牌认知解决方案

一起剪

一起剪

ZAKER旗下免费视频剪辑工具

相关标签

孙宇晨 数学 题库 维纳 去中心化
相关文章
评论
没有更多评论了
取消

登录后才可以发布评论哦

打开小程序可以发布评论哦

12 我来说两句…
打开 ZAKER 参与讨论