币界网消息，孙宇晨推出了一项100万美元的数学奖，旨在奖励解决问题者和将证明转化为机器可验证格式的参与者。该奖项将对66个数学问题的解决方案和机器可验证的正式证明进行奖励，其中OpenAI研究人员因在Navier-Stokes问题上的工作而成为首批获奖者。该倡议将数学、人工智能和形式验证结合在一起，允许人类、人工智能系统和人类-人工智能团队在不需要学术资格的情况下进行竞争。