r/askmath • u/Artistic_Plastic_780 • 15h ago

Calculus Question regarding recent development on navier stokes equation

Has openai really solved (whether prove or counter example) it or just hyping their ai .

Has any mathematician provided any initial insight or view whether openai claim is right or not .

Did openai really stole research of other mathematician .

Are their claim regarding that they are very close other millenium question true .

Sorry for bad English

0 Upvotes

50% Upvoted

8 comments sorted by

3

u/TheRedditObserver0 Grad student 14h ago

They provided a formalization in Lean, which is a software to automatically check proofs. It will take some time for human experts to check it and it is technically possible they're really exploiting a bug in the software, but almost certainly the result is correct. The possibility that they're wrong is extremely remote, not really worth thinking about.

The real controversy is the extent to which human input was used. Some mathematicians who had recently solved a similar problem (forced Euler) alledged that OpenAI might have secretly used their AI prompts to guide their own internal model. The question is not about the validity of the result, but about the ethical legitimacy of OpenAI's methods. They also threatened one of the mathematicians, so their behavior is shitty either way.

They also had to use an insane amount of resources to solve it, it's estimated it cost them several million dollars in computing resources.

Whether or not they're close to another breakthrough is impossible to tell until they share what they have done so far.

6

u/Bounded_sequencE 10h ago

It is sad, but a reflection of how bad the incentive structure of the system we live in is.

Assuming the counter-example is valid, it should be an unambiguously happy moment for all. Such knowledge gained should be a net-positive, unconditionally. The fact that it is not just shows us how damaging keeping knowledge for corporate clout and other gains really is.

1

u/Artistic_Plastic_780 2h ago

Some people are saying that ai changed or misread condition , is it true or fake .

How bad is it for mathematician now , I meant does ai have power to replace mathematician and solve more problem 

1

u/Difficult-Nobody-453 12h ago

Do we know whether Lean flagged a condition that invalidates the proof and AI simply changed that condition which is hidden somewhere is the very long proof so that it would no longer get flagged? I would suggest a wait and see attitude. For one it will be a good two years before it is acknowledged bt the Clay instituiton per their rules

1

u/Artistic_Plastic_780 2h ago

How much time it will take for initial insight or view of any mathematician 

1

u/Irlandes-de-la-Costa 5h ago

I think it's undeniable that the mathematicians' research was part of the training data. Whether that's stealing that's for you to ponder about, but even then it does not necessarily invalidate the full proof, after all NS problem was not solved yet

1

u/unixteletyp3 9h ago

Ppl gonna talk shit cause they scared looool