孙宇晨推出机器验证数学大奖 最高奖金达百万美元
9月16日,波场TRON的创始人孙宇晨宣布设立"孙宇晨奖",这是全球首个基于“题目清单”的去中心化、零信任的学术奖励机制,奖金最高可达100万美元。该奖项旨在通过基础学科的重要突破和机器验证成果进行评审,填补诺贝尔奖百年来未设置数学奖的空白,同时在AI时代重新定义科学奖励的逻辑与边界,促进人类与人工智能在基础科学研究方面的合作与加速。
孙宇晨还揭晓了首批获奖名单,奖励涵盖66个数学问题的解决成果及其形式化证明。其中,OpenAI研究团队因解决“三维纳维–斯托克斯方程的存在性与光滑性问题”而获奖,奖金为100万美元,相关证明由内部系统生成,并由GPT-6 Astra完成形式化验证,已通过Lean验证。
N–S方程用于描述流体运动,由19世纪的物理学家和数学家们所建立,是克莱数学研究所列出的千禧年七大难题之一。此次获奖成果还包括森多夫猜想、埃尔德什互异子集问题、Dinitz–Garg–Goemans成本保持猜想等。 龙8头号玩家国际
根据奖励规定,已公布的获奖者需主动申请奖金。孙宇晨强调,数学是基础科学的核心语言,突破性的发现需要被严谨的机器验证。该奖项不设定传统提名或资历门槛,任何人只要完成尚未解决的数学难题并进行机器验证,均有机会获得奖金。
在AI的推动下,解决问题的周期已缩短至数月甚至数天,传统的奖励体系难以适应这种快速变化。"孙宇晨奖"的目标是成为“AI时代的诺贝尔奖”,以更开放、去中心化的方式响应科学奖励的变化。
该奖项将持续更新一个数学难题和形式化代码的仓库,标准明确且抗变动,确保奖金的最终归属。奖金将只能授予首个完成者,如若多人共同解决,则按贡献比例分配,完成解题者可获70%奖金,30%归完成验证者。 龙8头号玩家国际
此外,孙宇晨表示获奖者还将获得证书和奖牌,奖牌正面印有其头像和奖项名称,背面则是象征人类探索的雕刻,并用拉丁文写着“所证即解”。奖牌的主体为铜材质,表面镀金。
"孙宇晨奖"秉持开放、公益和开源的原则,面向所有符合条件的贡献者,资金专用于颁奖和开放工作,不以营利为目的。此外,问题清单和验证材料将通过GitHub向公众开放。
他指出,目前将数学证明转化为机器验证形式的工作缺乏系统的经济激励,而"孙宇晨奖"将首次提供奖励清单,旨在改变这一现状。他认为,用自己名字命名的奖项是非政治化的,更重要的是为了提醒自己,财富的根基在数学之上。 龙8头号玩家国际
孙宇晨近年来已向科技、环保等领域捐赠近4500万美元,未来将专注于"孙宇晨奖",以可验证的方式推动基础科学的突破。 "我不是数学家,只是资助者,其他交给证明去完成。"他说,"孙宇晨奖"的设立标志着一种以机器验证为中心的人机协作的新科学激励模式的开始。