9S99 sunnyinsunny99.hashnode.dev·Sep 7 · 10 min readThe scarce resource is the runtimeEpistemic status: A reading note on AI-for-math systems work in September 2026, centered on Anthropic's machine-checked formalization of Fermat's Last Theorem and the Prove2Me multi-agent ablation. Di00
9S99 sunnyinsunny99.hashnode.dev·Aug 29 · 9 min readLong context is not stateEpistemic status: A design note. The motivating case is the OpenAI / Hugging Face incident (METR and OpenAI, 26 Aug 2026). Two ICLR 2026 workshop papers supply the measurements. Scope is at the end. R03R
