Will any of DeepMind's formal conjectures be resolved before 2027?
5
Ṁ100Ṁ495Dec 31
97%
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.
Market context
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Which of the following breakthroughs will Deepmind achieve by 2030?
Will an AI solve any important mathematical conjecture before January 1st, 2030?
76% chance
Will DeepMind researchers win a Fields Medal before 2030?
1% chance
Will AI solve one of 129 major mathematical conjectures before year X?
Will OpenAI announce that they are cooperating with Deepmind, Anthropic, Meta or Google in order to mitigate race dynamics by 2027?
68% 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 AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
37% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
30% chance
Will Conjecture have dissolved by 2028?
77% chance