David has made three bets that remain unresolved: $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 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.

Will he pay out 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.