alt Hacker NewsIt 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.
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