By when will SAT solvers be 10x faster (than 2023 on same hardware)?
Mini
1
Ṁ202100
1D
1W
1M
ALL
40%
2030
40%
2040
21%
2100
When will a SAT solver run on 2023 hardware be 10x faster than the winner of the 2023 SAT competition on the completion benchmark.
Get Ṁ1,000 play money
Related questions
Related questions
Will neural networks be necessary to winning a SAT competition by 2030?
23% chance
When will a single model first achieve 10@k solve rate >= 90% on the CodeContests dataset?
Will an AI achieve >80% performance on the FrontierMath benchmark before 2027?
68% chance
AI: 1500 SAT by 2028 (gpu)
86% chance
Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?
55% chance
AI: 1580 SAT by 2028 (gpu)
66% chance
Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?
60% chance
AI resolves at least X% on SWE-bench without any assistance, by 2028?
What will be the best AI performance on Humanity's Last Exam by December 31st 2025?
AI resolves at least X% on SWE-bench WITH assistance, by 2028?