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

Dupe: https://news.ycombinator.com/item?id=47230710