# Don Knuth 使用 AI 完全解决哈密顿分解问题奇偶情况

- 来源：Deedy (@deedydas)
- 发布时间：2026-03-29 23:00
- AIHOT 标记：精选
- AIHOT 链接：https://aihot.virxact.com/items/cmnw1yq8j00qlslc37ej25lup
- 原文链接：https://x.com/deedydas/status/2038269993394356589

## 精选理由

Knuth借助Claude解决数学难题并生成Lean证明，标志AI形式化推理重大突破

## AI 摘要

Don Knuth 借助 AI 完全解决哈密顿分解问题的奇偶情况。Opus 4.6/5.4 Pro 完成偶数情形证明，以 Lean 形式化验证并生成 14 页论文。Knuth 感叹："我们确实生活在非常有趣的时代。"

## 正文

传奇人物高德纳（Don Knuth）现已借助 AI 完全解决了其哈密顿分解问题中的奇数和偶数情形。

Opus 4.6 / 5.4 Pro 解决了偶数情形，并用 Lean 编写了证明，还撰写了一篇“看似无懈可击的 14 页论文”。

高德纳表示：“我们确实生活在一个非常有趣的时代。” https://t.co/erj7guVUEb