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

计算机辅助证明

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

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

晓查 2021-02-07

计算机辅助证明

加载更多

热门文章

ChatGPT新玩法火了：一句话画出你的真实生活，大神Karpathy玩上了

o1/Claude集体翻车！陶哲轩等60+顶尖数学家合力提出新数学基准

字节豆包通用图像编辑模型SeedEdit开启测试用户可一句话轻松改图

董宇辉：我已经失去了所有快乐的前提

小度为何押注AI眼镜？