“In a recent experiment by Donald Knuth, an LLM helped explore solutions for the Hamiltonian cycles problem, but Knuth himself was required to synthesize the final proof.”