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
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Related questions
Related questions
Will AI resolve P vs NP by 2050?
32% chance
Will OpenAI announce that they are cooperating with Deepmind, Anthropic, Meta or Google in order to mitigate race dynamics by 2027?
67% 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