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