#automaticdeduction — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #automaticdeduction, aggregated by home.social.
-
“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>
-
“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>
-
“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>