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

计算机辅助证明

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

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

晓查 2021-02-07

计算机辅助证明

加载更多

热门文章

这届AI创业：不敲一行代码，营收突破百万级

苹果Mac用户狂喜！ChatGPT深度集成应用，最后再藏AGI彩蛋

AI已经在直播间狂刷KPI了

o3来了！编程能力跻身人类全球前200，破解陶哲轩说难的数学测试，北大校友任泓宇现身直播间

AI风暴席卷达摩院青橙奖，六成获奖者用AI搞科研，平均年龄34岁