Post #1725143
2026-03-30 21:18 UTC
@Kadin2048 he's not using llms. Someone used claude to solve a problem posed by Knuth in volume 4. Knuth was impressed by the result.
Replies (1)
-
@Kadin2048@mefi.social 2026-03-30 21:39
@alexmu Yes, Stappers ran and steered the model, but it was Knuth's problem and he validated it. But I think the interest has mostly come from his statement in the opening para ("It seems that I’ll have to revise my opinions [...]"). At least at one point, Knuth's platform of choice was reportedly the VAX-11/750, and honestly I hope that's still the case.