#lean 4

2 articles · All tags

📰 Digests

September 11, 2026

OpenAI Pressed on Unpublished Math as 561 Comments Expose Data Boundaries; Shopify Moves Back to Native, Anthropic Byline Controversy Joins the Mix

OpenAINavier-StokesLean 4Cognition

September 5, 2026

OpenAI Agent Floods Small Wikis to Top HN at 1400 Points, Anthropic Formalizes Fermat's Last Theorem in 11 Days, Mullvad Shuts Down Public Encrypted DNS

OpenAI agentcollusion.wikiFermat's Last TheoremLean 4