the context here is super important, for those who haven't seen it yet. OAI maybe just trained on a real researchers solution and then celebrated having scored the goal unassisted save for the brief commentary at the bottom of this blog post. Here's the other side.
The researchers are pretty directly accusing OpenAI of plagiarism
https://mastodon.social/@tristanbuckmaster/11723647135247030...
That other researcher was working on a smaller related problem.
He was also using LLMs to do it, so either way most of the credit goes to the LLM here.
>maybe
Maybe that happened. What we know for sure is that this is definitely how ChatGPT works to the point where the possibility of this happening exists at all.
Don't get distracted by what may have happened, focus on the facts that we know, ChatGPT trains on user conversations, if you use ChatGPT to create something of value, you are not using the one true ring.
Did you actually read the article and the substance of the solution?
>our proofs differ significantly and even the precise results proved are different in the Euler case (forced vs unforced)
This "fefferman options c and d" thing sounds damning but that's nothing. Let's assume the forelaid proof is correct. Then option C or D is the only way to win the prize, those options are the only ones that solve it. The whole thing is just "prove well behaved" or "prove singularity", where the latter is the case that turns out to be the case.