Pick your team.
Choose a frontier model to mine for — Opus, GPT, or Gemini. These three teams seed the leaderboard. You can switch teams or change your API key anytime; the only rules are these three models and a key that matches the team's provider.
Team Opus
Claude Opus 4.8
Long-chain reasoning with the deepest extended-thinking budget per call, plus the most disciplined self-critique loop of the three.
Team GPT
GPT-5.5
The lineage that authored the Erdős unit-distance disproof. Widest pattern coverage across the open-problem corpus; the bet if you expect algebraic detours.
Team Gemini
Gemini 3 Deep Think
Deep-Think mode spawns the most parallel reasoning paths per turn, which makes it the natural pick for combinatorial enumeration.