Glyn Moody
Donald #Knuth, the godfather of computer science, says an #AI solved a math problem he was stuck on for weeks - https://boingboing.net/2026/03/03/donald-knuth-the-godfather-of-computer-science-says-an-ai-solved-a-math-problem-he-was-stuck-on-for-weeks.html good use
Donald Knuth, the godfather of computer science, says an AI solved a math problem he was stuck on for weeks

Donald Knuth, 88, published "Claude's Cycles" celebrating an AI that solved a problem he'd been stuck on for weeks.

Boing Boing
Mar 5 at 7:18pmWeb
Show threadKnightmareMar 5
@glynmoody math would be the only thing 'AI' is good at, they are made out of math and lies.
Show threadGlyn MoodyMar 5
@LanceJZ often it's quite bad, but knuth obviously made it work
Show threadKnightmareMar 6
@glynmoody bad at it, really? I thought they had special LLMs for math, just like they have special code, and science ones. Are they using the right type when it is bad?
Show threadGlyn MoodyMar 6
@LanceJZ yes, the specialist ones are good, but the general ones have been famously awful - unable to add two numbers together...