AI RESEARCH
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification
arXiv CS.LG
•
ArXi:2603.15617v1 Announce Type: new Can AI make progress on important, unsolved mathematical problems? Large language models are now capable of sophisticated mathematical and scientific reasoning, but whether they can perform novel research is still widely debated and underexplored. We