Opus 4.6 solved one of Donald Knuth's conjectures [pdf]www-cs-faculty.stanford.edu15 pointspeterjliu4 months ago