By when will SAT solvers be 10x faster (than 2023 on same hardware)?
1
153á¹€202100
1H
6H
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.
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000Pessoas também estão operando
Perguntas relacionadas
Will AI be better every human at proving Math theorems by the end of 2030?
16% chance
Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?
65% chance
Will neural networks be necessary to winning a SAT competition by 2030?
23% chance
Will an AI achieve >80% performance on the FrontierMath benchmark before 2027?
43% chance
Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?
35% chance
When will a single model first achieve 10@k solve rate >= 90% on the CodeContests dataset?
AI: 1500 SAT by 2028 (gpu)
86% chance
AI: 1580 SAT by 2028 (gpu)
66% chance
AI resolves at least X% on SWE-bench without any assistance, by 2028?
AI resolves at least X% on SWE-bench WITH assistance, by 2028?