国内首次由AI自主解决数学开放问题并完成大规模形式化验证

AI技术 没有评论 AI,Anderson猜想,北京大学,形式化验证,数学