孙宇晨奖：以 TRON 上链上 USDT 支付的数学奖项如何运作

孙宇晨奖（Justin Sun Prize） 是一个由验证程序而非评审团来决定是否付款的奖项。TRON 创始人孙宇晨宣布了一项倡议：奖金池已提前转入链上，钱包地址已公开，任何人都可以查询余额，一旦证明被机器“从第一行到最后一行”检查通过，奖金即归接收者所有。支付通过 TRON 上的 USDT TRC-20 或以太坊上的 USDC 进行，验收标准是机器形式化验证（在已披露的案例中，形式化使用的是 Lean），而这一设计中最不寻常的部分，恰恰是链上支付：据主办方称，资金无法被提走，问题也无法从登记册中删除。下面来看看这在技术上如何运作，以及这一方案留下了哪些悬而未决的问题。

宣布了什么，何时宣布

孙宇晨办公室于 2026 年 9 月 16 日在日内瓦宣布了该奖项，称其为一种去中心化的学术悬赏机制，围绕一份带有机器形式化验证的“问题清单”构建，单个问题的最高奖金可达 100 万美元。问题清单、确认标准和验证材料都发布在 GitHub 上，支付记录记录在链上，接收者可以选择网络：TRON 上的 USDT（TRC-20）或以太坊上的 USDC（ERC-20）。

首批清单包含 66 个经典数学问题——口号是“66 个问题。一个上限。”登记册中的条目包括庞加莱猜想、黎曼猜想、哥德巴赫猜想的形式化验证，以及保罗·埃尔德什（Paul Erdős）的一系列问题。据 NewsBTC 报道，100 万美元的最高奖金授予了 OpenAI 研究团队，针对的是三维纳维–斯托克斯方程的存在性与光滑性问题，其 Lean 形式化由 GPT-6 Astra 完成。奖项材料托管在项目页面上。奖牌上刻着“Quod probatur, solvitur”——“被证明者，即被支付。”

孙宇晨本人对自己的角色描述得很谦逊：“我不是数学家。我只是一个旁观者和捐助者。其余的交给证明。”根据已发布的报道，他的权力仅限于编制问题清单和设定奖金金额——问题一旦被加入登记册就无法删除，资金也无法收回。

机制：证明者、形式化者与“等待形式化”状态

该奖项与传统科学奖项有根本区别：没有年龄限制、提名或年度颁奖典礼。取而代之的是两种获奖角色。

角色	做什么	谁可以担任
证明者（prover）	找到证明	人类、AI，或二者结合
形式化者（formalizer）	将证明翻译成机器可检查的格式	人类、AI，或二者结合

两个角色可以由同一位参与者担任，也可以由不同的人和系统分别担任。奖项没有声明基于国籍或所属机构的限制，也不区分人类与 AI。

对于一种中间情形，规则单独作了说明：如果某个证明已被社区接受，但尚未形式化，该问题会被标记为“已证明，等待形式化”，资金仍处于锁定状态。换言之，仅有公众认可不会触发支付——只有机器验证才会。

为什么用机器验证而不是专家评审

在这一方案中，“仲裁者”的角色交给形式化证明器，并不是因为时髦，而是由于这一工具本身的特性。Lean 4 是一个开源的证明器兼编程语言，已被用于构建和检查大规模证明；其丰富的数学库既便于进行数学推理，也便于分析包含复杂计算的 DeFi 合约。据报道，获奖证明正是用 Lean 形式化的。

第二个原因是借助 AI 找到的证明数量急剧增长。当解答的作者是一个模型时，正确性的保证就变成了经机器检查的形式化，而不是一段连贯的自然语言文本。埃尔德什问题的统计数据说明了问题的规模：据 DeepMind 称，在被标记为正确或错误的 200 个候选解答中，只有 6.5% 被证明是“实质上正确”的。对于自动支付的奖项而言，这是关键的论据：如果没有不含 sorry 的机器检查证明，任何评审都会沦为无休止的专家争论——以及关于该向谁付款的争吵。

问题的另一面是标准的可达成性。在同样的测试中，一个商用 Lean 智能体经过数十小时的工作，仍未能形式化两篇论文，而一个专门的框架则在没有 sorry 的情况下覆盖了全部七个目标定理。也就是说，形式化的门槛很高，有些问题可能会长期停留在“等待形式化”状态。

以 USDT TRC-20 进行链上支付：如何运作

