孙宇晨：设立孙宇晨奖，奖励经机器核验的数学证明

火星财经消息，波场 TRON 创始人孙宇晨发文宣布设立“孙宇晨奖”，目前只关注数学。他称该奖跟随题目而非个人，不等年会、提名或年龄限制；每道题分两栏署名，一栏记证明者，一栏记将证明形式化并写入机器的人，两者可为同一人，亦可为人、AI 或人使用 AI。奖金触发条件为机器将证明从第一行核验至最后一行且无差错，核验通过后两栏名单即为该题奖金所有者。规则还包括：机器核验前，若数学界已接受人类证明，可先挂名，奖金不动，状态为“已证明，待形式化”。证明栏奖金只付给题目上架之后才被解决的题；上架时已解决的题目，证明者仍记名，奖金只付给完成形式化的人，不为数学史补发奖金。题单由孙宇晨签字决定上架题目与定价，一旦挂出则只加不减、钱只兑不退，写错的题照付后再重挂；定价之外，验证、发钱、挂名其本人不参与投票。孙宇晨表示，公益重心将转向该奖，首期奖池已打入区块链，地址与余额公开，其仅保留继续注资的权利；获奖证明与奖金发放均将公开上链。他称用人名命名是为避免机构更迭带来的改名，并称财富来源于数学，希望“从数学来，回到数学去”。