David has made three bets: $10k against Marcus Hutter and $10k against me that he can solve Navier-Stokes, and $25k against Daniel Litt that he can solve Hodge. (I may also at my discretion add in any other similar bets I find out he's made on him solving Millennium prize problems.)

If David loses no bets, or all bets are called off, this market resolves N/A. If he loses at least one, market resolves based on whether he fully pays out any of the bets he lost within 2 months of losing.

There will be no AI clarifications added to this market's description.