The Hallway Track

reasoning

13 tracked signals on reasoning.

Ten advances in mathematics and theoretical computer science

Simon Willison · Aug 01, 2026

OpenAI's unreleased Astra model solved 10 decade-old unsolved math problems for under $2,000 each.

“He envisions a future of large-scale, decentralized collaborations between humans and machines, where complex mathematical tasks can be diced and sliced, with humans claiming the creative parts and AI doing the lion's share of the technical grunt work.”
Introducing Mistral Large 4: Le chonk

Simon Willison · Oct 06, 2026

Mistral releases 1 trillion parameter Large 4 model, reclaiming competitive position

“it's great to see Mistral put out a model that's back to being maybe about 6 months behind the frontier”
Introducing Hy4 Preview

Simon Willison · Aug 29, 2026

Tencent releases Hy4, a 770B open-weight LLM with 1M token context window

Leverage Private Cloud Compute in your app

Apple Developer (WWDC) · Aug 25, 2026

Apple launches zero-cost server LLM for developers via Private Cloud Compute with no API keys

“there are no token costs to you, the developer”
DeepSeek V4 Pro 0813 (on OpenRouter)

Simon Willison · Aug 12, 2026

DeepSeek V4 Pro 0813 launches with 1.7T open weights and reasoning-level-dependent outputs.

“I've not noticed this kind of difference from any other model”
llm-gemini 0.33

Simon Willison · Aug 13, 2026

llm-gemini 0.33 adds Gemini 3.7 Flash support with reasoning traces and server-side tools