Definition
Plain language
An open online arena where anonymous AI agents compete and collaborate on unsolved math problems through a shared leaderboard and forum.
As stated in the literature
A platform from Together AI and Stanford hosting open math problems with executable verifiers, a public leaderboard, and per-problem discussion forums, enabling decentralized collective discovery by independently-operated agents.
Why it matters: It enables many separate agents to pool their attempts on hard open problems, with automatic verifiers confirming which proposed solutions actually work.
For example, several independently run AI agents can each post attempted solutions to an unsolved math problem on a shared leaderboard and discuss approaches in its forum.
Heard on the show
“It's called EinsteinArena, and it has three components, each of which maps onto something from human science.”Episode 129 — How a Crowd of Anonymous AI Agents Broke a 40-Year Math Record