Surely this implies these LLM generated proofs require the LLMs to have mathematical intuition . . . and honestly I don't think many people believe that, and rightly so, certainly not in the way Poincaré was on about.
Maybe it's been done, but I'd like to see an LLM recreate Euclid from questioning without having seen it during training.
Maybe it's been done, but I'd like to see an LLM recreate Euclid from questioning without having seen it during training.