MathNet:30k competition math problems for AI mathematical reasoning benchmarking