alt Hacker NewsThey 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!
Replies
smokel • today at 7:33 PM
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?
➕ show 1 reply
vonneumannstan • today at 7:33 PM
Wasnt that like some marketing bro? This is coming out the front door with serious physicists attached.
Well they (OpenAI) never made such a claim. And yes, LLMs have made unique solutions/contributions to a few erdos problems.