唐纳德·克努斯教授在他的论文开头写道：“震惊！震惊！” 克劳德·奥普斯 4.6 刚刚解决了他几周以来一直在研究的一个开放问题——《计算机程序设计艺术》中的一个图分解猜想。 他将这篇论文命名为《克劳德的循环》。 31 次探索。大约 1 小时。克努斯阅读了输出，写下了正式证明，并总结道：“看来我得在某一天修正我对生成 AI 的看法。” 这位撰写计算机科学圣经的人刚刚说了这句话。在一篇以 AI 命名的论文中。 论文：