Post #1725142

But if you want *my* hot take: anyone who reads that paper is going to be lost without a pretty strong background in modern math, at least a solid undergraduate level. The part that #Claude did seems pretty mechanistic; it literally tries a brute-force approach, but all of its attempts in general could be considered a sort of brute force, something that I'm confident Stappers or Knuth could have done by hand if they wanted… it just does them faster. More importantly, though, is that it takes someone of Stappers' or Knuth's caliber to recognize that the solution is, in fact, valid and generalizable. Although the model does stop for one partial solution, there was a significant amount of steering getting it to that point. Also, being able to ask the question in a rigorous way, or realize that it's even interesting, is itself a creative act that the machine can't do. I think there's an analogy here to compilers and compiled languages.