“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 #ReasoningModel that had been released three weeks earlier!

It seems that I’ll have to revise my opinions about “ #GenerativeAI” 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 #AutomaticDeduction and creative problem solving.” — #DonKnuth

#CS / #ComputerScience <https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf>

“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 #ReasoningModel that had been released three weeks earlier!

It seems that I’ll have to revise my opinions about “ #GenerativeAI” 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 #AutomaticDeduction and creative problem solving.” — #DonKnuth

#CS / #ComputerScience <https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf>