Will any of DeepMind's formal conjectures be resolved before 2027?
3
100Ṁ292026
38%
chance
1H
6H
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,000 to start trading!
1,000People are also trading
Related questions
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
43% 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 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
Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?
1% chance