Comment by Insanity
7 days ago
They also claimed ChatGPT solved novel erdös problems when that wasn’t the case. Will take with a grain of salt until more external validation happened. But very cool if true!
7 days ago
They also claimed ChatGPT solved novel erdös problems when that wasn’t the case. Will take with a grain of salt until more external validation happened. But very cool if true!
Well they (OpenAI) never made such a claim. And yes, LLMs have made unique solutions/contributions to a few erdos problems.
How was that not the case? As far as I understand it ChatGPT was instrumental to solving a problem. Even if it did not entirely solve it by itself, the combination with other tools such as Lean is still very impressive, no?
It didn't solve it, it simply found that it had been solved in a publication and that the list of open problems wasn't updated.
My understanding is there's been around 10 erdos problems solved by GPT by now. Most of them have been found to be either in literature or a very similar problem was solved in literature. But one or two solutions are quite novel.
https://github.com/teorth/erdosproblems/wiki/AI-contribution... may be useful
11 replies →
Wasnt that like some marketing bro? This is coming out the front door with serious physicists attached.