孙学最新讲义发下来了📖请逐字斟酌 很贴心，还是中英文双版本 🥇孙宇晨设「孙宇晨奖」对标诺贝尔叙事：奖金跟题走、机器核验后发放，称名单是唯一回答 9月16日，波场创始人孙宇晨 @justinsuntron 发表长文《我为什么要设立孙宇晨奖》，宣布设立面向数学证明与形式化的奖项，并解释奖项以个人命名的原因。 孙宇晨写道，诺贝尔因发明炸药积累财富，1888年曾被法国报纸误发讣告，称为「死亡商人」；此后他立下遗嘱，把资金交给「对人类做出最大贡献的人」。孙宇晨认为，今天「诺贝尔」已成为中性名词，靠的不是自我辩护，而是一百多年的获奖名单。他表示理解这种转变：「我知道钱从哪里来，也知道钱可以去哪里。」 据其介绍，该奖「跟着题目走，不跟着人走」，不等年会、提名和年龄限制。 ✅每道题设两栏署名：一栏记证明者，一栏记将证明写入机器的形式化者。两栏可为同一人，也接受人类、AI 或人机协作。 ✅奖金触发条件为机器完成逐行核验；核验通过后，两栏署名者即为该题奖金所有人。 ✅规则还规定，数学界接受某项证明后，证明者名字先挂出，奖金暂不发放，状态记为「已证明，待形式化」；待形式化完成并通过机器核验后，再启动发钱。 ✅上架后新解决的题目，证明者与形式化者均可获奖金；上架时已被解决的题目，证明者仍记名，奖金只支付给完成形式化的人。 孙宇晨称，题单和定价由其确定，一旦上架则只加不减、只兑不退。官方页面显示，奖项按题目设置不同档位，其中「Pinnacle」档单项奖金100万美元，目前挂出的题目包括黎曼猜想、P与NP问题、BSD猜想等。GitHub 上已公开题库及相关记录，官网称奖池已打入区块链，地址公开，出资方只保留继续注资的权利。 孙宇晨同时提到，北京大学2007级校友王虹、邓煜刚获2026年菲尔兹奖，自己不会证明，「能做的，是让证明的人拿到钱」。谈及以自己命名，他称用人名命名「最不政治」，并表示自己36岁，财富已超过所需，希望把资金「从数学来，回到数学去」。针对外界争议，他写道：「名单是唯一的回答。我不要求任何人现在相信。孙宇晨奖等得起。」