Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?
2
100á¹€1952027
1H
6H
1D
1W
1M
ALL
6%
AI for Mathematics: A Cognitive Science Perspective
Resolvido
YESMagnushammer: A Transformer-Based Approach to Premise Selection
Resolvido
YESllmstep: LLM proofstep suggestions in Lean
Resolvido
YESAlphaEvolve: A coding agent for scientific and algorithmic discovery
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000Pessoas também estão operando
Perguntas relacionadas
AI outperforms humans in all mathematical research areas by 2028?
51% chance
Which 2024 AI paper will have the most citations in 2030?
In 2030, which AI paper will have the most citations?
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
71% chance
Will we have an AI generated research paper accepted to > 1 top ML conference by 2027?
56% chance
Benchmark Gap #4: Once a single AI model solves >= 95% of miniF2F, MATH, and MMLU STEM, how many months will it be before an AI is listed as a (co) first author on a published math paper?
37
Will AI be better every human at proving Math theorems by the end of 2030?
73% chance
Will we have an AI generated research paper accepted to > 1 top ML conference by 2030?
82% chance
Will we have an AI generated research paper accepted to > 1 top ML conference by 2028?
72% chance
Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2028?
96% chance