孙宇晨设立「孙宇晨奖」 ：我的财富从数学中来，将回到数学中去

[TRX] 孙宇晨同时公布了首批"孙宇晨奖"获奖名单，表彰涉及 66 个数学问题的解决成果及形式化证明。其中，最高奖授予 OpenAI 研究团队，奖金为 100 万美元，以表彰其针对"三维纳维–斯托克斯方程的存在性与光滑性问题"给出的解决成果及形式化证明。若问题在该日期前已解但形式化验证在之后完成，则形式化者可