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?
61% chance
Will an AI achieve >30% performance on the FrontierMath benchmark before 2026?
28% chance
Will an AI get a perfect SAT score before 2025?
14% chance
Will an AI score over 30% on FrontierMath Benchmark in 2025
26% chance
AI: 1500 SAT by 2025 (gpu)
53% chance
Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?
32% chance
AI resolves at least X% on SWE-bench assistance, by 2025?
AI: 1580 SAT by 2025 (gpu)
55% chance
AI resolves at least X% on SWE-bench WITH assistance, by 2028?
AI: 1500 SAT by 2025 (open-source)
76% chance