3 ms·
OpenAI should put their internal model to solve the rest of Millenium Prize problems too (assuming their difficulty is in the same ballpark). That would be a pr
by imjonse 19d ago
OpenAI should put their internal model to solve the rest of Millenium Prize problems too (assuming their difficulty is in the same ballpark). That would be a proof the model did it without using existing work on the problem.
- bearseascape 19d agoThey did do this, but it seems that Navier-Stokes is the only one that was successful (unless, for some strange reason, they have proofs for the other problems but haven’t released them yet).
- aeve890 19d ago>They did do this, but it seems that Navier-Stokes is the only one that was successful How convenient that they could solve the only problem where researchers have done most of the legwork already. What a coincidence. And the timing, perfect.
- TitusCaius 19d agoThough they claim the contrary, it looks that OpenAI would get nowhere if it did not have information about a recent breakthrough.
- simianwords 19d agoComment that will age poorly
- nozzlegear 19d agoEnlighten us?
- llimos 18d agoBecause AI will end everybody's lifetimes, I think
- TitusCaius 16d ago[dead]
- zeroonetwothree 19d agoLLMs seem to be much better at finding counterexamples than other types of proof. It’s unlikely the other millennium problems will be solved with counter examples
- psvv 19d agoI haven't been keeping up with all the math proofs. Does anyone know if there have been any LLM proofs that are NOT counterexamples?
- andriy_koval 19d agolikely there are some, the question if its "millennial" type problems. Also, lots of hype around "millennial" grading, it is kinda funny if we solve all "millennial" problems in first 30 yeas of millenia.
- samuelknight 19d agoFinding counter examples might be easier, but AI's also useful for assisting in creating proofs. For example, Anthropic just published a formalization of Fermat's last theorem a few days ago, something that human researchers have been working on for decades.
- cyanydeez 19d agowhy not just solve world hunger while we're blowing smoke.,
- pcstl 19d ago>assuming their difficulty is in the same ballpark It is not. Many mathematicians have said that they don't expect to see solutions to the other 5 problems in their lifetimes. Of course, AI might advance fast enough that the "in their lifetimes" part ends up wrong, but there is a considerable gap to the other problems. We have barely any idea of how to even get started on most of them.