By when will SAT solvers be 10x faster (than 2023 on same hardware)?
Basic
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.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Related questions
Related questions
Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?
72% chance
Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?
64% chance
AI resolves at least X% on SWE-bench WITH assistance, by 2028?
Will an AI score over 30% on FrontierMath Benchmark in 2025
86% chance
Will chess be solved by 2100?
30% chance
Will Alphaproof achieve >30% performance on the FrontierMath benchmark before 2026?
34% chance
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?
AI: 1580 SAT by 2028 (gpu)
66% chance
AI: 1500 SAT by 2025 (gpu)
65% chance