By when will SAT solvers be 10x faster (than 2023 on same hardware)? | Manifold

By when will SAT solvers be 10x faster (than 2023 on same hardware)?

Basic

1

Ṁ20

2100

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.

#Computer Science

Get

1,000

and

3.00

Related questions

Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?

When will a single model first achieve 10@k solve rate >= 90% on the CodeContests dataset?

AI: 1500 SAT by 2028 (gpu)

AI: 1580 SAT by 2025 (gpu)

Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?

Will neural networks be necessary to winning a SAT competition by 2030?

Will an AI achieve >80% performance on the FrontierMath benchmark before 2027?

AI: 1500 SAT by 2025 (gpu)

AI: 1580 SAT by 2028 (gpu)

AI resolves at least X% on SWE-bench without any assistance, by 2028?

Related questions

Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?

Will neural networks be necessary to winning a SAT competition by 2030?

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?

AI: 1500 SAT by 2028 (gpu)

AI: 1500 SAT by 2025 (gpu)

AI: 1580 SAT by 2025 (gpu)

AI: 1580 SAT by 2028 (gpu)

Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?

AI resolves at least X% on SWE-bench without any assistance, by 2028?

© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules