> But the company owning the tool now takes credit for the entire research.

They didn't take full credit for Navier-Stokes; unless I'm mistaken, they're letting the researchers who almost solved it have first authorship on the "official" paper, which the researchers are writing to have a human-readable breakdown of the AI's proof, and OpenAI has announced.

If anyone was close to solving the Exponential Time problem, they could come out and claim so, and they would be taken seriously; and if they have any evidence in ChatGPT logs, I expect OpenAI would announce an official explanation paper with their name on it. Credit is cheap: ChatGPT does get some credit because it did make the final leap, that doesn't mean researchers don't.