孙宇晨设立“孙宇晨奖”，首个百万美元大奖授予 OpenAI 团队

孙宇晨办公室于 2026 年 9 月 16 日宣布设立“孙宇晨奖”。该奖项基于“问题清单”机制，旨在奖励基础学科突破及机器形式化验证，单项奖金最高达 100 万美元。首批获奖名单中，OpenAI 研究团队凭借对三维纳维-斯托克斯方程（Navier–Stokes equations）存在性与光滑性问题的求解及形式化证明，获得 100 万美元大奖。该证明由 OpenAI 内部模型生成，并由 GPT-6 Astra 完成形式化验证。