孙宇晨设立JustinSunPrize数学奖 以机器验证为唯一发奖条件
RecodeX 重构消息,9月16日,TRON创始人孙宇晨宣布设立“JustinSunPrize”数学奖,奖励解决重要数学难题的证明者,以及将证明形式化为机器可验证代码的“formalizer”。该奖项不设年龄与年度名额限制,唯一发放条件是机器从首行到末行完整验证通过。奖金资金池已锁定在区块链地址上,只能追加、不可撤回;每个问题只能新增、不能删除,若题目表述有误仍按约定支付赏金并重新挂单。孙宇晨表示自己不参与具体评审,仅负责确定问题清单及对应悬赏金额。