Will AI solve any of Hilbert's unsolved problems before April of 2025?
2025
5%
chance

https://en.wikipedia.org/wiki/Hilbert%27s_problems

It must be a problem that was previous unsolved.

Human mathematicians can be involved, but at least one important insight must have come from the AI.

There must be a broad consensus that it's actually solved.

Inspired by https://twitter.com/schulzb589/status/1635649683044331520

Sort by:
Duncn avatar
Duncnbought Ṁ15 of YES

What if an AI decisively solves one of the disputed resolutions? That would be a YES resolution?

IsaacKing avatar
Isaac King

@Duncan I think so, yeah.

JosephNoonan avatar
Joseph Noonanbought Ṁ10 of NO

Does the AI have to come up with the first solution to a previously unsolved problem, or can it be one of the already-solved Hilbert problems?

IsaacKing avatar
Isaac King

@JosephNoonan Only one that was not yet solved.

jonsimon avatar
Jon Simonbought Ṁ15 of NO

I don't know what the optimal way to handle markets like this is. Betting No is free money, but there's so little liquidity that the max payoff percent is low. So I guess the right thing to do is issue lots of heavy No limit orders?

IsaacKing avatar
Isaac King

@jonsimon Estimating your available balance from your portfolio, if you believe the true probability to be 0%, your value is probably maximized by placing a limit order for NO at around 5%.

jonsimon avatar
Jon Simonis predicting NO at 20%

@IsaacKing How did you arrive at that?

IsaacKing avatar
Isaac King

@jonsimon Vibes

jonsimon avatar
Jon Simonis predicting NO at 20%
IsaacKing avatar
Isaac King

@jonsimon The actual answer involves lots of math and reading the Wikipedia page on the Kelly Criterion, which I don't feel like doing ATM.

jonsimon avatar
Jon Simonis predicting NO at 20%

@IsaacKing Honestly I'd love it if more of the governing equations of Manifold were made publix. It would make these decisions waaay easier.

Also isn't the Kelly criterion primarily used for iterated games?

Mira avatar
Mira

@jonsimon Prediction markets are an iterated game. If you want to maximize linear-weighted EV instead, you'd slam one market with all your money that you think is most incorrect, using the bond formula to discount the money, and you'd also borrow as much money as you can from others for that one market.

IsaacKing avatar
Isaac King

@jonsimon Most of the math is already public in the docs and various blog posts. I believe the code is also open source. You can join the #market-math channel on the discord to ask specific questions.

jonsimon avatar
Jon Simonis predicting NO at 20%

@IsaacKing Oh cool I'll check out that channel, thanks

vluzko avatar
Vincent Luczkowbought Ṁ75 of NO

@jonsimon it is all public. The code base is open source.

jonsimon avatar
Jon Simonis predicting NO at 17%

@vluzko In my experience that very much does not equate to human-comprehensible explanations of what's going on. But maybe that's more of a big corporate codebase issue.