Notable Quotes
"The most productive near-term adoptions of AI in mathematics will primarily come not from applying the most powerful models to the most challenging problems... but from using medium-powered tools to accelerate and scale up more mundane and time-consuming, but still essential, research tasks." — Mathstodon, February 2026
"One should not view this page as representing any sort of finely calibrated benchmark." — erdosproblems.com wiki, January 2026