AI benchmark of unsolved math problems, solutions verifiable programmaticallyepoch.ai2 pointsgreghb5 months ago