IMO 2026

mentions 3 type Person feed RSS

// recent coverage 3 mentions

12:45

2026-10-07

huggingface.co

artificial-intelligence

One Model Family, Two Gold-Level Results: Fine-Tuning Nemotron for IOI and IMO

NVIDIA reported that fine-tuned versions of its Nemotron 3 model family reached gold-medal-level scores at both IOI 2026 and IMO 2026, with Nemotron-3-Ultra-CC scoring 535.4 out of 600 on IOI 2026 — a…

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

Claude Opus 5 1 Anthropic 1 Claude Fable 5 1 Arc AGI 3 1 Apex Agents 1 Mercor 1 Epoch Capabilities Index 1 AxiomProver 1

// topics top 6 topics

artificial intelligence 3 ai research 3 ai products 2 ai agents 1 large language models 1 machine learning 1