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. Donald E. #Knuth — The Grapholinguistic Model of #TeX (interview) 2024-10-24 — “All Questions Answered”
    youtube.com/watch?v=TVSuM84SS3

    Q: "What will you do if you receive a bugreport coming from an AI? Will you pay the hexadecimal dollar and to whom?" at mark 55:20

    #DonKnuth #TeXLaTeX #AI

  10. Donald E. #Knuth — The Grapholinguistic Model of #TeX (interview) 2024-10-24 — “All Questions Answered”
    youtube.com/watch?v=TVSuM84SS3

    "If some illness hits me, I am not gonna be angry about it. I will be thankful for all the good health I had. And while I stay healthy. I am gonna do my best to continue producing more of TAOCP […]" at mark 53:30

    #DonKnuth #TeXLaTeX

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

  12. Donald E. Knuth had some fun with #ChatGPT and yes, he was impressed:
    www-cs-faculty.stanford.edu/~k (he linked the file from his website today) #donknuth #computerscience