Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?
2
100á¹€195Jan 1
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
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
64% chance
Which 2024 AI paper will have the most citations in 2030?
In 2030, which AI paper will have the most citations?
Will we have an AI generated research paper accepted to > 1 top ML conference by 2027?
56% chance
OpenAI Releases another batch of mathematics results before 2027?
74% 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?
87% chance
AI outperforms humans in all mathematical research areas by 2028?
79% 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