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