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."

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.

> The Wednesday evening statement from OpenAI was more emphatic: “We can say categorically that it is impossible for Dr. Buckmaster’s Codex prompts over the last two months to have influenced the system in any way, including training.”

> The statement added, “After investigating, we can say with full confidence that no user inputs past July 3rd could have influenced this system in any way.”

It's great to hear that they've investigated and concluded there was zero change Tristan's prompts made it into training data for the model that solved NS.

It would have been better for them to have done this before they announced the NS solution, so that two days' worth of misinformation would not have spread wildly.

https://archive.today/75WcF

Discussion on potential 'another problem' and the problems with that https://news.ycombinator.com/item?id=49639408

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.