🎯 事件追踪 · 持续发展中

孙宇晨数学奖设立

持续追踪孙宇晨数学奖设立相关报道与进展。

我的关注 →RSS 订阅
关注仅保存在当前浏览器和域名中,无需登录,不会自动跨设备同步。

事件时间线

按最新发布排序
🎯

持续追踪孙宇晨数学奖设立相关报道与进展。

孙宇晨设立JustinSunPrize数学奖 以机器验证为唯一发奖条件

RecodeX 重构消息,9月16日,TRON创始人孙宇晨宣布设立“JustinSunPrize”数学奖,奖励解决重要数学难题的证明者,以及将证明形式化为机器可验证代码的“formalizer”。该奖项不设年龄与年度名额限制,唯一发放条件是机器从首行到末行完整验证通过。奖金资金池已锁定在区块链地址上,只能追加、不可撤回;每个问题只能新增、不能删除,若题目表述有误仍按约定支付赏金并重新挂单。孙宇晨表示自己不参与具体评审,仅负责确定问题清单及对应悬赏金额。

🎯

持续追踪孙宇晨数学奖设立相关报道与进展。

孙宇晨设立Justin Sun Prize 奖励数学未解难题与形式化验证

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

更多报道(5