孙宇晨悬赏高达100万美元，奖励通过机器验证的……_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

孙宇晨悬赏高达100万美元，奖励通过机器验证的……

2026-09-17 01:35:15

Justin Sun 奖是如何运作的？

TRON 创始人孙宇晨发起了一项数学奖项，为解决选定问题并提供机器可验证证明的研究者提供高达 100 万美元的奖励，OpenAI 获得了首届最高奖项。该奖项围绕一份公开维护的数学问题列表建立，而非基于学术提名、机构隶属关系或固定的颁奖周期。研究人员可以通过解决列出的问题并满足项目的形式化验证要求来参与。第一轮评选涉及 66 个数学问题，OpenAI 因其最近宣布的关于三维纳维-斯托克斯存在性与光滑性问题的研究成果而获得 100 万美元的最高奖金。无论国籍或学术地位如何，任何人都可以参与，该项目不区分由人类还是人工智能系统产生的数学工作。成功的提交必须通过机器验证才能完成颁奖。提交内容、候选记录、验证材料和获奖信息旨在通过该奖项的 GitHub 组织进行维护，从而形成对每项数学成果评估过程的公开记录。

为什么 OpenAI 赢得了首个 100 万美元大奖？

OpenAI 于 9 月 8 日宣布，其内部人工智能系统生成了解决方案，表明纳维-斯托克斯动力学可以在有限时间内产生奇点。该公司表示，这一数学结果是由一个比 GPT-6 Astra 更强大的内部模型生成的，随后 Astra 通过 Lean 定理证明器用于形式化和验证过程。纳维-斯托克斯方程描述流体运动，是物理学和工程学的基础。三维方程的光滑解是否始终保持光滑的问题，一直是数学界最受关注的未解难题之一。克雷数学研究所将纳维-斯托克斯方程列为 2000 年设立的七大“千禧年大奖难题”之一，每个难题单独附带 100 万美元的奖金。该研究所尚未为新成果颁发其千禧年大奖。该研究所于 9 月 10 日表示，该问题“显然已得到解决”，同时强调其评估结果和归属权的标准流程将继续进行。Justin Sun 奖独立运作，使其能够在等待克雷数学研究所评审流程结束之前，认可 OpenAI 的工作成果。

投资者启示

该奖项将数字资产中两个核心主题联系起来：人工智能生成的研究和基于区块链的结算。通过将机器可验证证明与链上奖金支付相结合，孙宇晨正在将加密货币基础设施应用于科学奖励体系，而非金融衍生品。

为什么机器验证至关重要？

该奖项将形式化验证置于其模式的核心位置。 qualifying work 不再仅依赖同行评审或专家判断，而是必须转换为数学软件可以检查的格式。随着人工智能系统生成的证明可能过于复杂或数量庞大，传统评审流程难以快速处理，这一要求变得越来越重要。Lean 等形式定理证明器可以检查单个逻辑步骤是否从既定假设中推导出来，在发放奖金之前提供另一层验证。发布的题目列表包括与黎曼猜想、哥德巴赫猜想和庞加莱猜想相关的挑战，以及与数学家保罗·埃尔德什相关的问题。一旦某个问题被列入，孙宇晨办公室表示该问题不能被后续移除。因此，该结构类似于一个常设的数学悬赏系统，明确定义的问题保持开放状态，直到符合条件的成果满足所需的验证标准。

加密货币在该奖项中扮演什么角色？

支付机制使该项目直接进入孙宇晨的区块链生态系统。获胜者可以根据偏好选择在 TRON 区块链上以 USDT 或以太坊上的 USDC 接收奖金，而支付记录旨在在链上保持公开可见。获奖者还将收到一枚刻有拉丁语短语 “Quod probatur, solvitur” 的证书和奖章，组织者将其翻译为 “Proved, then paid”（证毕即付）。孙宇晨表示：“更重要的是，它给了我一个自我答案——我的财富植根于数学。”“它来自数学，并将回归数学。”此次推出的时机正值人工智能系统超越辅助研究者进行计算和文献搜索，转而自行生成和正式验证高级数学论证的阶段。这为科研机构提出了一个新问题：当人工智能系统产生基础证明、另一个模型对其进行形式化、人类研究者监督整个过程时，发现应如何署名？Justin Sun 奖采取了一种直接的方法。它关注的是列出的问题是否已被解决并经过形式化验证，而不是证明源自人类还是人工智能系统。如果这种模式获得青睐，数学奖项可能会成为机器验证和区块链结算从实验工具转变为制度基础设施的另一个领域。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文