刚看完孙哥@justinsuntron新搞的孙宇晨奖，我觉得这件事挺有意思，他把数学、AI、Lean和Crypto几件看起来完全不同的东西串到了一起，也是人类第一次给Agent、Ai颁发奖项 传统数学奖更多是成果出来以后再评奖，孙宇晨奖反过来了，直接把人类还没解决的问题挂出来标上价格，谁解决谁拿钱，不等提名、不限制年龄，甚至不限制是不是人，AI自己解决、人用AI解决都可以。Lean负责验证证明，Crypto负责公开奖金和发放记录，规则其实很简单 以前Erdős也喜欢给数学难题挂悬赏，谁解出来就开支票。到了AI时代，这套玩法被放大了，AI可以同时尝试成百上千条证明路线。如果未来某个全世界都没解决的问题第一次被AI攻下来，意义就很大了：AI开始从回答人类已经知道答案的问题，走向创造人类以前不知道的知识 这甚至可能慢慢变成一个新的AI数学竞技场。以后OpenAI、Google、Anthropic、DeepSeek都可以面对同一批真正没有答案的问题，谁解决了多少、解决了什么难度，可能比很多Benchmark更有含金量 然后我觉得“孙宇晨奖”这个名字本身也挺有意思。诺贝尔、菲尔兹、阿贝尔、图灵，科学界很多流传百年的奖最后留下来的都是一个人的名字。诺贝尔当年靠炸药积累财富，后来把财富投入奖励对人类有贡献的人，一百多年以后，“诺贝尔”已经变成了一种科学和荣誉的符号 孙哥原文里有一句我很喜欢：“财富从数学来，回到数学去。” Crypto本身就建立在密码学、数论、椭圆曲线这些数学成果之上，几十年前数学家写下的一些公式，后来撑起了万亿美元级别的产业。从这些数学成果里获得财富的人，再拿钱悬赏下一代数学问题，这个循环其实挺浪漫的 至于“孙宇晨奖”这个名字，如果未来真的有一道困扰人类几十年的问题，因为这个悬赏被人或者AI解决，那时候留下来的就不只是一笔奖金了 孙哥说：“我不是数学家。我是一个旁观者，我付钱。剩下的，交给证明。”

孙宇晨北大那几届出了多少人才和奇葩？ 看到孙割这个奖突然好奇查了一下，这几届太 TM 离谱了，尤其是孙宇晨的 2007 那一级，可以认为是“白金一代” 真正离谱的是北大 07 级数学。 北大官方的 2007 级数学本科名录里，王虹、苏炜杰、唐云清、孙鑫等确实都在；邓煜也是 2007 进入北大，后来转去 MIT。 到了 2026 年这一届已经出现： 王虹：菲尔兹奖 邓煜：菲尔兹奖 苏炜杰：考普斯奖 唐云清：国际一线数论学者 孙鑫：国际一线概率/数学物理学者 而且北大报道指出，这一届还有一批已经成为世界各高校教授的一线学者。也就是说，不是“这一届出了两个天才”，而是整个数学班出现了人才簇。 牛逼🐮

