#millennium-prize on Hacker News

2 stories tagged millennium-prize, newest first.

Screenshot of scientificamerican.com: Did OpenAI solve the wrong Navier-Stokes problem?

Did OpenAI solve the wrong Navier-Stokes problem?(scientificamerican.com)

92 points by tomjakubowski 1 month ago | 46 comments

Scientific American article on whether OpenAI's claimed Navier-Stokes proof qualifies for the $1-million Millennium Prize only through a controversial loophole.

navier-stokes openai millennium-prize mathematics

Screenshot of openai.com: On the Navier–Stokes Millennium Prize Problem

On the Navier–Stokes Millennium Prize Problem (openai.com)

1295 points by tedsanders 1 month ago | 1045 comments

OpenAI research publication page on the Navier–Stokes Millennium Prize Problem, linking to a paper and a Lean formalized proof.

navier-stokes millennium-prize openai lean

#millennium-prize on Hacker News

Did OpenAI solve the wrong Navier-Stokes problem?(scientificamerican.com)

On the Navier–Stokes Millennium Prize Problem(openai.com)

On the Navier–Stokes Millennium Prize Problem (openai.com)