孙宇晨数学奖设1022题悬赏形式化证明

孙宇晨新设数学奖挂出1022道题库，采用GitHub PR流程，将奖金直接绑定题目而非个人，每道题分设证明者与形式化者两栏公开署名，人、AI或人机协作均可提交，需机器全程核验通过才触发资金。