Comment by madcaptenor

Indeed he seems to be excited about it now, after Claude Opus 4.6 solved a problem he'd been working on: https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cyc...

note "now" is April 2026