孙宇晨设立数学奖，首期奖池已打入区块链

孙宇晨宣布设立数学奖，聚焦证明与形式化验证。首期奖池上链公开，奖金仅在机器完整核验后发放。

据 Woofun AI 消息，孙宇晨宣布设立以其本人命名的数学奖，并将公益重心转向该领域。他表示财富源于数学及密码学，旨在推动资金回归数学界，重点关注数学证明与形式化验证，借助人工智能背景提升机器验证效率。

该奖项不设年龄限制、提名机制及固定周期，每道题目设"证明者"与"形式化者"两栏。奖金仅在机器从首行到尾行完整核验通过后触发；若题目已解决但未形式化，将保留证明者姓名，待形式化完成后确定归属。首期奖池已打入区块链且地址公开，余额全球可见，孙宇晨仅保留注资权利，所有获奖证明及发放记录均链上公开以供独立验证。