杨建荣的学习笔记
首页
AI技术
数据库技术
架构与开发
投资
活在当下
社会事件
关于我
我的足迹
说点啥
Tag: 数学
04月07日
国内首次由AI自主解决数学开放问题并完成大规模形式化验证
AI技术
没有评论
AI
,
Anderson猜想
,
北京大学
,
形式化验证
,
数学
