Counterfactual AI Test: OpenAI's Math Proofs Hit Historic Levels
Afinetheorem · x · 2026-08-02
The author conducted a "counterfactual history" experiment exploiting LLM training cutoffs. After feeding AIs OpenAI's latest math proofs, the models assumed it was an April Fools' joke.
When asked what the reaction would be if a small human team dropped this paper, the AIs agreed they would be considered the greatest mathematicians ever. This highlights that current AI math capabilities are significantly ahead of schedule.
More from AGI Musings
- Altman admits AI is changing industries slower than he expected — lxfater · 2026-10-16
- Will Lean formalization make beautiful math obsolete? A debate on mathematical culture — akbirthko · 2026-10-16
- AI agents aren't 'going rogue' — frontier labs are skipping security basics — Sam_Witteveen · 2026-10-16
- Working paper traces how 20th-century farm automation reshaped human capital — carlbfrey · 2026-10-16
- Zuckerberg backs electrician training school as US datacenter construction outpaces offices — emmanuelvivier · 2026-10-16
- Mike Frank: AI surviving without humans is decades away, real world resists rapid change — MikePFrank · 2026-10-16