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