> In a prediction market, I'd bet on this proof being right.

Let's create a question on Metaculus!