孙宇晨:设立孙宇晨奖,奖励经机器核验的数学证明
ChainCatcher 消息,波场 TRON 创始人孙宇晨发文宣布设立“孙宇晨奖”,目前只关注数学。他称该奖跟随题目而非个人,不等年会、提名或年龄限制;每道题分两栏署名,一栏记证明者,一栏记将证明形式化并写入机器的人,两者可为同一人,亦可为人、AI 或人使用 AI。奖金触发条件为机器将证明从第一行核验至最后一行且无差错,核验通过后两栏名单即为该题奖金所有者。 规则还包括:机器核验前,若数学界已接受人类证明,可先挂名,奖金不动,状态为“已证明,待形式化”。证明栏奖金只付给题目上架之后才被解决的题;上架时已解决的题目,证明者仍记名,奖金只付给完成形式化的人,不为数学史补发奖金。题单由孙宇晨签字决