孙宇晨宣布设立 Justin Sun Prize,聚焦数学证明与形式化验证
2026-09-16 10:11
收藏
分享到

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


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

推荐阅读
Anthropic pre-IPO 市场火热,Entropy 改写 CEX 流动性格局
Hyperliquid 生态 Entropy 拿下 Anthropic pre-IPO 市场最高未平仓量。
2026-09-16 10:06
币安 Alpha 开放 DGrid AI(DGAI)空投申领
Foresight News 消息,币安钱包发文表示,DGrid AI(DGAI)代币现已在币安 Alpha 上线。持有至少 240 个币安 Alpha 积分的用户可先到先得领取 44 枚 DGAI 代币空投。若奖励池未能完全分发,积分门槛将每 5 分钟自动降低 5 点。领取空投将消耗 15 点币安 Alpha 积分。
快讯 2026-09-16 10:02
Ethena Pay 入账即赚储备收益,ENA 价值待重估?
手续费开关将启,ENA 迎来重估。
2026-09-16 09:30

日历

9 月 16 日
查看更多
暂无重要事件