币圈名人设“孙宇晨奖”解决数学难题 OpenAI团队可获百万美元奖金 “财富从数学来 将回到数学去”

波场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等公开数据库供外界查阅，以提高成果的透明度及可核实性。

称财富已超所需 盼回馈数学研究

孙宇晨在公开信中表示，区块链建基于密码学及数学，包括椭圆曲线、哈希函数等，因此认为自己的财富“根源是数学”，设奖亦是希望把部分资金重新投入数学研究。

至于奖项为何以其个人名字命名，孙宇晨在信中提出两个原因。他认为，以人名命名的奖项较不受政治及机构变动影响，并以诺贝尔奖、菲尔兹奖、阿贝尔奖、图灵奖及沃尔夫奖为例，指不少历史悠久的科学及数学奖项均以个人命名；即使国家、机构或企业出现变迁，刻在奖项上的名字亦不易被更改。

他形容，这是“给我自己的一个交代”。孙宇晨写道：“我三十六岁，积累的财富已经超过了我需要的量。”他认为，财富若缺乏明确方向，最终或只会成为遗产纠纷或拍卖市场的交易纪录，因此希望趁自己仍然清醒时，亲自为这笔资金“指一条路”。

孙宇晨亦以“它从数学来，回到数学去”概括设奖初衷，冀将源于数学及加密技术所累积的财富，重新投放至数学研究领域。

他表示，该奖项首期奖池已经打入区块链，地址公开，余额全世界可见，其本人并仅保留继续向奖池注资的权利。每份获奖证明及奖金发放记录都将公开并保存在链上，以便任何人独立验证。他形容自己在奖项中的角色时说“我不是数学家。我是一个旁观者，我付钱。剩下的，交给证明。”