Statistics
| Confidence | 50% | 60% | 70% | 80% | 90% | 100% | Total |
|---|---|---|---|---|---|---|---|
| Accuracy | 50% | 59% | 67% | 77% | 88% | 92% | |
| Sample Size | 11812 | 16505 | 16980 | 17616 | 31357 | 8046 | 102316 |
Recent Predictions
-
By January 1, 2031, large-language models combined with automated proof checking systems like Lean and Coq will have contributed to proofs which have appeared in major math journals. ( 53% confidence; 8 wagers; 1 comment )
Created by JoshuaZ on 2023-01-21; known on 2031-01-01.
-
Riemann hypothesis proven by 2040. — Axel Boldt ( 33% confidence; 15 wagers; 3 comments )
Created by Pablo on 2012-10-01; known on 2041-01-01.