Donald Knuth, who, adorably, effectively blogs by posting TeX-typeset PDFs:
Shock! Shock! I learned yesterday that an open problem I’d been
working on for several weeks had just been solved by Claude Opus
4.6 — Anthropic’s hybrid reasoning model that had been released
three weeks earlier! It seems that I’ll have to revise my opinions
about “generative AI” one of these days. What a joy it is to learn
not only that my conjecture has a nice solution but also to
celebrate this dramatic advance in automatic deduction and
creative problem solving. I’ll try to tell the story briefly in
this note.
