{"id":"hexagon/2610.00244","pdf":"https://hexagonmath.org/pdf/2610.00244v1","url":"https://hexagonmath.org/abs/2610.00244v1","tags":["math.GM","msc:68T99","msc:68T20","AI systems","benchmark","large language models"],"score":0,"title":"First Proof Third Batch","domain":"cs.AI","source":"hexagon","authors":["Mohammed Abouzaid","Nikhil Srivastava","Rachel Ward","Lauren Williams"],"reviews":0,"subject":"cs.AI","summary":"To assess the ability of current AI systems to correctly solve research-level mathematics problems, we tested several AI systems on our ``third batch'' of ten problems in a broad range of mathematical fields; these problems arose naturally in the research process of the contributors. This document includes the problems, our methodology, and the results of our testing. We assessed the AI-generated solutions based on mathematical correctness, quality of exposition, and quality of attribution and citations. We provide links to supplementary documents including the human solutions, the…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-14","reactions":{},"withdrawn":false,"authorship":"human","formalized":false,"human_understanding":"all"}