孙宇晨重磅设立 Justin Sun Prize 专项大奖,聚焦数学证明与形式化验证
孙宇晨宣布设立“Justin Sun奖”,该奖项以数学难题为核心,奖励成功解决问题的数学家和将证明转化为可机器验证格式的形式化贡献者,两人可为同一人或不同者。孙宇晨表示,区块链产业建立在密码学和数学之上,他个人的财富亦源于此,设立该奖项是对数学领域的回馈。该奖项以纯理论研究为目标,核心触发条件为机器完整验证证明,奖金同时归属于登记在册的解题者和形式化贡献者。对于已被数学界认可但尚未形式化的证明,平台将标注“已证明,待形式化”状态,并公开征集形式化奖金。题目及奖金额度由孙宇晨决定,一经公布即不可撤销,奖金只出不退,题目只增不减。初始奖池已转入相应区块链地址。