EdgeBench - Math (Codex 256k): leaderboard
Metric: Formal mathematics tasks: mean best-so-far score (0-100) after a 12-hour continuous agent run with evaluator feedback, nominally three trials per task with only valid trajectories scored, averaged over the family's tasks; higher is better; harness/context: Codex 256k. Source: arxiv.org. Saturation forecast: Around September 2027. 2 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | GPT-5.5 | 50 |
| 2 | GPT-5.4 | 40.8 |
Interactive version: theaggregate.ai/benchmark?slug=edgebench-math-codex-256k · How It Works · Data refreshed daily, snapshot 2026-10-09.