📄 中文摘要
Knuth 的“Claude Cycles”问题涉及复杂的数学结构和算法，近年来，结合人类智慧与人工智能的研究取得了显著进展。通过引入证明助手，研究者们能够更高效地分析和解决这一问题。该研究展示了如何利用 AI 技术辅助人类在数学证明中的推理过程，提升了问题解决的准确性和效率。同时，研究还探讨了人机协作在数学研究中的潜力，强调了 AI 在处理复杂问题时的辅助作用。未来的工作将继续深化这一领域的探索，推动人类与 AI 的协同发展。
进一步的人类 + AI + 证明助手在 Knuth 的“Claude Cycles”问题上的研究
📄 English Summary
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
The 'Claude Cycles' problem posed by Knuth involves complex mathematical structures and algorithms, and recent advancements have been made by integrating human intelligence with artificial intelligence. The introduction of proof assistants has enabled researchers to analyze and solve this problem more efficiently. This research demonstrates how AI technology can assist human reasoning in mathematical proofs, enhancing both accuracy and efficiency in problem-solving. Additionally, it explores the potential of human-AI collaboration in mathematical research, highlighting the supportive role of AI in tackling complex issues. Future work will continue to delve into this area, promoting the collaborative development of humans and AI.