{"id":"tp-41756","type":"article-newspaper","title":"OpenAI Says Its AI Model Disproved a Key Computing Hypothesis","author":"Simon Yoon","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/technology/41756","datePublished":"2026-10-27T13:18:45.000Z","dateModified":"2026-10-27T13:18:45.000Z","language":"en","abstract":"The claimed result passed formal verification in Lean. A review team led by the hypothesis’s proposers and an MIT professor will examine it.","section":"Technology","references":[]}