7 comments
22 forecasters
Will the Unique Games Conjecture be proved by 2030?
30.7%chance
This question is closed for predictions.
Forecast Timeline
Authors:
Opened:Aug 18, 2021
Closed:Jan 1, 2025
Scheduled resolution:Jan 1, 2032
Spot Scoring Time:Aug 20, 2021
Will the sunflower conjecture be resolved before 2060?
62.1% chance
18
Will an AI be able to take arbitrary proofs from the mathematical literature and convert them into a symbolic form suitable for verification before 2030?
92% chance
139
Will Mochizuki retract his proof of the abc conjecture before 2050?
12.3% chance
20