40年图灵机难题被业余玩家攻破,陶哲轩:软件辅助证明改变规则

272次阅读
没有评论

Post Content

Read More 

正文完
可以使用微信扫码关注公众号(ID:xzluomor)
post-qrcode
 
评论(没有评论)
Generated by Feedzy