或有新进展:多年工作产出更易读的四色定理新证明
nanjiang_cs · x · 2026-09-12
nanjiangcs 补充：似乎昨天刚看到一篇文章，提到经多年工作产出了一个（可能更人类可读的？）四色定理新证明，但未能立即找到原文链接。若属实，这将对「机器证明必须不可读」的先例认知构成更新。
「研究」频道最新
- 克雷数学研究所宣布 Navier-Stokes 问题「似已获解」 — badumtsssst · 2026-09-12
- Decagon 实战复盘:用 GEPA 优化生产级提示词的 19 组消融实验 — kastnerkyle · 2026-09-12
- GraphED 用图结构共享跨材料规律，聚焦方程发现中不变部分 — bravo_abad · 2026-09-12
- 用 OpenEnv 把 GeoGuessr 变成 RL 环境,训出会地理定位的 4B VLM — SergioPaniego · 2026-09-12
- ECCV 博士联盟展示生成式重摄影:从运动模糊图重建过去与未来帧 — CSProfKGD · 2026-09-12
- IEEE Spectrum 长文回顾模糊逻辑创始人 Lotfi Zadeh 的一生 — ArtificialOther · 2026-09-12