一文解析“孙宇晨奖”：全球首个以「题目清单」为核心的去中心化学术悬赏机制！ 2026 年 9 月 16 日，波场 TRON 创始人孙宇晨宣布设立「孙宇晨奖」。以基础数学重大突破与机器形式化验证为唯一发奖标准，定位为「AI 时代的诺贝尔奖」，回应诺贝尔奖体系长期缺失数学奖项的历史空白。 孙宇晨自述其财富根源于密码学与数学，设立该奖是为「从数学中来，回到数学中去」。公益重心自此全面转向该奖。此前其在科技、环保、灾害救援等领域累计捐赠近 4500 万美元。 一、定位与基本原则 1/ 奖跟着题目走，不跟着人走。 不等年会、不等提名、不等年龄、不设国籍与机构门槛。 2/ 唯一触发器： 机器将证明从第一行核验至最后一行，一步不差。通过后，奖金归属启动。 3/ 两栏署名： 一栏记「证明者」，一栏记「形式化者」（将人类可读证明搬进机器并通过验证的人）。两栏可为同一人，也可互不相识；人、AI、人用 AI 均可，不区分物种。同一名字可多次出现。 4/ 三大原则： 开放、公益、开源。问题清单、验证标准、证明与核验材料通过 GitHub 公开；奖金发放记录上链存证，永久可追溯、不可篡改。 题单一旦挂出即永久锁定：只增不减，钱只兑不退。题目写错也按约定支付，再重新挂单。孙宇晨仅负责题单上架与定价签字，不参与验证、评审、挂名与发钱。 二、核心机制 1/ 时间与资格边界 • 覆盖自 2026 年 1 月 1 日 起取得的数学进展。 • 上架前已解决、上架后才完成形式化验证的题目：证明者仍记名，奖金只付给形式化者，不为数学史补发。 • 数学界已接受但尚未形式化的题目，状态栏写「已证明，待形式化」——名字先挂，钱不动。谁完成机器核验，空栏落名，奖金归属启动。 • 只奖励清单题目的首个完成者；多人共同完成则按贡献分配。 2/ 奖金分配 • 解题者（证明栏）：总奖金的 70% • 形式化验证者：30% • 同一人同时完成解题与形式化：获全额 • AI 系统亦可获奖，但须由自然人、法人或其书面授权代表作为申报主体与法定收款人 • 奖金以加密货币发放，获奖者须通过运营方规定的合规与身份核验（KYC） 3/ 治理结构 • 出资人：孙宇晨个人，仅任捐赠人与颁奖人，不参与评审。 • 学术委员会：由领先 AI 模型与领域专家组成；AI 委员提供初评与建议，组委会作最终决定。利益冲突成员回避。 • 公开记录仓库：GitHub 组织 TheJustinSunPrize，题库、候选、已公告获奖与核验证据分库管理。 • 奖池已打入区块链，地址与余额公开，出资人仅保留继续注资权，不可撤回。 三、题库与首期结果 公开题库现收录 1022 道问题（编号 JSP-000001 至 JSP-001022），覆盖数论、组合、图论、分析、几何、代数等，包含七大千禧年问题（黎曼猜想、P vs NP、BSD 猜想、霍奇猜想、三维纳维–斯托克斯存在性与光滑性、杨–米尔斯存在性与质量间隙、庞加莱猜想），以及哥德巴赫猜想、大量埃尔德什未解问题等。已解决题目仍保留，以便衔接后续形式化。 首期已公告 66 道题，分级为： • 巅峰级 1 项 • 里程碑级 14 项 • 进展级 36 项 • 贡献级 15 项 最高奖 100 万美元 授予 OpenAI 研究团队，表彰其对「三维纳维–斯托克斯方程存在性与光滑性问题」的解决及形式化。据公开信息，证明由内部系统产生，形式化由 GPT-6 Astra 完成，并通过 Lean 验证。其他已表彰成果还包括森多夫猜想、埃尔德什互异子集和问题等。 除奖金外，获奖者获证书与奖牌：主体为铜材，表面镀 6 克纯金；正面为孙宇晨头像及中英文奖名，背面为人类探索宇宙雕刻。 四、参与路径与公开入口 • 官方介绍： • 公开记录与题库： • 可通过仓库 Issue 模板推荐题目、推荐获奖人、更正记录或提出异议 • 联系邮箱：thejustinsunprize@hejustinsun.com 提交须经 GitHub 提交并通过 Lean 等形式化核验；机器核验通过是进入评审的前置条件，核验本身不等于最终授奖或付款权。 一句话理解这套机制： 把「人类已经认下、机器尚未认下」的证明，做成一张带价码、可核验、可结算的施工图：名字归数学界，钱归机器，出资人两边都不沾。空着的那一栏，本身就是对全世界的召集。 @justinsuntron #TRONEcostar#

