W www-cs-faculty.stanford.edu Opus 4.6 solved one of Donald Knuth's conjectures [pdf] 15 points peterjliu 8 months ago 1 comments
