TLDRocket
Sign in

AI Benchmarking

290 summarised stories about AI Benchmarking, each linking back to the original source. Browse all topics →

+ Follow this topic

Monday, 7 September 2026

The Frontier AEO Tracker: What Astra Chooses (and every other frontier model, and what you can do about it)

Latent Space 1 month ago 41

The Latent Space Frontier AEO tracker compares what frontier models recommend across categories using Astra-extracted answers and a proprietary AEO scoring method. It evaluated 161 categories using 6 prompt variations over 7 models. The results show dominant choices in 28 categories, category-specific recommendation bias, and generation-to-generation flips, with Astra tending to use fewer sources and change its mind less often.

The Curiously Playable Universe

Contraptions 1 month ago 32 ● 21 sources

AlphaProof, from Google DeepMind, solved 3 of the 5 non-geometry problems at the 2024 International Mathematical Olympiad using Lean, where proofs are mechanically checked. The result was 3 solved out of 5 non-geometry problems. The article argues this points less to AI gaining human-like intuition and more to mathematics, programming, and physics being turned into formal, verifiable “game board” representations that make automated proving feasible.

The daily briefing

Every AI story that matters, in your inbox by 8am.

TLDRocket reads all relevant sources, removes duplicate coverage, and summarises the day in two minutes. Follow companies and topics for alerts, or get the briefing in Slack. Free, no spam, unsubscribe anytime.