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