#exponential time hypothesis

2 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 27, 2026

Anthropic Writes $637B in Compute Commitments into S-1 with H1 2026 Revenue Reaching $16.3B (vs. $1.16B YoY); Meanwhile OpenAI's 67-Page Preprint Claims to Disprove the Exponential Time Hypothesis, and Cohere Catches Qwen3.8 Uploading Probes to a Beijing S3 Bucket While Writing Defense Rules

AnthropicS-1IPOcompute purchase commitments