孙宇晨重磅设立 Justin Sun Prize 专项大奖,聚焦数学证明与形式化验证

孙宇晨在社交平台上发布推文,宣布设立“Justin Sun Prize”。该奖项以数学未解难题为核心,旨在激励成功解题者以及将证明转化为可机器验证格式的形式化贡献者,两项奖励可由同一人或不同人共同获得。孙宇晨表示,区块链产业根植于密码学与数学之中,而他的财富亦源于此,因此设立该奖项是对数学领域的回馈。他将该奖项定位为奖励纯理论研究的荣誉。奖项的触发条件是机器完整验证证明,奖金随即归属于登记在册的解题者与形式化贡献者。对于已被数学界认可、但尚未形式化的证明,平台将标注“已证明,待形式化”状态,并向全球公开征集形式化奖金。题目及奖金数额由孙宇晨自行决定,一经公布即不可撤销,奖金只增不减,题目亦只增不减。初始奖池已转入相应的区块链地址。

Facebook
Twitter
LinkedIn
Telegram

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注