2 ms·
> In a prediction market, I'd bet on this proof being right. Let's create a question on Metaculus!
by ruuda 4y ago
> In a prediction market, I'd bet on this proof being right.
Let's create a question on Metaculus!
- bakkoting 4y agoHow about Manifold? https://manifold.markets/ZviMowshowitz/will-the-new-nonconstructed-proof-o https://manifold.markets/ZviMowshowitz/will-the-new-nonconst...