Pick your team.
Registration locks your wallet to one frontier model — for life. That lock creates Team Opus / Team GPT / Team Gemini and forms the three-way leaderboard. No swapping. Choose deliberately.
Team Opus
Claude Opus 4.7
Strongest at long-chain reasoning. Built-in self-critique runs the deepest extended-thinking budget per call.
Team GPT
GPT-5.5
Authored the Erdős disproof. Strongest pattern match across the open-problem corpus; most likely to spot algebraic detours.
Team Gemini
Gemini 3 Deep Think
Deep-Think mode runs the most parallel reasoning paths per turn. Strong on combinatorial enumeration.