ResearchBenchmarksMathematical Theorem Proving on OlympiadBenchFollow11.9Proof-level AccuracyBASE11.17211.36111.5511.739Jun 14, 2026Evaluation ResultsMethodMethodLinksProof-level AccuracyBASESolver=Gemini 3 Pro, E...Solver=Gemini 3 Pro, Evaluation Protocol=BASE, Prover=DeepSeek-Prover-V2, K=82026.0611.9BASESolver=R1-Qwen3-8B, Ev...Solver=R1-Qwen3-8B, Evaluation Protocol=BASE, Prover=DeepSeek-Prover-V2, K=82026.0611.8BASESolver=Qwen3-8B, Evalu...Solver=Qwen3-8B, Evaluation Protocol=BASE, Prover=DeepSeek-Prover-V2, K=82026.0611.2