#lean 4

4 articles · All tags

📰 Digests

October 28, 2026

OpenAI's Paper Disproving the Exponential Time Hypothesis Formalized in Lean 4 by Anthropic (Authored by Claude, Discovered by Internal Research Model); Same Day Python Steering Council Confirms 3.13 Experimental JIT Removal from Mainline, and Tailscale SSH Acknowledges Privilege Escalation Vulnerabilities

ETHExponential Time Hypothesis3-SATk-CNF

October 21, 2026

eMudhra's 8 Intermediate CA Private Keys Were All Integers Under 256: Browsers Revoked Cleanly in Two Hours, While Go and Electron Await New Releases; 10% of Tor Exit Nodes Held by Ebury for Two Months, Uncovered by a Single Sysadmin Scanning the Entire Network

eMudhraintermediate CAprivate key compromiseKGC script

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