Will any of DeepMind's formal conjectures be resolved before 2027?
4
Ṁ532026
48%
chance
1D
1W
1M
ALL
Market will be resolved to Yes if at least one of the open problems from DeepMind's formal-conjectures gets decided before 2027. Only problems which is added to the main branch of the repository before the creation of this market will be considered. The problem should have 'open' tag and should be completely proven via Lean
Get Ṁ1,000 play money
Related questions
Related questions
Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?
1% chance
Will there be serious AI safety drama at Google or Deepmind before 2026?
50% chance
Will DeepMind researchers win a Fields Medal before 2030?
1% chance
Which of the following breakthroughs will Deepmind achieve by 2030?
Will Google Deepmind have AI-related IP stolen before 2026?
21% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
80% chance
Will I have held DeepMind crystal material in my hand by end of 2025?
16% chance
Will AI solve one of 129 major mathematical conjectures before year X?
Will DeepMind publish a Nature paper on seismology by 2029?
64% chance
By 2028, will I think DeepMind has been net-good for the world?
39% chance