Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?
2
100Ṁ1952027
1H
6H
1D
1W
1M
ALL
50%
Magnushammer: A Transformer-Based Approach to Premise Selection
50%
AlphaEvolve: A coding agent for scientific and algorithmic discovery
8%
llmstep: LLM proofstep suggestions in Lean
6%
AI for Mathematics: A Cognitive Science Perspective
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
People are also trading
Related questions
Will any AI model achieve > 40% on Frontier Math before 2026?
75% chance
Which 2024 AI paper will have the most citations in 2030?
In 2030, which AI paper will have the most citations?
Will there be a research paper that uses Manifold data and has 100 Google Scholar citations by the end of 2025?
36% chance
Which of the ICML 2023 Outstanding Paper award winners will have the most citations at the end of 2025?
Will a paper solely authored by an AI research agent receive at least 100 citations by EOY 2025?
7% chance
Will this paper (https://arxiv.org/pdf/2410.00965) get at least 50 citations by the end of 2025?
11% chance
Will we have an AI generated research paper accepted to > 1 top ML conference by 2026?
35% chance
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
25% chance
Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2026?
19% chance