Opus 4.6 solved one of Donald Knuth's conjectures [pdf]
15 points
4 days ago
| 1 comment
| www-cs-faculty.stanford.edu
| HN
svat
4 days ago
[-]
reply