一个困扰高德纳数周的开放性问题,被ClaudeOpus4.6在一小时内解决。

蚁工厂 2026-03-04 12:47:32

一个困扰高德纳数周的开放性问题,被Claude Opus 4.6在一小时内解决。cs.stanford.edu/~knuth/papers/claude-cycles.pdf

高德纳在研究《计算机程序设计艺术》时遇到一个关于三维网格哈密顿圈分解的数学难题,苦思数周仅解决了个别小案例;他的朋友将问题提交给AI模型Claude Opus 4.6后,该AI在一小时内通过31次系统探索发现了适用于所有奇数规模网格的通用解法,并经高德纳严格证明正确。当然AI也没有完全解决,对偶数规模网格仍无解。HOW I AI

0 阅读:2
蚁工厂

蚁工厂

感谢大家的关注