Knuth 看 Claude Opus 4.6 解題的後續

先前在「Knuth 看 Claude Opus 4.6 解題」這邊有提到 Knuth 對 Claude Opus 4.6 解題的一些看法,後來在「Further human + AI + proof assistant work on Knuth's Claude Cycles problem (twitter.

Gea-Suan Lin's BLOG