发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
“054 计算：计算机可以做证明题吗？” 的更多相关文章
听说数学好的人都有问题？
你可能永远无法想象，一个三维数学问题远比其他任意维问题复杂
地图上至少可以用几种颜色？竟然成了世界难题
近代三大数学猜想，有数学家为了其中一个出价数十万！
走进无限美妙的数学世界
古典着色问题的新时代算法
轰动全球的四色问题
百年世界难题“四色定理”被于成仁老师用数学方法成功证明
每周"数"题+ 数学感悟 |2020.3.25
“四色定理”有没有解？
不动点原理—几个直观的例子
如梦令·四色定理
数学之恋
小乐数学科普：格雷沙姆讲座系列之《含有图片的数学》——约翰·巴罗
一个绘图员的伟大数学猜想，用计算机证明的重大问题——四色定理
金观涛：人工智能的三种形态 |《真实与虚拟》
新的思维的起点
智库原创｜“四色问题”难倒了无数英雄好汉
四色问题
“四色定理”简捷证明(完整版)
计算机正在改变数学 | 日志 | 果壳网 科技有意思
地图着色的四色猜想问题溯源
世界近代数学的三大难题是什么?
10大不可思议的数学理论（上）
数学史上的奇迹——“五色定理”
学会了费马大定理却用来证明简单的小命题？无聊，但巨爽！
