Theorem Proving on DeepMath
94FR (Fetch Rate)Gemini-3-Flash
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Gemini-3-FlashThinking level=low2026.01 | 94 | 26 | 20 | |
| Baseline2026.01 | 92 | 16 | 14 | |
| Gemini-3-ProThinking level=low2026.01 | 90 | 32 | 30 | |
| Claude-Sonnet-4.5 (Agentic)2026.01 | 88 | 28 | 26 | |
| Qwen-Max (Agentic)2026.01 | 88 | 10 | 10 | |
| GPT-5.2 (Agentic)2026.01 | 74 | 14 | 14 | |
| DeepSeek-V3.2-Thinking (Agentic)2026.01 | 70 | 10 | 8 | |
| DeepSeek-V3.2 (Agentic)2026.01 | 68 | 18 | 14 |