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.
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.
Comments
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.
That's why mppbench.com exists
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.
Probably, P vs NP would be the last one to be solved, said by Terrence Tao in 2009.
source: https://www.youtube.com/watch?v=PtsrAw1LR3E&t=2727s
Great find! thanks