Computer science legend Donald Knuth publishes paper where Claude Opus solved an open graph theory problem he'd been working on.