Comment by CamperBob2
16 hours ago
It is still possible a proof from someone else with a similar method was in the training set.
A proof that Terence Tao and his colleagues have never heard of? If he says the LLM solved the problem with a novel approach, different from what the existing literature describes, I'm certainly not able to argue with him.
> A proof that Terence Tao and his colleagues have never heard of?
Tao et al. didn't know of the literature proof that started this subthread.
there is an immense amount of stuff out there on ArXiv that no one has ever looked at
Right, but someone else did ("colleagues.")
No, they searched for it. There's a lot of math literature out there, not even an expert is going to know all of it.
5 replies →