全面解读孙宇晨奖，及如何参与拿到最高100万美元奖金🔥   我操，孙哥搞了个孙宇晨数学奖，单题奖金最高【100万美元】，船长感觉这会彻底激发民间 AI 解题活力。 个人或小团队的春天来了，AI 行业或迎来结构性利好！！ 我没吹牛哦，给你们盘盘！ -   一、这是在做什么事？   最近不是 OpenAI 攻破了世纪性数学难题，他们采用大规模 agent 攻纳维–斯托克斯并给出 Lean 证书，然后纽约大学一教授指控 OpenAI 模型读取了他尚未公开发表的草稿，是截胡行为。   这就给美国克雷数学研究所制造了难题，他们的千禧年大奖100万美元奖金不知要颁给谁了。虽然 OpenAI 宣称放弃领奖，但依然制造了争议。   孙哥做的事就是把这件事变成了就像是公开标价的施工单，用去中心化、零信任的方式让机器决定谁获奖，这将彻底颠覆传统委员会模式。   这是人类历史上首次把人类数学证明转化为机器可验证形式化证明，而且填补了诺贝尔奖一百余年未设专项数学奖的空白，让数学进入了一个新阶段。 -   二、为什么说个人和小团队的春天来了？   一是因为奖跟着题目走，不跟着人走。不设提名、不论资历与年龄，解决了小团队没资格的痛点。唯一触发条件是机器把证明从第一行核到最后一行，通过即确认获奖资格。   二是因为以往大公司解题是为了证明自己的模型和算力牛逼，最高100万对他们来说可有可无。而对于个人或小团队来讲，最高100万是笔巨款，而且是成名的好机会。   三是这个孙宇晨奖的机制给小团队留了窗口：解题70% +形式化30%。30%那截，就是专门给小团队留的，把已有进展写成能过 Lean 的证明即可。   四是时机有利，时间定义是2026年以来。自动定理证明、autoformalization、Lean agent 已经能把大量中间引理压到人设方向、模型填细节、机器拒错，一个人加几个强模型和一台够用的机器，已经能完成过去所有工作。 -   三、为什么说 AI 行业或迎来结构性利好？   第一，给模型一个硬考场。现在很多 AI 数学成绩停在看起来对，这个奖逼输出必须过 Lean。过不了就没钱，实验室就得把能力从写漂亮证明，改成交可复查证明。这是在推可靠推理，不是推更会聊天。   第二，把最后一公里做成可赚钱的工作。AI 已经能出思路，缺的是有人把思路砌成机器能核的形式。30% 给形式化，等于给这笔累活开工资。有人做，才会有更多过核样本、更好的翻译模型和修复工具。模型下一轮吃的就是这些东西。 第三，把可信从宣传改成交付。以后比的不是谁先发帖，是谁先交出证书。习惯一旦立住，会从数学渗到代码、协议、科研结果，AI 可以很快，但必须能被拒绝、能被复检。 -   四、个人或小团队如何参与？   个人或小团队是最直接的受益者，可以妥妥的吃肉。总共有三种方法：   ➢ 全做：解题 + 写成 Lean，拿全额。难，适合题小、命题清楚。 ➢ 只做形式化：已有公开证明，你负责搬进 Lean，拿 30%。这是小团队主路。 ➢ 只出思路：找到解法，找人写成 Lean，拿 70%。必须事先写清分成，否则过核后会吵。   最简单的就是做第二种，全吃下是很难的，只做形式化，找已有公开证明，你负责搬进 Lean，拿这30%，然后跑量，就把它当工程的分包做，还是很舒服的。   团队配置上，我感觉三人就够，一个数学判断，管命题和证明策略；一个 Lean 工程，管构建和复检；还一个检索与记录，管文献、过程日志、提交材料。两人也行，一个人就白天审题、晚上过核，模型当第三个人用。一个人会比较累，但可以慢慢做。 快的话几周，慢的话几月就能拿到结果。 -   五、入口与工具   【官方入口】 奖项主页：   中文介绍 / 规则：   GitHub 组织：   规则、题单、候选记录：   题库说明：   验证说明：   参与 / 纠错用 Issue：     官网要求：资格前提是向 GitHub 提交并通过核验的 Lean PR。现有 awards 仓库主要是记录，具体证明仓库和 lean-toolchain 以组织下后续仓库为准。   【建议工具】 Lean 4 源码：   安装说明：   手动安装：   版本管理器 elan（装这个才能按仓库切换版本）   构建工具 lake（装 Lean 4 后自带）   编辑器：VS Code + Lean 4 插件 VS Code：   插件：在扩展里搜 Lean 4（发布者 leanprover）

