孙宇晨宣布设立 Justin Sun Prize，聚焦数学证明与形式化验证

Foresight News 消息，孙宇晨发推宣布设立 Justin Sun Prize，这是一个以数学未解难题为核心的奖项，奖励对象为成功解题者与将证明转化为可机器验证格式的形式化贡献者，两项奖励可由同一人或不同人获得。孙宇晨在文中表示，区块链产业建立于密码学与数学之上，他本人财富亦源于此，设立该奖项是对数学领域的回馈。他将 Justin Sun Prize 定位为奖励纯理论研究的奖项。

该奖项的核心触发条件为机器完整验证证明，奖金随即归属于登记在册的解题者与形式化贡献者。对于已被数学界认可、尚待形式化的证明，平台将标注「已证明，待形式化」状态，形式化奖金向全球公开征集。题目及奖金额度由孙宇晨本人决定，但一经公布即不可撤销，奖金只出不退，题目只增不减。初始奖池已转入相应区块链地址。