Status of the Wentworth-Lorell conjecture in 2026
2
1kṀ1600
Dec 31
42%
Proven
13%
Disproven
5%
Proven independent of ZFC
40%
Not resolved before 2027

context: https://www.lesswrong.com/posts/e9KwDDdAxborNSuCd/usd500-bounty-problem-are-approximately-deterministic

This market resolves to the option that both John Wentworth and David Lorell agree on as the status of the conjecture mentioned in the post, if they do before market close. Resolves to "Not resolved before 2027" otherwise. If they disagree on the status, resolves to "Not resolved before 2027"

Market context
Get
Ṁ1,000
to start trading!
© Manifold Markets, Inc.TermsPrivacy