四色定理迎来罕见新证明,Quanta 深度报道
pavel_lishin · hn · 2026-09-10
Quanta Magazine 报道，著名的四色定理（任何平面地图只需四种颜色即可让相邻区域颜色不同）获得了一个罕见的新证明。该定理 1976 年由 Appel 与 Haken 借助计算机首次证明，因依赖机器穷举而长期存在争议。新证明再次刷新了数学界对这一「计算机辅助证明标志性案例」的理解。详情见 Quanta 原文。
「研究」频道最新
- CAROT 用最优传输做词级跨语言对齐,多语言任务精度最高提升 11.2 点 — Bollegala · 2026-09-11
- 让果蝇「写字」:神经信号驱动前腿生成手写字体 — dejavucoder · 2026-09-11
- 斯托克斯定理在 Lean 4 中完成形式化,含 d²=0 证明 — basedjensen · 2026-09-11
- Reddit 网友发问：为何没有面向 Agent 运行时而非模型的基准测试？ — Balance- · 2026-09-11
- 西班牙开发者将 PISA 数据预处理成 AI Agent 可直接分析的开源数据集 — pelayoarbues · 2026-09-11
- 小鹏开源X-AuT:渐进式剪枝压缩语音LLM音频编码器 — XPENG-AI · 2026-09-11