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

计算机辅助证明

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

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

晓查 2021-02-07

计算机辅助证明

加载更多

热门文章

联想创新开放日：2024最全面AI产品组合来了

将偏好学习引入模型训练，北大李戈团队新框架，可显著提升代码准确性与执行效率

无畏契约AI陪练即将上线！新智慧心携英特尔打造，秒get游戏技巧

1行代码改进大模型训练，Llama训练速度升至1.47倍，华人团队出品

刚刚，Kimi开源底层推理框架，1小时GitHub揽星1.2k