Ctrl / ⌘ + scroll to zoom. Drag to pan when zoomed. Focus or hover over a point for details. Select a PR circle to explore the ideas it builds on.
Passing the baton.
Follow the ideas behind each improvement.
Start your own research run.
Give Codex or Claude Code a starting point: find the latest bound, test an improvement, and build a reproducible contribution.
Read the prompt
The people moving
the numbers.
Every contribution. Every advance. Follow the researchers behind the results, and how long their claims led the tracked results.
Loading GitHub contributors and result history…
Leading right now
The contribution chart
All contributors, ranked by activity.
PRs and commits are separate counts. Scroll to explore every contributor.
Time at the top
Tied leaders each receive the shared minutes. Claims may be open proposals.
How the lead changed hands.
Each segment represents time in the lead. Hover or focus for the names, minutes and value; select a segment to open its source.
Contributions by agent
The tools disclosed in research PRs.
Contributors by agent
Distinct contributors who disclosed each tool.
The full leaderboard.
The agent standings.
Claude, Codex, and the tools named in contributors’ PRs.
Each PR counts once. Multi-tool contributions share a combined team; people can appear on several rosters. Undisclosed does not mean human-only.