In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)
IAOne-Off3aManifold MarketsSenza KYCDati di risoluzione verificatiDiscretamente calibratoPrevisione della comunità attualeSì 77.4%
Previsori
106
Tipo di domanda
binary
Metodologia
Play-money forecasting platform
Tipo di fonte
Previsione
Dati di mercato
Aggiornato 10 ore fa
Obsoleto16 set 22, 20:47 UTC1 gen 30, 08:00 UTC
Trend
Mercati Correlati
Domande correlate per il contesto, non un confronto tra contratti equivalenti.
In 2029, will any AI be able to work as a competent cook in an arbitrary kitchen? (Gary Marcus benchmark #3)
Manifold MarketsBy 2029, will any AI be able to read a novel and reliably answer questions about it? (Gary Marcus benchmark #2)
Manifold MarketsIn 2029, will any AI be able to construct "reasonably" bug-free code of >= 10k LOC from a natural language specification? (Gary Marcus benchmark #4)
Manifold MarketsTop AI model in September?
KalshiBest AI at the end of 2026?
KalshiAnthropic IPO by which date?
PolymarketRegole
The fifth question from this post: https://garymarcus.substack.com/p/dear-elon-musk-here-are-five-things
- The full text is: "In 2029, AI will not be able to take arbitrary proofs from the mathematical literature written in natural language and convert them into a symbolic form suitable for symbolic verification."
- Judgment will be by me, not Gary Marcus.
- Ambiguous whether this means start or end of 2029, so I have set it for the end.
- I will accept if there is an AI that can do this for >=75% of the proofs published on the arxiv math categories in 2029.
Mercati aperti
AIKALSHITop AI model in September?
- claude-fable-5.1-max-12.0pt72%
- claude-opus-5-high+2.0pt6%
- claude-opus-4-6-thinking4%
+3 altri esiti
- Volume totale
- 135,2K €
- Volume 24h
- 102,7K €
POLYMARKETWill CMI declare a Millennium Prize Problem solved by which date?
- 2028+6.5pt62.1%
- 2027-3.5pt28.4%
- 2026+2.0pt9.5%
POLYMARKETAnthropic IPO by which date?
- December 31,-1.0pt90%
- December 15,+3.5pt90%
- November 30,85%
+7 altri esiti
- Volume totale
KALSHIBest AI at the end of 2026?
- Claude-0.7pt61.4%
- ChatGPT-2.1pt22.8%
- Grok-0.1pt7.9%
+5 altri esiti
- Volume totale
- 9,1 Mln €
KALSHIBest AI in Sep 2026?
- Claude+3.0pt81.3%
- ChatGPT-1.0pt11.2%
- Grok2.8%
+4 altri esiti
- Volume totale
- 325K €
- Volume 24h
POLYMARKETOpenAI’s Astra Model: Text Arena Debut?
- 1480+-2.5pt66%
- 1490+-9.0pt51%
- 1500+-3.0pt23%
+2 altri esiti
- Largest IPO by market cap in 2026?
- OpenAI IPO Closing Market Cap
- When will Anthropic officially announce an IPO?
- Anthropic IPO Closing Market Cap
- When will OpenAI achieve AGI?
- Will Anthropic’s valuation hit __ by December 31?
- Will OpenAI's valuation hit __ by December 31?
- Next Google Gemini Pro Model released by which date?
- Best Chinese AI Company end of September?
- What will OpenAI's IPO valuation be?
Domande frequenti
- Quali sono le probabilità attuali per In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)?
- Manifold Markets quota Yes al 77% al 8 settembre 2026.
- Quando si risolve In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)?
- In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5) dovrebbe risolversi il 1 gennaio 2030.
- Come viene liquidato In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)?
- Manifold Markets liquida questo mercato come segue: The fifth question from this post: https://garymarcus.substack.com/p/dear-elon-musk-here-are-five-things