Tip

AI Models Score Perfect 42/42 at IMO 2026, Faster Than Human Contestants

Published: 2026-07-21 11:33 Source: X: Deedy Das (@deedydas)

Claude Fable 5, GPT 5.6 Sol, Kimi K3, and Axiom Math all scored perfect 42/42 at IMO 2026. Among them, Fable 5 solved all problems in one go and was the fastest, Sol had the lowest cost, and Axiom Math completed formal proofs using Lean. Fable and Sol took less than 4 hours, far shorter than the human contestants' 9 hours.

Read the original (opens in a new tab)

News stream data aggregated by AI HOT

Related newsLatest in this category

Tip Tibo pauses X updates, returning tomorrow

07-28 13:44 · X: Tibo (@thsottiaux)

Tip Kimi K3 Technical Report: 2.8 Trillion Parameters, 2.5x Compute Efficiency Improvement

07-28 13:29 · X: Xiaohu (@xiaohu)

Tip GLM 700B Parameter Model Performance Approaches Opus Level

07-28 13:26 · X: Aravind Srinivas (Perplexity CEO) (@AravSrinivas)

Tip Kimi K3 open source ignites AI open source war, Huang Renxun joins 77 companies in petition against sanctions

07-28 12:59 · X: Kazik (@Khazix0918)

Tip From Self-Developed JIRA to Returning to Linear: The Maintenance Dilemma of Vibe Coding

07-28 12:56 · X: Oran Ge (@oran_ge)