广东
波场TRON创始人孙宇晨周三（16日）宣布设立以本人命名的“孙宇晨奖”（The Justin Sun Prize），目前以破解数学难题及形式化验证为核心方向。
他表示，自己的财富根源于数学，希望通过设立该奖项，将资金重新投入数学研究及证明工作，“从数学来，回到数学去”。根据奖项设置，最高级别题目的单题奖金可达100万美元，获奖者还可获颁证书及实体奖牌。
奖项不设提名、年龄不限
该奖项不设年龄、提名限制及固定颁奖周期，每道题目均设置“证明者”与“形式化者”两个角色，前者负责破解数学难题，后者则将证明转化为可供电脑核验的形式化内容。
两项工作可由同一人或团队完成，也可由不同人员或团队分工处理；人类、人机协作团队，甚至AI系统均可参与。只有当机器从第一行到最后一行完整核验通过后，才会触发奖金发放流程；已被数学界解决但尚未完成形式化的题目，将保留证明者姓名，待形式化完成后再确定奖金归属。
首批公布66道题目
最高奖授予OpenAI研究团队
根据首批“孙宇晨奖”获奖名单，共表彰涉及66个数学问题的解决成果及形式化证明。其中最高奖授予OpenAI研究团队，奖金为100万美元，以表彰其针对“三维纳维-斯托克斯方程的存在性与光滑性问题”给出的解决成果及形式化证明。根据OpenAI公布的信息，相关证明由其内部系统生成，形式化工作由GPT-6Astra完成，且已通过Lean验证。
该方程由法国物理学家克劳德-路易·纳维、爱尔兰裔英国数学家乔治·加布里埃尔·斯托克斯等人在19世纪逐步建立，至今已有约两百年历史。2000年，克莱数学研究所将该问题列为千禧年七大难题之一，并为此设立100万美元悬赏。
此次获奖成果还涉及森多夫猜想、埃尔德什互异子集和问题、Dinitz-Garg-Goemans成本保持猜想等。按照“孙宇晨奖”规定，已公布名单中的获奖者需主动申请认领奖金。
解题与验证按七三比例分配
奖金分配方面，根据公布的规则，最高级别题目的单题奖金可达100万美元。一般情况下，完成数学解题的一方可获得总奖金的70%，完成形式化验证的一方可获得30%；若同一人或团队同时完成解题及形式化验证，则可获得全额奖金。
除奖金外，获奖者还会获得证书及实体奖牌。根据公开资料，奖牌正面印有孙宇晨肖像及“孙宇晨奖”的中英文名称；背面以人类探索宇宙为主题，边缘刻有拉丁文“Quod probatur,solvitur”，意为“所证即解”。奖牌以铜为主体材质，表面镀有6克纯金。
题目一旦列入清单就会“锁死”，原则上只增不减，悬赏资金也“只兑不退”。题目、证明及相关验证资料将通过GitHub等公开数据库供公众查阅，以提高成果的透明度及可核实性。
称财富已超出自身所需
希望回馈数学研究
孙宇晨在公开信中表示，区块链建立在密码学及数学的基础上，包括椭圆曲线、哈希函数等，因此认为自己的财富“根源是数学”，设立奖项也是希望将部分资金重新投入数学研究。
至于奖项为何以个人名字命名，孙宇晨在信中提出了两个原因。他认为，以人名命名的奖项更不易受政治及机构变动影响，他以诺贝尔奖、菲尔兹奖、阿贝尔奖、图灵奖及沃尔夫奖为例，指出不少历史悠久的科学及数学奖项均以个人命名；即便国家、机构或企业发生变迁，刻在奖项上的名字也不容易被更改。
他形容这是“给我自己的一个交代”。孙宇晨写道：“我三十六岁，积累的财富已经超过了我需要的数量。”他认为，财富如果没有明确的去向，最终可能只会成为遗产纠纷或者拍卖市场的交易记录，因此希望趁自己头脑仍然清醒时，亲自为这笔资金“指一条路”。
孙宇晨还以“它从数学来，回到数学去”概括设立奖项的初衷，希望将源于数学及加密技术积累的财富，重新投入到数学研究领域。
他表示，该奖项的首期奖池已经转入区块链，地址公开，余额全世界可见，他本人仅保留继续向奖池注资的权利。每份获奖证明及奖金发放记录都将公开并保存在链上，方便任何人独立验证。他形容自己在奖项中的角色时说：“我不是数学家。我是一个旁观者，我付钱。剩下的，交给证明。”
来源 | 星岛头条网
编辑 | 王雅颖
终审 | 苏楠
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
