快链头条 消息，9 月 16 日，孙宇晨宣布设立以其本人命名的数学奖，未来将把公益重心转向该奖项。他表示，自己的财富根源于数学及密码学，希望通过设立奖项，让资金「从数学来，回到数学去」。该奖项将重点关注数学证明与形式化验证，并以人工智能快速发展的背景为契机，推动数学成果更高效地完成机器验证。

该奖项不设年龄、提名及固定颁奖周期，每道题目设置「证明者」和「形式化者」两栏，分别记录完成数学证明以及将证明正式搬入机器并通过验证的人员。只有当机器从第一行至最后一行完整核验通过后，奖金才会触发发放；已被数学界解决但尚未完成形式化的题目，将保留证明者姓名，待形式化完成后再确定奖金归属。

孙宇晨表示，该奖项首期奖池已经打入区块链，地址公开，余额全世界可见，其本人并仅保留继续向奖池注资的权利。每份获奖证明及奖金发放记录都将公开并保存在链上，以便任何人独立验证。自己并非数学家，能够做的是为数学证明者提供资金支持，「剩下的，交给证明」。