Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (twitter.com) AI

A post describes new human-and-AI efforts using a proof-assistant approach to advance work on Knuth’s “Claude Cycles” problem.