Will anyone claim the bounty for a formula for bet amount as function of shares?

Basic

Ṁ551

resolved Jun 12

Resolved

ALL

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).

This question is managed and resolved by Manifold.

#Manifold

Get

1,000

and

3.00

3 Comments

4 Holders

13 Trades

Sort by:

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

predicted NO

@giojoai Is it related to this: https://en.wikipedia.org/wiki/Abel%E2%80%93Ruffini_theorem

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.

Related questions

Related questions