9月16日，波场TRON的创始人孙宇晨正式宣布设立“孙宇晨奖”。该奖项是全球首个基于“题目清单”的零信任、去中心化学术悬赏机制，主要以基础学科的重要突破和机器形式化验证作为唯一的奖励标准，单个问题的最高奖金高达100万美元。这个奖项不仅填补了诺贝尔奖在数学领域长达一个世纪的空白，还旨在在人工智能时代重新界定科学奖励的逻辑与边界，促进人类与人工智能的合作，加速基础科学研究的发展。孙宇晨还公布了首批获奖者名单，表彰在66个数学问题上的解决成果及形式化证明。其中，OpenAI研究团队获得最高奖，奖金100万美元，以表彰其对“三维纳维-斯托克斯方程的存在性与光滑性问题”的解决及形式化证明。根据OpenAI的说明，这一证明由其内部系统生成，形式化工作由GPT-6 Astra完成，并已通过Lean验证。

该方程用于描述流体运动，由克劳德-路易·纳维和乔治·加布里埃尔·斯托克斯等人在19世纪发展，并已经有近两百年的历史。2000年，克莱数学研究所将其列为千禧年七大难题之一，并悬赏100万美元。此次获奖的成果还包括森多夫猜想、埃尔德什互异子集问题和Dinitz-Garg-Goemans成本保持猜想等。按照“孙宇晨奖”的规定，获奖者需要主动申请认领奖金。孙宇晨表示，数学是所有基础科学的根本语言与框架。真正推动人类认知边界扩展的，不仅是孤独的探索，更是将洞见转化为机器可严格检验且全人类可复现的形式化成果。“孙宇晨奖”的诞生正是出于这一目标，它不设传统的提名或资历门槛，也不以周期性或终身成就为基础，而是直接将奖金与尚未攻克的数学难题以及机器可验证的形式化证明相结合。任何贡献者，无论是专业学者、独立爱好者，还是人工智能合作的团队，只要率先取得突破，就能够获得奖励。随着AI的发展，一个猜想的解决周期正在从多年缩短至几月甚至几天。传统以“终身成就”或固定周期为核心的奖励机制，已经无法满足加速的科学进程。“孙宇晨奖”的目标是成为“AI时代的诺贝尔奖”，通过更加去中心化、形式化和机器化的方式，回应新时期的科学研究和激励的深刻转变。该奖项将不断维护并更新数学难题与形式化代码的公开库，问题一旦公布即永久锁定，奖金只拨不退，成为一份“带价码的施工图”。据介绍，“孙宇晨奖”将只授予首位完成者；若多人共同完成，则将按贡献比例分配。解题者可获奖金的70%，而完成形式化验证者则获30%；若一人同时完成二者，将获得全额奖金。即使是人工智能系统完成的任务，也会获奖，但需由相关自然人或法定代表人作为申报主体。该奖项自2026年1月1日起涵盖的数学进展；若问题在此之前已解但形式化验证在之后完成，则形式化完成者将获得奖赏。当前题目清单中已经包括庞加莱猜想的形式化验证、黎曼猜想、哥德巴赫猜想，以及已故数学家、沃尔夫奖得主保罗·埃尔德什提出的大量未解问题。孙宇晨表示，获奖者除了奖金外，还将获得证书和奖牌，奖牌正面展示其头像和“孙宇晨奖”的中英文，背面刻有象征人类探索宇宙的雕刻，并在边缘刻上拉丁文“Quod probatur, solvitur”，意为“所证即解”。奖牌主体由铜制成，表面镀有6克纯金。“孙宇晨奖”坚持开放、公益和开源的原则：面向所有符合条件的贡献者，不限制国籍、机构或身份，并不区分人类与AI；资金专用于奖励，而不以营利为目的；所有问题清单、确认标准、证明与核验材料都通过GitHub向公众开放，奖金发放记录上链存证，永久可追溯且不可篡改。孙宇晨指出，如今将人类数学证明转化为机器验证的形式化证明工作，仍主要依赖于Lean等形式化社区的自发动力，而系统性的经济激励长期缺失。“形式化的人从来不缺乏热情，但缺失的是一张带价码的施工图。”此次“孙宇晨奖”首次为这一关键环节提供了公开和奖励的清单，旨在彻底改变现状。他还强调，命名以个人名义的奖项是政治中最不相关的事，更重要的是给自己一个交代——我的财富源于数学，最终也将回馈于数学。过去数年，孙宇晨在科技、环保、灾害救助等领域累计捐赠近4500万美元（约合人民币3亿元）。今后，他的公益重心将完全聚焦于“孙宇晨奖”，以公开和可验证的方式推进基础科学的迅速突破。“我不是数学家，我只是一个旁观者，我出钱，剩下的交给证明。”孙宇晨表示。“孙宇晨奖”的正式设立，已经开启了一个以机器验证为核心，以人机合作为驱动力，以去中心化悬赏为机制的新型科学激励范式。