9月16日,波场TRON的创始人孙宇晨宣布设立一项名为“孙宇晨奖”(The Justin Sun Prize)的新奖项,旨在鼓励数学难题的破解与形式化验证。该奖项在其官方网站上被定位为“AI时代的诺贝尔奖”,希望通过公开的数学题目、机器验证以及奖金激励来促进数学研究和人机合作。截至目前,奖项最高可给予单个问题100万美元的奖金。
与传统学术奖项不同的是,“孙宇晨奖”基于一份公开的数学问题清单,参与者不受国籍、机构或学术背景的限制,任何专业研究人员、独立研究者、研究团队,甚至AI系统均可以报名参与。贡献者被分为两类:“问题解决者”和“Lean形式化验证者”。前者负责数学问题的解决,而后者则需将证明转化为计算机可以核验的形式化证明。根据现行规则,奖金的70%将奖励给问题解决者,30%则给予验证者;若是同一人或团队完成了两项任务,则可获得全部奖金。提交的成果需经过形式化验证后,方可进入评估程序,而不是简单依赖机器验证。
首批参与的问题涵盖66个数学难题。孙宇晨奖已决定将首个100万美元的大奖颁给OpenAI研究团队,以表彰其在三维Navier–Stokes方程的存在性和光滑性问题上取得的成果及其形式化证明。OpenAI于9月8日公布了相关研究,强调其内部系统创建了证明,并分享了Lean形式化的版本。
孙宇晨此举的部分原因源自于他个人的财富与数学的关联,他希望通过自有资金回馈数学界。当前,该奖项由孙宇晨一人资助,官网说明他并不直接参与学术评判,而由学术委员会承担评价职责,最终的奖项确认则由组委会决定。奖金将以TRC-20 USDT或ERC-20 USDC等加密货币的形式发放。
孙宇晨的背景同样引人关注。他于1990年出生,先是毕业于北京大学历史系,后在宾夕法尼亚大学攻读东亚研究硕士,并进入加密货币领域。2017年,他创立了TRON,并收购了BitTorrent,活跃在数字资产市场上。
孙宇晨因其多次引人注目的事件而成为焦点,例如,他在2019年以约456.8万美元拍下巴菲特的慈善午餐,2024年支付620万美元购买意大利艺术家Cattelan的作品《Comedian》,还参与了蓝色起源的太空飞行,花费2800万美元。最近,他因发布一篇关于其与女友景甜的私密内容的长文而引发广泛讨论。
目前,“孙宇晨奖”的官网已上线了数学题目清单、评选规则、奖金等级和奖金申请流程,首批获奖结果也已公开。根据相关规定,该奖项没有固定的年度颁奖周期,会围绕具体的数学问题和形式化验证的成果持续开展。
每一场胜利背后,都是你全力以赴的故事!...
每一场胜利背后,都是你全力以赴的故事!...