从技术上讲，在 TRON 上以 USDT 支付奖金并不是“单纯的转账”，而是对代币智能合约的一次调用。TRON 网络上的 USDT 按 TRC-20 标准发行，确保与 TRON 上的协议和 dApp 兼容；其合约地址为 TR7NHqjeKQxGTCi8q8ZY4pL8otSzgjLj6t。所有 TRC 代币至少使用 6 位小数（TRX、USDT 和 USDC 使用 6 位，USDD 使用 18 位），这在浏览器中核对金额时很重要。

以下是决定任何奖金方案设计的几个实用网络参数：

• 出块时间约 3 秒，由 27 个超级代表维护共识。交易发送后，支付几乎立即被记录。
• Energy 是必需的。 每个已激活账户每天获得 600 免费 Bandwidth，但合约调用没有免费 Energy——USDT 转账需要 Energy 或燃烧 TRX。
• fee_limit。 目前一单位 Energy 的价格为 100 sun（0.0001 TRX），1 TRX = 10⁶ sun；主网上 fee_limit 的最大值为 15,000 TRX。
• 新地址。 激活一个新账户，在通常的 Bandwidth 费用之外，还需固定的 1 TRX；如果 Bandwidth 不足，还会额外燃烧 0.1 TRX。

在这里有必要把营销和技术区分开：TRON 的宣传页面谈论的是“零手续费”的 USDT 转账，意思是转账不收取按比例计算的费用，而技术文档描述的则是资源模型——合约调用会消耗 Energy 和 Bandwidth。严格来说这并非文档错误，而是对同一过程的两种描述层次。对奖金接收者而言，这归结为一条简单规则：在接收 USDT 的地址上保留少量 TRX（或能使用资源支付机制）会有帮助——否则你将无法转移这些资金。

用公开钱包代替承诺

“链上”做法的主要实质价值不在于速度，而在于可验证性。奖金池已提前转入链上，地址已公开，任何人都可以查询余额。这就把关于奖金池的说法从新闻稿变成了可观察的事实，并把所宣称的支付不可撤销、问题无法从登记册中删除，变成了对创始人自身权力的一种约束。

这不是第一个针对证明的链上悬赏

直接从区块链支付定理奖金的想法早已有之。在 Proofgold 项目中，用户可以为猜想发布悬赏：截至 2025 年初，已发布了超过 13,000 个悬赏，其中近 3,000 个已被领取——或是因为证明了某个猜想，或是因为反驳了它。该项目还使用承诺–揭示（commit-and-reveal）方案来保护署名权，因此在链上发布一份文档大约需要一天，区块大约每小时出一个。

这一对比很有启发性：出块约 3 秒的 TRON 几乎能即时记录一笔支付，但在证明公开之前如何保护署名权，靠的并不是网络本身的特性，而是奖项规则和在 GitHub 上发布材料。

风险与用户应当核查的事项

任何备受瞩目的“USDT 奖金”都是诈骗者显而易见的诱饵，这不是假设，而是标准剧本。TRON 的文档特别建议在 TRONSCAN 中核实代币的合约地址，并警告要提防名称相似的仿冒代币，例如 TRX2 或 USDT-V2，它们几乎都是骗局。向地址发送的不请自来的空投通常是诱饵，而那些提议用签名“验证你的钱包”的网站，往往会请求对 TRC-20 无限额度的授权（approve）。

实质上值得核查的事项：

1. 公告的一手来源——孙宇晨和 TRON DAO 的官方渠道，而不是二手转述。
2. TRONSCAN 上的奖金池地址和支付交易，包括金额是否与公布的一致。
3. USDT TRC-20 合约地址——代币符号“正确”但合约不同的代币，与 Tether 毫无关系。
4. 代码仓库中的问题陈述和验收标准：哪种证明器和哪个库被视为可接受，sorry 的禁用规定，以及确定署名权的程序。
5. 在有争议的情形下由谁担任仲裁者，以及该基金设在哪个司法辖区。

结论

孙宇晨奖有趣之处不在于奖金池的规模，而在于程序的转变：取代阅读文本并投票的委员会，是检查形式化的验证器，以及执行支付的区块链。证明者与形式化者这两个角色，承认了证明可能由 AI 找到这一现实，而所宣称的登记册不可撤销，则约束了创始人自己。与此同时，该方案也继承了所有随之而来的局限：很高的形式化门槛、对问题陈述质量的依赖，以及高知名度品牌容易遭遇钓鱼攻击。可验证性在这里是一把双刃剑——事实应当通过浏览器和一手来源来确认，而不是依靠新闻标题。

本文仅供参考，不构成投资建议。