Güncel topluluk tahmini
Evet 57.1%
Tahminciler
17
Soru türü
binary
Yöntem
Play-money forecasting platform
Kaynak türü
Tahmin
Piyasa verileri
36 dakika önce güncellendi
20 Tem 24 09:36 UTC2 Oca 28 07:59 UTC
Trendler
İlgili Piyasalar
Bağlam için ilgili sorular; eşdeğer sözleşmelerin karşılaştırması değildir.
Will a country ban advanced AI systems before 2027?
Manifold MarketsWill any country officially ban or heavily restrict the use of advanced AI systems before January 1, 2027
Manifold MarketsWill the majority of US high school standardized tests be administered and graded by AI systems by 2030?
Manifold MarketsThere will be a name for escaped self-perpetuating AI systems in the wild, and it will be commonly used by mid 2027
Manifold MarketsWill ANOTHER millennium prize problem be solved in 2026?
Manifold MarketsWill we get AGI before 2029?
Manifold MarketsKurallar
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.
