Quote from OpenAI in the NYT article: "In addition, since the completion of Navier-Stokes, we have made substantial progress on another Millennium Prize problem."
num42•22m ago
I don’t know how true it is, but there are a lot of rumors on social media that progress is being made on the BSD or Hodge conjecture. If this is true, it could set off a Millennium benchmark race and raise the bar significantly. Everyone would have to recalibrate their benchmarks around mathematical problems.
kelseyfrog•14m ago
That's why mppbench.com exists
kelseyfrog•10m ago
If there's a Millennium Prize problem race, I'm most excited for P=NP and the Yang-Mills existence and mass gap solutions. Knocking those off feels more world-changing.
num42•6m ago
Probably, P vs NP would be the last one to be solved, said by Terrence Tao in 2009.
toomuchtodo•42m ago