Justin Sun 设立 Justin Sun Prize:“我的财富来自数学,也将回馈数学”
瑞士日内瓦 — 2026 年 9 月 16 日 — Justin Sun 办公室今日宣布设立 Justin Sun Prize,这是一种基于“问题清单”的零信任、去中心化学术赏金机制,以基础学科突破和机器形式化验证作为评奖标准,单一问题的最高奖金可达 100 万美元。该奖项旨在重新定义 AI 时代的科学奖励,并通过人类与 AI 协作加速基础科学研究。Justin Sun Prize 首批获奖名单也公布,表彰涉及 66 道数学问题的解决方案与形式化证明。价值 100 万美元的最高奖授予 OpenAI 研究团队,以表彰其针对“三维 Navier–Stokes 方程存在性与光滑性”问题提出的解决方案与形式化证明。根据 OpenAI 发布的信息,相关证明由其内部模型生成,Lean 形式化与验证由 GPT‑6 Astra 完成。该问题涉及 Navier–Stokes 方程,用于描述流体运动,通常简称为 N–S 方程。该方程由法国物理学家 Claude-Louis Navier、爱尔兰裔英国数学家 George Gabriel Stokes 等人于 19 世纪发展而来,已有约 200 年历史。2000 年,克雷数学研究所将 Navier–Stokes 方程存在性与光滑性问题列为七大千禧年大奖难题之一,并为解决该问题提供 100 万美元奖金。Justin Sun Prize 不以传统提名或资历门槛作为准入障碍,也不按四年一届或终身成就的节奏运作。相反,它将奖项直接与数学问题和可机器验证的形式化证明挂钩。只要率先实现符合资格的突破,任何人都可获得该奖项