孙宇晨设立数学奖：顶峰级问题奖金100万美元，机器验证后链上支付
孙宇晨设立数学奖：顶峰级问题奖金100万美元，机器验证后链上支付
孙宇晨近日宣布设立“孙宇晨奖”（The Justin Sun Prize），将数学问题求解与形式化证明纳入同一奖励体系。根据奖项官网信息，黎曼猜想、P vs NP等“顶峰级问题”的奖金为每题100万美元，其他挑战则由孙宇晨按题目单独定价并上链锁定。
与传统科学奖项按年度或固定周期评选不同，孙宇晨奖以具体数学问题为奖励对象，不设置年龄、国籍或机构限制，人类、AI以及人机协作成果均可参与。奖金发放的核心条件是：证明必须完成形式化，并通过机器从头到尾核验。
同时奖励解题者与形式化者
该奖为每道题设置两类署名：一类是提出有效证明的“证明者”，另一类是将证明转换为机器可检查形式的“形式化者”。两种角色可以由同一人承担，也可以由不同团队分别完成。
对于奖项上架后才得到解决的问题，证明者和形式化者均可按对应规则获得奖励；对于上架前已经解决的问题，原证明者仍会被记录，但奖金主要面向完成机器形式化验证的贡献者。
在正式通过机器核验前，如果某项证明已经获得数学界认可，奖项将先记录证明者信息，并把状态标记为“已证明，待形式化”。这也意味着，已有重要定理的形式化工作将成为公开、可领取奖励的任务。
顶峰级问题每题100万美元
官方“Pinnacle Problems”页面目前列出7项顶峰级问题，包括：
- 黎曼猜想
- P vs NP问题
- Birch–Swinnerton-Dyer猜想
- 霍奇猜想
- 三维 Navier–Stokes 方程的存在性与光滑性
- 杨–米尔斯存在性与质量间隙
- 庞加莱猜想
官网明确显示，顶峰级问题的奖金标准为100万美元。其他数学挑战没有统一价码，将根据具体问题分别确定并公开。
孙宇晨：财富从数学而来，也应回到数学
孙宇晨在介绍设奖初衷时表示，区块链行业建立在椭圆曲线密码学、哈希函数和大数分解等长期数学研究之上，而早期研究者并未直接分享到后来形成的巨大产业价值。他希望通过这一奖项，把来自数学基础设施的财富重新投入数学研究。
他同时表示，未来个人公益投入的重点将转向该奖项，目前奖励范围只关注数学。题目是否进入清单以及奖金定价由其决定，但题目一旦公开上架，原则上只增不减，已锁定奖金也不会撤回。
奖金与证明记录将公开
按照公布的机制，每份获奖证明及其形式化材料都将公开，供外界独立检查。孙宇晨称，首期奖池已存入区块链地址，后续奖金发放也将保留公开、不可更改的链上记录。
目前，孙宇晨奖官网展示的问题库共有1,022道数学问题。参与者可通过官方GitHub提交问题建议、候选成果及验证材料。
官方渠道：
- 官网：hejustinsun.com/prize
- X：@JustinSunPrize
- GitHub：TheJustinSunPrize
创建: 2026-09-16 更新: 2026-09-16
关联文章推荐
- OpenAI 发布 GPT-5.5-Cyber 预览版，聚焦网络安全领域
- Amazon员工热议刷Token风潮：AI工具指标的背后故事
- 牛津博士后发布Violin：开源端到端视频翻译与问答工具，革新内容创作！
- 全球第二！千问3.7编程能力再创新高
- 星巴克叫停AI库存盘点：替代人力的理想真的破灭了吗？
- 黄仁勋谈AI与裁员：甩锅给人工智能是“懒惰且不负责”
- 孙宇晨设立数学奖：顶峰级问题奖金100万美元，机器验证后链上支付
- 美国联邦公报搜索页出现Qwen3 0.6B：小模型进入政府法规检索场景
- Gemini 4 Pro疑似现身竞技场：跑分传闻、实测亮点与理性判断
- 智谱Co-work一个月获超10亿元行业订单：AI工作流商业化提速，但订单不等于收入
- OpenAI预计五年烧掉2780亿美元：8400亿美元收入为何仍盖不住算力账单？
- Jev全面开放：每百万输入Token 0.042美元，“只做判断”的System One模型能改变Agent架构吗？
- Meta Muse登顶美国App Store：云端电脑式个人Agent，会改写超级App入口吗？
- OpenAI神秘助理“o”要来了？DevDay前夕，可信消息只有这些
- Anthropic招股书披露2025年亏损420亿美元：340亿是会计费用，算力支出73.3亿
- 美光2026财年净利润849.69亿美元：AI存储需求推高毛利率至80.7%
消息提醒
登录后才能发布评论哦
立即登录/注册