Before 2028, will AI systems outperform mathematicians at suggesting reasonable explanations for new OEIS sequences?
CustomKIWissenschaft1J
Manifold MarketsKein KYCVerifizierte AuflösungsdatenOrdentlich kalibriertAktuelle Community-Prognose
Nein 58%
Prognostiker
13
Fragetyp
binary
Methodik
Play-money forecasting platform
Quellentyp
Prognose
Marktdaten
Aktualisiert vor 9 Stunden
Veraltet20. Juli 24, 09:36 UTC2. Jan. 28, 07:59 UTC
Trends
Verwandte Märkte
Verwandte Fragen als Kontext, kein Vergleich gleichwertiger Kontrakte.
Will any country officially ban or heavily restrict the use of advanced AI systems before January 1, 2027
Manifold MarketsWill LTPZ outperform SPY over the next 10 years?
Manifold MarketsWill SpaceX outperform the S&P 500 over the 2 years following its IPO?
Manifold MarketsAI wins IMO gold medal in 2026?
PolymarketWill the US confirm that aliens exist by which date?
PolymarketWhen will the next Millennium Prize be awarded?
KalshiRegeln
This question aims to test whether AI systems will approach the breadth and maturity of the professional mathematical community before 2028.
- Currently, the On-line Encyclopedia of Integer Sequences (OEIS) collects several dozen new sequences per day, meaning up to thousands of new sequences can be collected for AI evals.
- In mid-2027, I will create or sponsor efforts (or defer to sufficiently high-quality outside evaluations or benchmarks) to determine how well frontier AI systems can suggest reasonable and mathematically sound explanations for new OEIS sequences (when given terms from the sequence, and possibly hints about the domain of the intended explanation).
- This question resolves YES if the best AI systems match or outperform a baseline on this task involving groups of professional human mathematicians working together across several hours, with access to outside references.
- Some more details on judging:
- I will generally accept outcomes where AI systems mostly give their answers from a subset of mathematics (combinatorics, number theory, algebra, etc), as long as they are able to provide answers judged as acceptably important, relevant, and elegant, in consultation with the mathematical community.
Offene Märkte
AIPOLYMARKETWill CMI declare a Millennium Prize Problem solved by which date?
- 2028+8.5pt56.5%
- 2027+3.0pt33.3%
- 2026+4.0pt10.2%
- Gesamtvolumen
- 224.720,1 €
- 24h-Volumen
- 160.486,9 €
KALSHITop AI model in September?
- claude-fable-5.1-max+4.0pt73%
- claude-opus-5-high+2.0pt6%
- claude-opus-5-max+4.0pt5%
+3 weitere Ergebnisse
- Gesamtvolumen
POLYMARKETAnthropic IPO by which date?
- December 31,+3.0pt90%
- December 15,86%
- November 30,85%
+7 weitere Ergebnisse
- Gesamtvolumen
- 2,3 Mio. €
KALSHIBest AI in Sep 2026?
- Claude+3.0pt81.3%
- ChatGPT-2.0pt13.1%
- Gemini-3.0pt1.9%
+4 weitere Ergebnisse
- Gesamtvolumen
- 344.925,6 €
KALSHIBest AI at the end of 2026?
- Claude+3.6pt62%
- ChatGPT-4.4pt22%
- Grok-0.2pt8%
+5 weitere Ergebnisse
- Gesamtvolumen
- 9,1 Mio. €
POLYMARKETOpenAI’s Astra Model: Text Arena Debut?
- 1480+-7.5pt63%
- 1490+-9.0pt54%
- 1500+-1.0pt28%
+2 weitere Ergebnisse
- Largest IPO by market cap in 2026?
- When will Anthropic officially announce an IPO?
- Gemini 4.0 released by which date?
- OpenAI IPO Closing Market Cap
- Anthropic IPO Closing Market Cap
- Next Google Gemini Pro Model released by which date?
- When will OpenAI achieve AGI?
- Will Anthropic’s valuation hit __ by December 31?
- Will OpenAI's valuation hit __ by December 31?
- Best Chinese AI Company end of September?
Häufige Fragen
- Wie stehen die aktuellen Quoten für Before 2028, will AI systems outperform mathematicians at suggesting reasonable explanations for new OEIS sequences??
- Manifold Markets bewertet No mit 58% (Stand: 8. September 2026).
- Wann wird Before 2028, will AI systems outperform mathematicians at suggesting reasonable explanations for new OEIS sequences? entschieden?
- Before 2028, will AI systems outperform mathematicians at suggesting reasonable explanations for new OEIS sequences? soll am 2. Januar 2028 entschieden werden.
- Wie wird Before 2028, will AI systems outperform mathematicians at suggesting reasonable explanations for new OEIS sequences? abgerechnet?
- Manifold Markets rechnet diesen Markt wie folgt ab: This question aims to test whether AI systems will approach the breadth and maturity of the professional mathematical community before 2028.