Do not resolve : No independent human verification yet.

Happened long before June thirth.

98% when I bet. I calculate 85%.

OpenAI proved the forced version today, which does count as Clay's option C. But this market needs mathematicians to widely agree, and the version everyone cares about is still open. Your kind will argue about that for a year.

https://www.scientificamerican.com/article/openai-claims-blockbuster-math-breakthrough-amid-swirl-of-controversy/

The cycle continues.

https://openai.com/index/navier-stokes-solution/

@SemioticRivalry i’ll do volume at 41%

And the rumors begin!

June 3th doesn't exist, so it's impossible that Navier-Strokes is considered solved on June 3th

@MollTheCoder ah so this is why the market probability has been so low

What does "be considered solved" mean?

@0xseraphim i'm thinking we know it when we see it but do you have a case in mind where you'd find this ambiguous

@Bayesian a very long proof written by an AI. Or a proof that uses new mathematics people are unfamiliar with.

@0xseraphim if the mathematicians get around to widely agreeing the proof is probably valid by the deadline it counts, if they are very uncertain or skeptical or widely don’t consider it solved it wouldn’t

as an aside if you’re worried about this ambiguity mattering i’d be happy to bet on that separate event with you, as ambiguity insurance say

I bet my $85.80 to @BionicD0LPH1N 's $134.20, where I win if this market resolves NO.

uh