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 capitalist-laugh

you are viewing a single comment's thread
view the rest of the comments
[–] 30 points 2 days ago*

This is a weird one, the researchers made heavy use of Codex and Claude agents to iterate on their proof, then the companies stole their work and just smashed 10x the compute at it so they could "solve it first".

The original idea was definitely the researchers, and it will likely end up being attributed that way, but OpenAI saw a chance to hop in and steal someone else's spotlight for a PR win.

This really should wake people up to how dangerous these companies are. The second you input anything into a chatbot, it's no longer yours. They're setting the precedent that they own anything that touches their models. Why would anyone want this?

Oh. This also goes for anything you didn't directly input into their chatbot, but that it managed to discover about you eitehr through corporate espionage (someone in HR putting your private info into it), or blatant scraping of the commons.

  • source