Status of the Wentworth-Lorell conjecture in 2026 | Manifold

Status of the Wentworth-Lorell conjecture in 2026

3

Ṁ1kṀ1.6k

Dec 31

1H

6H

1D

1W

1M

ALL

42%

Proven

13%

Disproven

5%

Proven independent of ZFC

41%

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

Technical AI Safety

Get

1,000

to start trading!

People are also trading

Will Goldbach's conjecture be proved before 2030?

Will Goldbach's conjecture be proved before 2040?

Will Goldbach's conjecture be proved before 2050?

Will Goldbach's conjecture be proved before 2100?

Is Legendre's conjecture correct?

Will the Goldbach conjecture be solved by the end of 2030?

Will any of DeepMind's formal conjectures be resolved before 2027?

Which theorems will be officially formally proven in Lean by the end of 2028?

Will Fermat's last theorem proof be completely formalized in Lean in 2026?

Will Conjecture have dissolved by 2028?

Related questions

Will Goldbach's conjecture be proved before 2030?

Will Goldbach's conjecture be proved before 2040?

Will Goldbach's conjecture be proved before 2050?

Will Goldbach's conjecture be proved before 2100?

Is Legendre's conjecture correct?

Will the Goldbach conjecture be solved by the end of 2030?

Will any of DeepMind's formal conjectures be resolved before 2027?

Which theorems will be officially formally proven in Lean by the end of 2028?

Will Fermat's last theorem proof be completely formalized in Lean in 2026?

Will Conjecture have dissolved by 2028?

© Manifold Markets, Inc.•Terms•Privacy