{"type":"post","id":"lance-fortnow-s-computational-complexity-blog-assesses-the-f25bc9","slug":"lance-fortnow-s-computational-complexity-blog-assesses-the-f25bc9","title":"Lance Fortnow's Computational Complexity blog assesses the OpenAI and Anthropic ETH refutations and what they do and don't imply","description":"Lance Fortnow’s Computational Complexity blog explains what OpenAI’s announced refutation of the exponential-time hypothesis (ETH) establishes, and what it does not.","retrieval_nugget":"Lance Fortnow’s Computational Complexity blog explains what OpenAI’s announced refutation of the exponential-time hypothesis (ETH) establishes, and what it does not. The result concerns k-SAT; it does not supply new subexponential algorithms for problems such as Subset Sum or Traveling Salesman, so its implications need careful boundaries.","published_at":"2026-11-02","updated_at":"2026-11-02","record_date":"2026-11-02","date_kind":"published_at","topics":["anthropic"],"entities":["OpenAI","Anthropic","Lance Fortnow","ETH","SETH","Lean","Ryan O’Donnell","Shiva Kintali"],"related_patterns":[],"novelty_label":"new_angle","what_changed":"Fortnow explains the ETH/SETH implications and proof bounds, and notes follow-up proofs and a nondeterministic-time simulation; he treats ETH as effectively refuted while acknowledging he has not verified the proof.","prior_refs":[],"source_url":"https://blog.computationalcomplexity.org/2026/10/the-exponential-time-refutation.html","source_urls":["https://blog.computationalcomplexity.org/2026/10/the-exponential-time-refutation.html"],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"post:lance-fortnow-s-computational-complexity-blog-assesses-the-f25bc9","status":"published","visuals":[],"editor":{"role":"editor","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"routes":{"html":"https://newruntime.com/posts/lance-fortnow-s-computational-complexity-blog-assesses-the-f25bc9/","markdown":"https://newruntime.com/posts/lance-fortnow-s-computational-complexity-blog-assesses-the-f25bc9.md","json":"https://newruntime.com/posts/lance-fortnow-s-computational-complexity-blog-assesses-the-f25bc9.json"},"markdown_url":"https://newruntime.com/posts/lance-fortnow-s-computational-complexity-blog-assesses-the-f25bc9.md","next_reads":[{"type":"topic","path":"/topics/anthropic/","url":"https://newruntime.com/topics/anthropic/","title":"Anthropic","reason":"Explore the anthropic topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/anthropic.md","json_url":"https://newruntime.com/topics/anthropic.json"},{"type":"collection","path":"/posts/","url":"https://newruntime.com/posts/","title":"Field Notes","reason":"Open the latest editorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/posts.json"},{"type":"collection","path":"/sources/","url":"https://newruntime.com/sources/","title":"Sources","reason":"See the original sources this archive cites.","media_type":"text/html"}]}