![](/_next/image?url=https%3A%2F%2Fstorage.googleapis.com%2Fmantic-markets.appspot.com%2Fcontract-images%2FQuillist%2F55odi9w8c7.jpg&w=3840&q=75)
Would an AI be capable of constructing a non-brute, ultraweak proof of chess for this board state by 2030?
Plus
7
Ṁ4842031
50%
chance
1D
1W
1M
ALL
![](https://firebasestorage.googleapis.com/v0/b/mantic-markets.appspot.com/o/user-images%2Fdefault%2FbezdGNWwjV.png?alt=media&token=2ef68847-7857-435d-929c-dd4f4f932a3b)
Would an AI be able to construct an ultra-weak proof for the given chess board state, that does not rely on brute-force analysis by 2030. The proof can contain multiple conditions but should not outline every move to conclude the solution.
Since the line for how many conditions is too much is subjective, I'll say that I'd be satisfied if the compressed size of the proof is < 7kb (excluding definitions+axioms)
https://en.wikipedia.org/wiki/Solved_game
https://en.wikipedia.org/wiki/Solving_chess
Bonus: 50k bounty to anyone who can manually construct a proof, its still unclear to me what would be a reasonable size for such a problem.
Get Ṁ1,000 play money
Related questions
Related questions
Will chess be solved by 2040?
24% chance
Will AI be able to generate correct images of a chess game in 2024?
49% chance
Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
11% chance
Will chess be solved by 2100?
26% chance
Will an AI by OpenAI beat a super grandmaster playing chess by 2028?
43% chance
Will an LLM (a GPT-like text AI) defeat the World Champion at Chess before 2035?
54% chance
Will a blank-slate AI prove the infinitude of primes by 2025-11-03?
38% chance
In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)
56% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
78% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
48% chance