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

(www-cs-faculty.stanford.edu)

14 points | by peterjliu 3 days ago ago