home.social

#donknuth — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #donknuth, aggregated by home.social.

  1. Two #AI-related events over the past week — the #Chardet licensing controversy and legendary computer scientist #DonKnuth's shock over AI helping discover a theorem for a problem he'd not yet solved — demand a reckoning: precisely how creative is AI? reviews.ofb.biz/sa1401

    #Creativity #Licensing #OpenSource #Python #DonaldKnuth #TAOCP #Claude

  2. “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 <www-cs-faculty.stanford.edu/~k>

  3. “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 <www-cs-faculty.stanford.edu/~k>

  4. “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 <www-cs-faculty.stanford.edu/~k>

  5. “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 <www-cs-faculty.stanford.edu/~k>

  6. “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 <www-cs-faculty.stanford.edu/~k>

  7. Happy birthday, Don Knuth! Great to see you rocking on at the age of 88! #donknuth #dek #computerScience

    "My Japanese friends tell me that my birthday this year will be the best. My Brazilian friends tell me that I should celebrate that occasion with tapioca pancakes. (AI can explain this.)"

    "(If you're depressed by current world news, you might find some solace by immersing yourself in a bit of research into eternally beautiful patterns.)"

    → quotes of his website
    www-cs-faculty.stanford.edu/~k

  8. Dear Donald Knuth!
    Happy 87th birthday. Please keep your perseverance to work on #TAOCP and stay healthy!
    A fan.
    #knuth #donknuth #dek

  9. Today is Don Knuth's 86th birthday. Happy birthday and I wish him health and comfort to finish his #TAOCP series!
    #donknuth #DEK #CS