{"version":1,"type":"story","url":"https://digestai.news/story/openai-model-allegedly-disproves-exponential-time-hypothesis","json":"https://digestai.news/story/openai-model-allegedly-disproves-exponential-time-hypothesis.json","markdown":"https://digestai.news/story/openai-model-allegedly-disproves-exponential-time-hypothesis.md","slug":"openai-model-allegedly-disproves-exponential-time-hypothesis","headline":"OpenAI model allegedly disproves Exponential Time Hypothesis","summary":"OpenAI claims an internal model disproved the Exponential Time Hypothesis (ETH), a long-standing conjecture in computer science. The company announced the result on October 26, saying its model found the disproof on October 16. OpenAI verified the claim using Lean, a proof-verification language, and published the model’s write-up and proof on GitHub.\n\nThree researchers—Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams—will independently review the claim. They emphasized their role is not an endorsement and warned that the result requires careful scrutiny. OpenAI agreed to release raw data and fund a conference for further examination. The researchers also raised questions about how credit should be assigned when AI discovers results first, referencing concerns from the Leiden declaration in June.","keyPoints":["OpenAI’s internal model allegedly disproves the Exponential Time Hypothesis (ETH) on October 16, verified via Lean proof","Researchers from UC San Diego and MIT will independently review the claim, but stress no endorsement or payment","OpenAI released raw data and agreed to fund a conference for further scrutiny"],"whyItMatters":"If verified, the disproof of ETH could reshape theoretical computer science by challenging assumptions about problem-solving complexity.","category":{"slug":"research","name":"Research","url":"https://digestai.news/category/research"},"entities":{"companies":["OpenAI"],"models":[],"people":["Russell Impagliazzo","Ramamohan Paturi","Ryan Williams","Francis Zane","David Gross","Michael Douglas"]},"firstPublishedAt":"2026-10-26T15:30:00Z","updatedAt":"2026-10-26T23:34:58Z","sourceCount":2,"hasPrimarySource":false,"sources":[{"outlet":"thenextweb.com","title":"OpenAI says its AI model has disproved the Exponential Time Hypothesis","url":"https://thenextweb.com/news/openai-exponential-time-hypothesis-false-kakeya-yang-mills","publishedAt":"2026-10-26T15:30:00Z","type":"press","primary":false,"lead":true},{"outlet":"The Verge AI","title":"OpenAI announces three big science discoveries and a new way to work with academics","url":"https://theverge.com/ai-artificial-intelligence/1019143/openai-eth-kaseya-science-math-physics","publishedAt":"2026-10-26T23:34:58Z","type":"press","primary":false,"lead":false}],"sourceNotes":null,"discussions":[],"thread":null,"cite":{"text":"Digest AI, \"OpenAI model allegedly disproves Exponential Time Hypothesis\", 26 October 2026, https://digestai.news/story/openai-model-allegedly-disproves-exponential-time-hypothesis","publisher":"Digest AI","title":"OpenAI model allegedly disproves Exponential Time Hypothesis","datePublished":"2026-10-26T15:30:00Z","url":"https://digestai.news/story/openai-model-allegedly-disproves-exponential-time-hypothesis"},"generatedBy":"Written by Digest AI's editorial model from the linked sources; the sources are the record.","license":"Headlines, digests and key points are written by Digest AI and may be quoted with a link to the story page. Linked articles belong to their publishers. Terms: https://digestai.news/terms#reuse"}