5 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 9d 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 9d 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 9d 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 9d agoThough they claim the contrary, it looks that OpenAI would get nowhere if it did not have information about a recent breakthrough.
- simianwords 9d agoComment that will age poorly
- nozzlegear 9d agoEnlighten us?
- llimos 9d agoBecause AI will end everybody's lifetimes, I think
- TitusCaius 7d ago[dead]
- zeroonetwothree 9d 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 9d 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 9d 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 9d 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 9d agowhy not just solve world hunger while we're blowing smoke.,
- pcstl 9d 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.