HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification | Signal Canvas | ScienceToStartup