Will anyone claim the bounty for a formula for bet amount as function of shares?
7
190
แน€150
resolved Jun 12
Resolved
NO

Namely this:

https://manifoldmarkets.notion.site/Bounty-for-CPMM-closed-form-for-buy-amount-given-shares-936e629e676d4590a853d65f03d20786

It only resolves YES if we get a closed-form for general p, as stated at the above link, even if they decide to award the bounty for an easier case (but it looks like they won't so this is now moot).

Get แน€200 play money

๐Ÿ… Top traders

#NameTotal profit
1แน€33
2แน€5
3แน€5
4แน€3
5แน€0
Sort by:

I seem to proved that a general closed form is impossible. Details coming later after I double checked.

predicted NO
bought แน€10 of NO

At first the Manifold folks were saying they were going to award the bounty even for the easy p=1/2 case so this market was almost super ambiguous but I managed to edit it before anyone else traded. This market is about whether the bounty is awarded for the general case. I don't think we can improve on binary search in the general case so I'm betting NO on this.