"计算机辅助证明"最新资讯 | 量子位

计算机辅助证明

计算机搞定44年几何难题，原来这2个人25年前猜对了

这个6元105项方程，被计算机找到了所有根

晓查 2021-02-07

计算机辅助证明

加载更多

热门文章

陶哲轩在IMO上给AI团队颁奖！他们要做AI数学的ImageNet

给iPhone背面贴个AI录音机，生意老好了

AI视频修复速度10倍提升，过曝变色也能逐帧搞定｜美图国科大新算法

快手可灵团队最新开源项目火了：大叔实时变身少女，GitHub狂揽7.5K星

英特尔CPU疯狂崩溃，测评大佬揭露工艺缺陷，官方回应：修复补丁下月上线