重磅消息：Justin Sun推出100万美元数学奖，奖励问题解决者以及将证明转化为机器可验证格式的人 Justin Sun奖将奖励66个数学问题的解决方案和机器可验证的正式证明，首批获奖者包括OpenAI研究人员，他们因在Navier-Stokes问题上的研究而获奖。 这一举措将数学、人工智能和形式验证结合在一起，让人类、AI系统以及人类与AI团队在无需学术资质的情况下进行竞争。