{"id":"arxiv/2602.05192","url":"https://arxiv.org/abs/2602.05192","tags":["cs.AI","math.AG","math.CO","math.GT","math.HO","math.RA"],"score":0,"title":"First Proof","domain":"cs.AI","source":"arxiv","authors":["Mohammed Abouzaid","Andrew J. Blumberg","Martin Hairer","Joe Kileel","Tamara G. Kolda","Paul D. Nelson","Daniel Spielman","Nikhil Srivastava","Rachel Ward","Shmuel Weinberger","Lauren Williams"],"reviews":0,"subject":"cs.AI","summary":"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.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-02-05","reactions":{}}