Simon Willison posted a monthly beat about LLM developments. It was published on 7th September 2026 and includes a sponsor offer of $10/month for an email digest. The change is that the post adds a paid subscription option and promotional links rather than substantive new LLM reporting.
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.
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.
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.
Reading TLDRocket needs no cookies, and the readership counts we rely on come from
our own cookieless analytics. Google Analytics is the exception: it sets cookies and
reports to Google, so it stays switched off until you allow it. You can change your
mind any time from “Cookie settings” in the footer.
Strictly necessary
Session security and form protection (tldrocket-session,
XSRF-TOKEN, 2 hours). The site cannot work without them,
so they need no consent.
Always on
Google Analytics 4 (_ga,
_ga_<id>, up to 2 years). Measures which
stories and sections readers use. Google acts as a third-party processor and may
store the data outside the EU. No advertising, no profiling, no data sold.