can AI do real math research? "HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification" This paper turns a vague debate into a measurable test by introducing a contamination-resistant benchmark of 101 mostly unsolved problems across 8

→ View original post on X — @askalphaxiv