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)
KIOne-Off3JManifold MarketsKein KYCVerifizierte AuflösungsdatenOrdentlich kalibriertAktuelle Community-PrognoseJa 77.4%
Prognostiker
106
Fragetyp
binary
Methodik
Play-money forecasting platform
Quellentyp
Prognose
Marktdaten
Aktualisiert vor 14 Stunden
Veraltet16. Sept. 22, 20:47 UTC1. Jan. 30, 08:00 UTC
Trends
Verwandte Märkte
Verwandte Fragen als Kontext, kein Vergleich gleichwertiger Kontrakte.
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?
PolymarketRegeln
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.
Offene Märkte
AIKALSHITop AI model in September?
- claude-fable-5.1-max-12.0pt72%
- claude-opus-5-high+2.0pt6%
- claude-opus-4-6-thinking4%
+3 weitere Ergebnisse
- Gesamtvolumen
- 135.247,6 €
- 24h-Volumen
- 102.709,4 €
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 weitere Ergebnisse
- Gesamtvolumen
KALSHIBest AI at the end of 2026?
- Claude-0.7pt61.4%
- ChatGPT-2.1pt22.8%
- Grok-0.1pt7.9%
+5 weitere Ergebnisse
- Gesamtvolumen
- 9,1 Mio. €
KALSHIBest AI in Sep 2026?
- Claude+3.0pt81.3%
- ChatGPT-1.0pt11.2%
- Grok2.8%
+4 weitere Ergebnisse
- Gesamtvolumen
- 324.994,1 €
POLYMARKETOpenAI’s Astra Model: Text Arena Debut?
- 1480+-2.5pt66%
- 1490+-9.0pt51%
- 1500+-3.0pt23%
+2 weitere Ergebnisse
- 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?
- Will Anthropic announce a Millennium Prize solution?
Häufige Fragen
- Wie stehen die aktuellen Quoten für 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 bewertet Yes mit 77% (Stand: 8. September 2026).
- Wann wird 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) entschieden?
- 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) soll am 1. Januar 2030 entschieden werden.
- Wie wird 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) abgerechnet?
- Manifold Markets rechnet diesen Markt wie folgt ab: The fifth question from this post: https://garymarcus.substack.com/p/dear-elon-musk-here-are-five-things