孙宇晨奖首批获奖人公示，奖池存入1000万美元

孙宇晨奖首批获奖人于 9 月 19 日正式进入 14 天公示，公示题目为题库第 305、371、381、526、866、1001 号。305、371、381 号问题的候选人为形式化验证者，866、1001 号候选人为数学解题者，526 号则两种角色皆有。公示信息已在官方 GitHub 候选登记表公开，公众可提出正式挑战。孙宇晨奖为全球首个基于题目清单的零信任去中心化学术悬赏机制，最高单题奖金 100 万美元。设立当日已公布首批 66 个数学问题，最高奖 100 万美元授予 OpenAI 研究团队，以表彰其针对“三维纳维--斯托克斯方程的存在性与光滑性问题”给出的解决成果及形式化证明。奖池链上地址已存入 1000 万美元，公示期结束后奖金将以 USDT（TRC20）或 USDC（ERC20）发放，获奖人将获得证书和奖牌。