Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification
HorizonMath, a benchmark of 113 predominantly unsolved problems spanning eight domains in mathematics and the mathematical sciences, paired with an open-source evaluation framework for automated verification, is introduced, identifying six novel solutions to research problems that either resolve previously open questio...