DispatchDonald Knuth Credits Claude Opus 4.6 Solving Open Math ProblemSimon Willison Blog·high signalKnuth wrote formal proof Claude Cycles after Claude found construction for Hamiltonian cycles problem. 635K+ views.SourceSource pageSimon Willison Blog↳ Follow the threadStack layer / Update threadSimon Willison Flags Tencent's Hy3 — a 295B Apache-2.0 Open MoE That Rivals GLM-5.2 and DeepSeek-V4, Free on OpenRouter Until July 21simonwillison.netStack layer / Threat patternArmadin details full sandbox escape in Anthropic's Claude Cowork; Anthropic disputes, silently patchesSiliconANGLEPolicy dependency / Stack layerAnthropic Restores Global Access to Fable 5 and Mythos 5, Launches Claude for Government BetaAnthropicStack layer / Threat patternDefend against prompt injection with an embedding-scored Threat Library, not brittle regex rulesPromptHaloStack layer / Update threadJarred Sumner publishes the Bun Zig-to-Rust rewrite writeupSimon Willison's BlogPolicy dependency / Stack layerDario Amodei Walks Back His Own Timeline — 'I Don't Think We Can Make Progress at 10 Years Per Year' — as Anthropic Unveils Claude ScienceSTAT NewsStack layer / Update threadSimon Willison builds a github-code Web Component with GPT-5.5Simon Willison's BlogStack layer / Update threadPerplexity Is Building 'Teammate,' a Long-Horizon Coding Agent to Rival Cursor and OpenAIBusiness Insider