ResearchTasksFormal Mathematical Answer-ConstructionFormal Mathematical Answer-ConstructionFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedMathArena 2026GPT-5.46AIME I Score8Jun 2, 2026PutnamBenchGPT-5.4+Goedel-Prover-V2-32B17Solved Instances7Jun 2, 2026