孙宇晨奖

ChainCatcher 消息，据孙宇晨奖官方消息，该奖首批获奖人已于 9 月 19 日正式进入 14 天公示。目前公示题目为题库第 305、371、381、526、866、1001 号，其中 305、371、381 号问题的候选人为形式化验证者，866、1001 号候选人为数学解题者，526 号则两种角色皆有。公示信息已在官方 GitHub 候选登记表公开，公众可提出正式挑战。据悉，孙宇晨奖为全球首个基于题目清单的零信任去中心化学术悬赏机制，最高单题奖金 100 万美元。设立当日已公布首批 66 个数学问题，最高奖 100 万美元授予 OpenAI 研究团队，以表彰其针对“三维纳维–斯托克斯方程的存在性与光滑性问题”给出的解决成果及形式化证明。同时，奖项运营方还公布了奖池链上地址，已存入 1000 万美元。公示期结束后奖金将以 USDT（TRC20）或 USDC（ERC20）进行发放，获奖人也将获得证书和奖牌。

ChainCatcher 消息，波场 TRON 创始人孙宇晨宣布正式设立“孙宇晨奖”，并公布了首批获奖名单。这是全球首个基于“题目清单”的零信任、去中心化学术悬赏机制，以基础学科重大突破与机器形式化验证为唯一发奖标准，最高单题奖金达 100 万美元。 孙宇晨表示，该奖项旨在开启以机器验证为核心、人机协同为动力、去中心化悬赏为机制的新科学激励范式，致力于打造 AI 时代的诺贝尔奖。 最高奖 100 万美元授予了 OpenAI 研究团队，表彰其完成“三维纳维–斯托克斯方程（N-S 方程）存在性与光滑性问题”的解决成果及形式化证明。其他获奖成果包括森多夫猜想、埃尔德什互异子集和问题等，共涉及 66 个数学问题。 据悉，“孙宇晨奖”面向所有贡献者，无身份限制，人类与 AI 皆可获奖，但只会授予清单题目的首个完成者。问题清单与证明材料通过 GitHub 公开，奖金上链存证。奖项覆盖自 2026 年 1 月1 日起取得的数学进展，此前已解但之后完成形式化验证的，形式化者可获奖。

ChainCatcher 消息，波场 TRON 创始人孙宇晨发文宣布设立“孙宇晨奖”，目前只关注数学。他称该奖跟随题目而非个人，不等年会、提名或年龄限制；每道题分两栏署名，一栏记证明者，一栏记将证明形式化并写入机器的人，两者可为同一人，亦可为人、AI 或人使用 AI。奖金触发条件为机器将证明从第一行核验至最后一行且无差错，核验通过后两栏名单即为该题奖金所有者。 规则还包括：机器核验前，若数学界已接受人类证明，可先挂名，奖金不动，状态为“已证明，待形式化”。证明栏奖金只付给题目上架之后才被解决的题；上架时已解决的题目，证明者仍记名，奖金只付给完成形式化的人，不为数学史补发奖金。题单由孙宇晨签字决定上架题目与定价，一旦挂出则只加不减、钱只兑不退，写错的题照付后再重挂；定价之外，验证、发钱、挂名其本人不参与投票。 孙宇晨表示，公益重心将转向该奖，首期奖池已打入区块链，地址与余额公开，其仅保留继续注资的权利；获奖证明与奖金发放均将公开上链。他称用人名命名是为避免机构更迭带来的改名，并称财富来源于数学，希望“从数学来，回到数学去”。