发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
“什么是数学证明？四色猜想的证明为何震动了整个数学界？” 的更多相关文章
一个绘图员的伟大数学猜想，用计算机证明的重大问题——四色定理
走进无限美妙的数学世界
“四色定理”有没有解？
解构与复原：望月新一与他的证明
十大著名“世界级”数学难题
数学难题3＋7＋23＋1＋1
金观涛：人工智能的三种形态 |《真实与虚拟》
054 计算：计算机可以做证明题吗？
地图上至少可以用几种颜色？竟然成了世界难题
新的思维的起点
古典着色问题的新时代算法
数学的不完美之美——阿兰·图灵与图灵机
纯数学陷入了危机？
人工智能进军数学领域，数学家们准备好迎接了吗？
有史以来最大的数学证明：数据多达200TB
黎曼猜想和哥德巴赫猜想齐名，证明后至少有1000条数学定理成立
百年世界难题“四色定理”被于成仁老师用数学方法成功证明
他屡次被外国质疑，为中国多次赢得世界级数学成就，自认为是笨人
数学界难题「abc猜想」宣告解决？望月新一论文终获发表，全球几乎无人能懂
机器学习单挑数学界：最新算法仲裁数列之美（附论文）
20本经典数学书(附点评）
1936年，年仅24岁的数学天才图灵，发表了一篇极为深奥的论文
一道几何题80种证法？！当数学界史上最惨和最难的几何题相遇...
哥德尔的不完备性定理
数学史上那些是是非非的数学猜想，令人着迷，令人狂
费马大定理传奇-09(完结)
哥德尔定理及其哲学义蕴_
希尔伯特23问：指引二十世纪数学发展的最高纲领
