In his article titled Claude’s Cycles, Prof. Donald Knuth, at age 88, has carefully documented how Claude Opus 4.6 solved a problem that he has been working on for several weeks.
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.