星球日报讯 据孙宇晨奖官方消息，该奖首批获奖人已于 9 月 19 日正式进入 14 天公示。目前公示题目为题库第 305、371、381、526、866、1001 号，其中 305、371、381 号问题的候选人为形式化验证者，866、1001 号候选人为数学解题者，526 号则两种角色皆有。公示信息已在官方 GitHub 候选登记表公开，公众可提出正式挑战
星球日报讯 据孙宇晨奖官方消息，该奖首批获奖人已于 9 月 19 日正式进入 14 天公示。目前公示题目为题库第 305、371、381、526、866、1001 号，其中 305、371、381 号问题的候选人为形式化验证者，866、1001 号候选人为数学解题者，526 号则两种角色皆有。公示信息已在官方 GitHub 候选登记表公开，公众可提出正式挑战