David has made four bets that remain unresolved: $10k against Marcus Hutter and $10k against me that he can solve Navier-Stokes, $25k against Daniel Litt that he can solve Hodge, and $25k against Sridhar Ramesh that he can solve BSD.

I will also at my discretion add in any other similar bets I find out he's made on him solving famous mathematical problems, but only if they are $1000 or above, have reasonably unambiguous resolution criteria, and were made prior to March 2026. (And I'll be willing to resolve this early, and won't add in bets that occur after the market resolves.)

Will he pay out in full for every bet he loses within 2 months? (Legal-action-induced payments are allowed, but it has to happen within 2 months.)

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