孙宇晨推出链上数学挑战赛：以机器验证为唯一标准

9月16日，TRON创始人孙宇晨正式宣布启动“Justin Sun Prize”计划，旨在通过区块链技术构建一个公开、透明且不可篡改的数学难题奖励体系。该机制聚焦于解决具有理论深度的数学命题，并对将证明过程转化为机器可验证代码的‘formalizer’提供激励。

奖金池永久锁定，规则不可逆改

所有悬赏资金已部署至不可撤销的区块链地址，仅允许追加资金，无法提取或更改。每道题目一经发布即固定，即便表述存在瑕疵也仍按原约定支付奖励，确保参与者的权益不受争议影响。

评审去中心化，拒绝人为干预

孙宇晨明确表示不参与具体问题的评判工作，仅负责审核并公布待解难题及其对应奖励金额。整个评估流程依赖于形式化验证工具从代码首行至末行的完整执行结果，实现自动化、无偏见的判定机制。