孙宇晨宣布为数学突破提供100万美元奖金

瑞士日内瓦 — 2026年9月16日 — 孙宇晨办公室揭晓了贾斯汀·孙奖，这是一个去中心化、零信任的学术悬赏系统。该系统围绕一个问题清单构建，基于机器正式验证的基础领域突破颁发奖励。单个问题最高可获100万美元奖金。该奖项旨在重塑AI时代科学奖励机制，并通过人机协作加速基础研究。

首批获奖者也已公布，涵盖了66个数学问题的解决方案和形式化证明。100万美元的最高奖金颁给了OpenAI研究团队，因其解决并形式化证明了三维纳维-斯托克斯方程的存在性与光滑性。根据OpenAI自己的公告，其内部模型生成了证明，而GPT-6 Astra则负责了Lean形式化和验证。

纳维-斯托克斯方程描述了流体的运动，常被称为N-S方程。它们由法国物理学家克洛德-路易·纳维和爱尔兰出生的英国数学家乔治·加布里埃尔·斯托克斯等人于19世纪发展而来，历史可追溯约200年。2000年，克莱数学研究所将纳维-斯托克斯存在性与光滑性列为七个千禧年大奖问题之一，奖金为100万美元。

贾斯汀·孙奖不依赖传统的提名、资历门槛、四年周期或终身成就。相反，它将奖项直接与数学问题和机器可验证的形式化证明挂钩。任何人均可通过率先实现符合条件的突破而获奖。

该奖项的愿景是成为“AI时代的诺贝尔奖”，通过更去中心化、形式化、机器驱动的模式，回应科学研究与激励的深刻变革。问题库和形式化代码将持续公开维护和更新。一旦列入，问题将被锁定：只能添加，不能移除。已发放的奖金在任何情况下都无需退还。

当前问题清单包括庞加莱猜想、黎曼猜想、哥德巴赫猜想的形式化验证，以及已故数学家、沃尔夫奖得主保罗·埃尔德什的许多未解决问题。

获奖者还将获得证书和奖章。奖章边缘刻有拉丁文“Quod probatur, solvitur”，意为“先证明，后支付”。

贾斯汀·孙奖遵循三大核心原则：开放性、公益性和开源性。它对所有符合条件的贡献者开放，不论国籍、机构或身份，并平等对待人类与AI。资金仅用于奖项和公开倡议，不用于盈利。问题清单、确认标准、证明和验证材料在GitHub上公开。奖金发放记录在链上，确保永久可追溯和不可篡改。

“以个人名字命名的奖项是世界上最不具有政治性的东西，”孙宇晨说。“更重要的是，它给了我一个答案——我的财富植根于数学。它来自数学，也将回馈数学。”

公开记录显示，孙宇晨已在科技、环保、救灾和其他领域捐赠超过4500万美元。贾斯汀·孙奖将成为他慈善事业的核心焦点，通过开放和可验证的模式支持基础科学的突破。

该奖项以USDT（TRON上的TRC-20）或USDC（以太坊上的ERC-20）支付，具体根据受奖者选择。

关于孙宇晨办公室

孙宇晨办公室支持孙宇晨在全球的业务、慈善和公共倡议，涵盖科技、区块链、人工智能、科学研究、投资、艺术和太空探索。

孙宇晨担任格林纳达大使及其前常驻世界贸易组织代表。他还是TRON的创始人，TRON是稳定币革命中的领先区块链，自成立以来已处理超过13万亿美元的交易量。在新兴市场，人们依赖TRON上的USDT接入全球金融体系。

孙宇晨是阿里巴巴创始人马云的弟子，其数字资产工作获得国际认可，包括2025年4月的《福布斯》封面报道，以及多次入选《福布斯》30位30岁以下精英榜。2025年8月，他乘坐蓝色起源的NS-34任务飞行，成为历史上第712位进入太空的人。他的广泛兴趣包括科技、投资、慈善、艺术、游戏和太空探索。

关于贾斯汀·孙奖

贾斯汀·孙奖是由孙宇晨设立的学术计划，旨在推动数学、形式化验证和AI辅助科学发现。它是去中心化的，并根据证明本身的力量、严谨性和可验证性来评判数学工作，而非提交者的声望。

孙宇晨以自己的名义设立该奖项，作为将数学和技术创造的财富回馈数学的长期承诺。其遗产旨在由它所认可的工作和那些发现经久不衰的获奖者来定义。该奖项将明确的数学挑战与机器可验证的证明联系起来。其指导原则是开放性、公益性和开源访问。