
As judged by the Clay Mathematics Institute.
People are also trading
@JasonMendoza2008 the description explicitly says "As judged by the Clay Mathematics Institute." CMI has not judged NS as solved. https://www.claymath.org/news/navier-stokes-announcement/
if I were running this market, I could maybe rule that was intended to be shorthand for something about the consensus of what's solved, but I am not going to step in to force an inactive creator to resolve a market when their resolution criteria has not been met.
@JasonMendoza2008 I can see a world where we wake up tomorrow to another one being solved, and it has an easier to verify proof, and CMI decides to judge that 2nd one first.
@JasonMendoza2008 Apologies for the inactivity. As others have said, the resolution criterion hasn’t been met, so no resolution yet.
Poor choice of criteria on my part, but too late for that 😅
Created a new market not that Navier Stokes has been solved Which Millennium Prize Problem will be solved next? | Manifold