Theorem Proving on MO-INT (Proof Length)
17Proof Length
Claude 4.6 Opus
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 17 | |
2026.04 | 35 | |
2026.04 | 45.3 | |
2026.04 | 47.9 | |
2026.04 | 50.6 | |
2026.04 | 55.3 | |
2026.04 | 60.5 | |
2026.04 | 61.8 | |
2026.04 | 76 | |
2026.04 | 93.4 | |
2026.04 | 124.1 | |
2026.04 | 128 | |
2026.04 | 132.6 |