热点
"Coq证明助手" 相关文章
40年图灵机难题被业余玩家攻破 数学研究规则被改变
快科技资讯 2024-09-06T06:46:47.000000Z
40 年图灵机难题被业余玩家攻破，陶哲轩评价“软件辅助证明改变数学研究规则”
IT之家 2024-09-06T06:22:46.000000Z