币圈名人设「孙宇晨奖」解决数学难题 OpenAI团队可获百万美元奖金 「财富从数学来 将回到数学去」
发布时间：12:48 2026-09-17 HKT
波场TRON创办人孙宇晨周三（16日）宣布设立以其本人命名的「孙宇晨奖」（The Justin Sun Prize），目前以破解数学难题及形式化验证为核心。他表示，自己的财富根源于数学，希望通过设立奖项，将资金重新投入数学研究及证明工作，「从数学来，回到数学去」。根据奖项安排，最高级别题目的单题奖金可达100万美元，得奖者另可获颁证书及实体奖牌。
奖项不设提名、年龄不限
该奖项不设年龄、提名及固定颁奖周期，每道题目均设有「证明者」及「形式化者」两个角色，前者负责破解数学难题，后者则将证明转化为可供电脑核验的形式化内容。
两项工作可由同一人或团队完成，亦可由不同人士或团队分工处理；人类、人机协作团队，以至AI系统均可参与。只有当机器从第一行至最后一行完整核验通过后，奖金才会触发发放流程；已被数学界解决但尚未完成形式化的题目，将保留证明者姓名，待形式化完成后再确定奖金归属。
首批66题公布 最高奖授予OpenAI研究团队
根据首批「孙宇晨奖」获奖名单，表彰涉及66个数学问题的解决成果及形式化证明。其中，最高奖授予OpenAI研究团队，奖金为100万美元，以表彰其针对「对三维纳维–斯托克斯方程的存在性与光滑性问题」给出的解决成果及形式化证明。根据OpenAI公布的信息，相关证明由其内部系统产生，形式化工作由GPT-6 Astra完成，并已通过Lean验证。
该方程由法国物理学家克劳德–路易·纳维、爱尔兰裔英国数学家乔治·加布里埃尔·斯托克斯等人在19世纪发展建立，已有约两百年的历史。2000年，克莱数学研究所将上述问题列为千禧年七大难题之一，并为此设立100万美元悬赏。
此次获奖成果还涉及森多夫猜想、埃尔德什互异子集和问题、Dinitz–Garg–Goemans成本保持猜想等。 按照「孙宇晨奖」规定，已公布名单中的获奖者需主动申请认领奖金。
解题与验证按七三分帐
奖金分配方面，按照公布规则，最高级别题目的单题奖金可达100万美元。一般情况下，完成数学解题的一方可获总奖金70%，完成形式化验证的一方则可获30%；若同一人或团队同时完成解题及形式化验证，则可获全数奖金。
除奖金外，获奖者亦会取得证书及实体奖牌。按公布资料，奖牌正面印有孙宇晨肖像及「孙宇晨奖」的中英文名称；背面以人类探索宇宙为主题，边缘刻有拉丁文「Quod probatur, solvitur」，意为「所证即解」。奖牌以铜为主体，表面镀有6克纯金。
题目一旦列入清单便会「锁死」，原则上只增不减，悬赏资金亦「只兑不退」。题目、证明及相关验证资料将透过GitHub等公开资料库供外界查阅，以提高成果的透明度及可核实性。
称财富已超所需 盼回馈数学研究
孙宇晨在公开信中表示，区块链建基于密码学及数学，包括椭圆曲线、哈希函数等，因此认为自己的财富「根源是数学」，设奖亦是希望把部分资金重新投入数学研究。
至于奖项为何以其个人名字命名，孙宇晨在信中提出两个原因。他认为，以人名命名的奖项较不受政治及机构变动影响，并以诺贝尔奖、菲尔兹奖、阿贝尔奖、图灵奖及沃尔夫奖为例，指不少历史悠久的科学及数学奖项均以个人命名；即使国家、机构或企业出现变迁，刻在奖项上的名字亦不易被更改。
他形容，这是「给我自己的一个交代」。孙宇晨写道：「我三十六岁，积累的财富已经超过了我需要的量。」他认为，财富若缺乏明确方向，最终或只会成为遗产纠纷或拍卖市场的交易纪录，因此希望趁自己仍然清醒时，亲自为这笔资金「指一条路」。
孙宇晨亦以「它从数学来，回到数学去」概括设奖初衷，冀将源于数学及加密技术所累积的财富，重新投放至数学研究领域。
他表示，该奖项首期奖池已经打入区块链，地址公开，余额全世界可见，其本人并仅保留继续向奖池注资的权利。每份获奖证明及奖金发放记录都将公开并保存在链上，以便任何人独立验证。他形容自己在奖项中的角色时说「我不是数学家。我是一个旁观者，我付钱。剩下的，交给证明。」
