He claims to have uploaded to arXiv. But he also says he lost the bet because arXiv didn't let the submission go through. So shouldn't this immediately resolve no? 

https://manifold.markets/retr0id/did-davidbudden-submit-a-navierstok?tab=comments#t5ldayi5gq

https://x.com/davidmbudden/status/2008026770969358369

Resolved. I hope the arbitragers among you have fast fingers!

N/A if he didn’t actually upload anything. 

Resolves YES if he implies it’s not yet complete and there’s time for him to make lots of changes. 

https://manifold.markets/IsaacKing/will-marcus-hutter-win-his-10000-be?r=S3lsZVk

Related questions