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