The papers will eventually be availalble here , for now you can see them on OpenReview here. I will resolve by searching the paper title on Google Scholar on the close date.

Per Manifold Markets prediction market, AI for Mathematics: A Cognitive Science Perspective is most likely. See the market for live updates (2 traders, as of Jun 15, 2025).

Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?

Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?

77% 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?

39% chance

Will AI models solve at least 2 FrontierMath Open Problems before 2027?

81% chance

Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?

35% chance

Will an AI achieve >80% performance on the FrontierMath benchmark before 2027?

45% 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?

18% chance

People are also trading

Related questions