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,000
and3.00
Related questions
Related questions
Will chess be solved by 2040?
23% chance
Will an AI get a perfect SAT score before 2025?
14% chance
AI resolves at least X% on SWE-bench assistance, by 2025?
AI: 1500 SAT by 2025 (gpu)
65% chance
AI: 1580 SAT by 2025 (gpu)
64% chance
AI resolves at least X% on SWE-bench WITH assistance, by 2028?
Will an AI be capable of achieving a perfect score on the Putnam exam before 2030?
57% chance
Will chess be solved by 2100?
28% chance
What will be the best score on the InterCode (Bash) benchmark before 2025?
58% chance
What will be the best score on the WebArena benchmark before 2025?
47% chance