Will David Budden "drop" (what he claims is) "an end-to-end Lean proof tonight" (read rules)?
24
1kṀ4107in 7 hours
72%
chance
1H
6H
1D
1W
1M
ALL
It doesn't have to be correct, if he asked gpt to write a plausible-looking but fake lean proof of Navier Stokes and then posted it and claimed it was his that would resolve this YES. This is just about him dropping anything
'tonight' = before 3am pacific
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000Sort by:
People are also trading
Related questions
Will Daniel Litt win his $25,000 bet that David Budden will not solve the Hodge conjecture?
94% chance
Which theorems will be formally proven in Lean by the end of 2028?
Will Marcus Hutter win his $10,000 bet that David Budden will not solve the Navier-Stokes Millennium problem?
96% chance