If anything, this shows that by shoving all the knowledge we have currently in a blender, that we've actually solved a LOT more than we think. This LLM prompt

If anything, this shows that by shoving all the knowledge we have currently in a blender, that we've actually solved a LOT more than we think. This LLM prompt didnt create *new* proofs. It used existing human knowledge from other areas that arent well shared, and connected associations to the problem at hand. It was already mostly solved. The LLM just basically did the usual pattern matching of jigsaw pieces and connected the 2 domains together. We see that with "The LLM took an entirely different route, using a formula that was well known in related parts of math, but which no one had thought to apply to this type of question." in the article. There's still a TON of stuff that can be done to connect domains together. And that alone is amazingly powerful. But humans are still doing the creative work at the edges. These stochastic word-calculus machines are not yet able to generate new thought, or process absolutely current research. It'll probably get there... but we'll likely need thinking machines. Thats also the hell scenario too.