HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification Paper • 2603.15617 • Published 4 days ago • 6