Opus 4.6 solved one of Donald Knuth's conjectures [pdf] | Heykuki News