Superhuman mathematical problem solving before 2030, assuming no AGI yet?

Will any AI model achieve > 40% on Frontier Math before 2026?

Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?

By EOY 2034, what unexpected views of math will be changed by (superhuman) AI?

Will most physicists believe in a version of the Mathematical Universe Hypothesis by 2030?

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?

Will monkeys be able to learn algebra by 2030?

Will an AI solve any important mathematical conjecture before January 1st, 2030?

Will an AI win a Gold Medal on the International Math Olympiad by 2032?