Back
Models6/day by emailPrimary
Epoch AI's FrontierMath Erdős benchmark tasks AI models with proving or disproving 68 significant unsolved Erdős problems in Lean, each within a fixed $300, 72-hour budget. Running five frontier models in August 2026, only one produced any verified solution: GPT-6 Astra solved 2 of 68 problems (3%) — every other model tested scored 0%
Verified 2026-09-16
THE INTELLIGENCE CLUB
Facts like this, six days a week
The Daily Receipts on weekdays, The Weekly Brief on Saturday — six sourced facts a day by email, two more than the free site shows. Every one traced to the filing it came from. Free.
Free forever. Six emails a week — The Daily Receipts on weekdays, The Weekly Brief on Saturday — drop either in one click.
Read this morning's edition →The screener · 72 companiesEvery layer of the AI chain, priced dailyHow this was verifiedEvery figure links to the filing it came from
More on Models
- AI models can now win gold at the International Mathematical Olympiad, yet Stanford's 2026 AI Index found they still fumble a task most children master early. Across ClockBench's 180 clock designs and 720 questions, the top model, GPT-5.4 High, read analog clocks correctly only 50.6% of the time, versus 90.1% for humans
- Frontier AI models are catching up fast to benchmarks meant to resist them. A year ago they scored under 10% on Humanity's Last Exam, a 2,700-question test designed to be hard for AI and favorable to human experts. Now accuracy has reached 38.3% on Humanity's Last Exam, up from under 10% a year earlier
- AI agents attempting OSWorld's real-world computer tasks across Ubuntu, Windows and macOS — file operations, multi-app workflows — historically topped out at just 1% to 12% success. Stanford's 2026 AI Index reports the best model, Claude Opus 4.5, now reaches 66.3% accuracy, within 6 percentage points of the 72.35% human baseline 66.3% accuracy on OSWorld's real-computer-task benchmark