IFML Seminar: 02/20/26 - First Proof

Abstract: To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the research process of the authors. The questions had not been shared publicly until now; the answers are known to the authors of the questions but will remain encrypted for a short time, until February 13, 2026.

Bio: Rachel Ward is a professor of mathematics at UT.  Her research interests include optimization, randomized numerical linear algebra, theoretical machine learning, and AI for Math. From 2023-2025, she was on leave as Principal Researcher at Microsoft Research, working on building and evaluating small language models. 

Zoom link: https://utexas.zoom.us/j/84254847215