为什么国际上那么多奖项都是外国人创立并命名的呢？ 诺尔贝奖，瑞典人， 菲尔兹奖，加拿大人， 图灵奖，英国人，…… 为什么就没有咱们中国人命名的奖项呢？ 从今天2026.09.16日起，它有了，因为孙哥，孙宇晨来了！ 2026年9月16日，波场TRON创始人孙宇晨正式宣布设立「孙宇晨奖」，最高奖金为100W美元。 在AI的加持下，尤其是 gpt-6开始，数学难题解决周期从数年压缩至数月甚至数天的背景下，传统以终身成就或固定周期为核心的奖励节奏已不适配。 所以，孙哥站出来了！ 孙哥是区块链人，自然要做出一些相较于老登 XXX奖不一样的东西， 传统奖项是 有个组委员会，要先提名，然后还要看资历，卡年龄……存在不少潜在的暗箱操作。 「孙宇晨奖」没有委员会，不设提名、不论资历与年龄，甚至不要求对方是人，唯一触发条件是机器把证明从第一行核到最后一行，通过即确认获奖资格，是全球首个基于「题目清单」的零信任、去中心化学术悬赏机制。 这是对传统「委员会决定」模式的根本性颠覆。 都说孙哥扣，正事上孙哥从来都很大方，这次孙哥拿出的是100W美元，奖金和诺贝尔奖和菲尔兹奖齐平，并说明 解题者70%、形式化验证者30%的分配机制，同一人完成则拿全额。 OpenAI 用内部更强模型加上大约1 万个 AI Agent，花了88 小时，证明了 纳维–斯托克斯（Navier–Stokes，NS）方程千禧年难题，但证明过程是个黑箱，人类看不懂，也无法验证， 当AI让证明越来越多，验证会比解题本身更稀缺，而「孙宇晨奖」就是试图成为更匹配AI时代的激励工具。 区块链的底层是数学，孙哥的财富，根源是数学，它从数学来，回到数学去，而不是回到甜甜兜里。

整理了一下 @justinsuntron 关于「孙宇晨奖」的设立背景、机制和可能影响。 整体看下来，我比较认可这个思路：钱从数学来，再回到数学去；用公开悬赏、形式化证明和机器验证，探索 AI 时代新的数学激励机制。 做成一张图，方便大家理解。

背叛 @justinsuntron 的人都送他3,000万, 那将来爱我的人,年化最高13%APY，送给大家，听懂掌声～ 感谢 @HTX_DAO 邀请，来体验一下火币最新的余币宝， 还挺方便，直接往合约里一转，开启余币宝功能即可一金两用。 先放他个￥100万，体验一波每天睡醒孙哥就给我打钱的快感~！🥹 @HTX_Molly

孙哥 @justinsuntron 又在搞事情了，这几天他和 @CanaryFunds 这个机构合作，搞了个波场版本的 “质押 ETF”，Ticker 是 $TRXS，现在已经在美国的 Cboe BSX 交易所上线了。 这个 $TRXS 有点类似贝莱德发行的以太坊质押 ETF $ETHB 买 $ETHB 除了约等于买入了以太坊现货之外，还加上了以太坊本身的质押收益，这个 $TRXS 也大概是这个意思，买入 $TRXS 就约等于买入了 $TRX 的现货，再加上其本身的质押收益。 这段时间孙哥在美股的动作很多，现在美股那里，一共有两个 Ticker 是波场相关的，一个是之前的 $TRON，扮演的是波场微策略的角色，然后还有一个是今天聊的这个 $TRXS，波场的质押 ETF，类似以太坊的 $ETHB 的角色。