孙宇晨设立了一个同名数学奖项——孙宇晨奖，单题最高奖金为100万美元，解题者可得70%，形式化验证者得30%。该奖项的运作方式强调简单与效率，题目公开后锁定，不设提名，完成规则要求并通过验证即可获得奖金。此外，30%的奖金分配给形式化验证，旨在激励将数学证明转化为机器可验证的形式。
孙宇晨设立了一个同名数学奖项——孙宇晨奖，单题最高奖金为100万美元，解题者可得70%，形式化验证者得30%。该奖项的运作方式强调简单与效率，题目公开后锁定，不设提名，完成规则要求并通过验证即可获得奖金。此外，30%的奖金分配给形式化验证，旨在激励将数学证明转化为机器可验证的形式。
京ICP备12034567号 | 增值电信业务经营许可证 | 京公安网备11010502030123号 | 广播电视节目制作经营许可证（京）字第05268号
Copyright © 2010-2016 亚洲财经网 All Rights Reserved 市场有风险 投资需谨慎
地址：北京市朝阳区光华里8号中海广场中楼30层 邮编：100020
