Current community forecast
Yes 98.6%
Forecasters
5
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 16 hours ago
StaleAug 10, 25, 9:10 AM UTCDec 31, 26, 11:59 PM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
When will Birch and Swinnerton-Dyer be resolved?
KalshiWhen will the Hodge Conjecture be resolved?
KalshiWhen will P vs NP be resolved?
KalshiWill formal verification become "mainstream" before 2031?
Manifold MarketsWill "Lies, Damned Lies, and Proofs: Formal Methods..." make the top fifty posts in LessWrong's 2026 Annual Review?
Manifold MarketsWill P vs NP be resolved by 2043?
Manifold MarketsRules
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
Open markets
AIKALSHIAnthropic market share this week
- Above 2.05%+3.0pt99%
- Above 2.25%-1.0pt97%
- Above 2.65%+32.0pt94%
+6 more outcomes
- Total Vol
- $117.2K
- 24h Vol
- $95.2K
POLYMARKETBest Chinese AI Company end of October?
- Alibaba-5.0pt69%
- Moonshot-6.0pt14%
- Z.ai+2.3pt6%
+8 more outcomes
POLYMARKETBest Chinese AI Company end of September?
- Alibaba+5.0pt85.4%
- Moonshot-1.9pt9.7%
- Z.ai1.9%
+8 more outcomes
KALSHITencent market share this week
- Above 2.7%+4.0pt96%
- Above 4.5%+22.0pt43%
- Above 5.6%+2.0pt13%
+6 more outcomes
- Total Vol
POLYMARKETWill Anthropic’s valuation hit __ by December 31?
- ↑$1.25T+1.3pt100%
- ↑$1.1T+3.6pt100%
- ↑$1.0T+2.4pt100%
+10 more outcomes
POLYMARKETAnthropic IPO by which date?
- December 31,+4.0pt87%
- December 15,+1.0pt84%
- November 30,+8.0pt81%
+7 more outcomes
- Best AI at the end of 2026?
- DeepSeek market share this week
- OpenAI announces another Millennium Prize solution by which date?
- OpenAI market share this week
- Largest IPO by market cap in 2026?
- When will Anthropic officially announce an IPO?
- Best AI this week
- AI lab announces another Millennium Prize solution by which date?
- Gemini 4.0 released by which date?
- Best AI in Sep 2026?
- How many more Millennium Prize Problems will AI solve in 2026?
Frequently asked questions
- What are the current odds for Will any of DeepMind's formal conjectures be resolved before 2027??
- Manifold Markets prices Yes at 99% as of September 17, 2026.
- When does Will any of DeepMind's formal conjectures be resolved before 2027? resolve?
- Will any of DeepMind's formal conjectures be resolved before 2027? is scheduled to resolve on December 31, 2026.
- How is Will any of DeepMind's formal conjectures be resolved before 2027? settled?
- Manifold Markets settles this market as follows: Market will be resolved to Yes if at least one of the open problems from DeepMind's formal-conjectures gets decided before 2027.