- cross-posted to:
- news@hexbear.net
- cross-posted to:
- news@hexbear.net
cross-posted from: https://hexbear.net/post/9497419
The Millennium Problems are a set of the most important open problems in mathematics. so far only 2 have been solved: the Poincare Conjecture by Grigori Perelman in 2010 and today OpenAI released this https://openai.com/index/navier-stokes-solution/
The only problem is, that their AI didn’t even come up with the solution itself. Mathematicians working on the same problem recently made big strides in solving the Navier Stokes equations, and their chat logs were scraped and used in training data before they could release the proof themselves.
Here is the unpaywalled statements of the Mathematician: https://mastodon.social/@tristanbuckmaster/117233413705701198
Western AI companies have been tackling a bunch of open problems and techbro chuds cannot shut up about it, this is just Marketing and the fact they have to steal real people’s work to do so just proves it. They really want that IPO moneyyy




Everything AI does is with stolen data. What makes this so special?
The fact that AI had solved this problem made big noise, and was used by many to legitimize AI as a source of progress, so setting the record sttaight on how it really did is is pretty important.
Beside, solving a millenial problem is a big deal. Even if it had been solved by human researchers and it was later found that they had plagiarized other human researchers, this would’ve been noteworthy. So I would say this is pretty special.
It’s like if they wrote gta VI in notepad and Microsoft released it saying they made it… so not really different except they didn’t even let the author publish it first