Legendary Don Knuth has now used AI to fully solve his Hamiltonian decomposition problem for odd and even cases. Opus 4.6 / 5.4 Pro solved the even case, wrote a proof in Lean and a “apparently flawless 14 page paper” Knuth: “We are living in very interesting times indeed.”

→ View original post on X — @debashis_dutta, 2026-03-29 15:00 UTC