RecodeX 重构消息，孙宇晨设立的奖项将两项已解决并完成形式化验证的数学问题授予Neel Somani，相关成果获得认可。