四色定理迎来罕见新证明,Quanta 深度报道
pavel_lishin · hn · 2026-09-10
Quanta Magazine 报道，著名的四色定理（任何平面地图只需四种颜色即可让相邻区域颜色不同）获得了一个罕见的新证明。该定理 1976 年由 Appel 与 Haken 借助计算机首次证明，因依赖机器穷举而长期存在争议。新证明再次刷新了数学界对这一「计算机辅助证明标志性案例」的理解。详情见 Quanta 原文。
「研究」频道最新
- 深度学习名课教授推出机制可解释性新讲座,今冬上线 — CSProfKGD · 2026-10-26
- 多语言基准 INCLUDE-2.0 发布:覆盖 91 种语言 86 国地方考题 — ABosselut · 2026-10-26
- CoRL 论文：flow matching VLA 单步 Euler 推理即可匹配多步效果 — kaixhin · 2026-10-26
- EMNLP 2026 海报:CoVer 让模型同时学会写代码与自验证 — algo_diver · 2026-10-26
- 机器人灵巧性评测该比什么：速度、力控与工具使用缺一不可 — DJiafei · 2026-10-26
- PyTorch backward 可运行图灵完备恶意代码：浮点精度漏洞被实锤 — retr0jirachi · 2026-10-26