IMO 2026

mentions 2 type Person feed RSS

// recent coverage 2 mentions

00:00

2026-07-26

mindstudio.ai

artificial-intelligence

Claude Opus 5 Benchmarks: The Numbers Anthropic Didn't Headline

Claude Opus 5 scored 30% on Arc AGI 3, roughly three times the next best model, and achieved a perfect 42 out of 42 on IMO 2026 without tool use, according to independent benchmarks. Anthropic describ…

09:53

2026-07-17

github.com

artificial-intelligence

AxiomProver at IMO 2026 (perfect score)

AxiomProver, an autonomous multi-agent ensemble theorem prover for Lean 4 developed by Axiom Math, achieved a perfect score of 42/42 at the International Mathematical Olympiad (IMO) 2026 in Shanghai o…

// co-occurs with top 8 entities

AxiomProver 1 Axiom Math 1 Lean 4 1 Mathlib 1 Axle 1 Claude Opus 5 1 Anthropic 1 Claude Fable 5 1

// topics top 4 topics

artificial intelligence 2 ai research 2 ai products 2 ai agents 1