Regole

Il 26 ottobre 2026 OpenAI ha annunciato che il suo sistema di IA "ha dimostrato che l'ETH è falsa, un risultato successivamente verificato in Lean". (vedi: https://openai.com/index/building-scientific-understanding-with-academic-communities/) Questo mercato si risolverà in "Sì" se una confutazione dell'Exponential Time Hypothesis viene confermata attraverso almeno uno dei metodi di conferma idonei elencati di seguito entro la data specificata, 23:59 ET. Altrimenti, questo mercato si risolverà su "No". L'"Exponential Time Hypothesis" si riferisce alla congettura formulata da Russell Impagliazzo e Ramamohan Paturi secondo cui il problema 3-SAT non può essere risolto in tempo subesponenziale. Per "confutazione" si intende qualsiasi dimostrazione matematica del fatto che l'Exponential Time Hypothesis è falsa, inclusa la dimostrazione presentata nel lavoro di OpenAI intitolato "The Exponential Time Hypothesis is False" (https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf) e qualsiasi sua versione corretta, riveduta o ampliata, sia da parte di OpenAI che di altri. Le conferme che dimostrano soltanto un risultato più debole, come un algoritmo più rapido che non confuta l'Exponential Time Hypothesis, o che dimostrano soltanto che il codice Lean di OpenAI viene compilato, non saranno idonee. I metodi di conferma qualificanti sono: (i) Pubblicazione sottoposta a revisione paritaria: un articolo che presenta una confutazione, sia esso redatto da OpenAI o da altri ricercatori, viene pubblicato o accettato per la pubblicazione da una rivista scientifica autorevole sottoposta a revisione paritaria o da una conferenza sottoposta a revisione paritaria (ad es. STOC, FOCS, SODA). I preprint e le altre pubblicazioni per le quali la revisione paritaria non è stata completata non saranno considerati qualificanti. (ii) Verifica indipendente: il gruppo di revisione guidato da Russell Impagliazzo, Ramamohan Paturi e Ryan Williams, uno qualsiasi di questi tre ricercatori o un altro ricercatore o gruppo di ricerca credibile e non affiliato a OpenAI conferma pubblicamente che una confutazione è corretta. La conferma deve dichiarare senza riserve che la confutazione è corretta o che l'Exponential Time Hypothesis è falsa (ad es. che la dimostrazione è stata verificata ed è risultata corretta) e deve essere pubblicata dal ricercatore o dal gruppo che ha effettuato la verifica, o dai suoi membri, anche tramite un articolo, un preprint, un sito web, un blog o un account ufficiale sui social media; le conferme riportate soltanto da OpenAI non saranno idonee. Una conferma può basarsi sull'esame della dimostrazione scritta, della formalizzazione Lean o di entrambe; una conferma basata sulla formalizzazione Lean sarà idonea se dichiara che il risultato formalizzato dimostra che l'Exponential Time Hypothesis è falsa. Le dichiarazioni secondo cui la revisione è in corso, che finora non sono stati trovati errori o che è probabile che la confutazione sia corretta non saranno idonee. Le conferme pubblicate o rese pubbliche dopo la data specificata non saranno prese in considerazione, anche se la revisione sottostante è avvenuta prima. I dipendenti, i collaboratori a contratto e gli investitori di OpenAI sono considerati affiliati a OpenAI. Il gruppo di revisione guidato da Russell Impagliazzo, Ramamohan Paturi e Ryan Williams e i suoi membri non saranno considerati affiliati a OpenAI. La dichiarazione del gruppo di revisione secondo cui il suo coinvolgimento non deve essere considerato una certificazione dell'affermazione non impedirà che una successiva conferma idonea del gruppo o dei suoi membri venga conteggiata ai fini della risoluzione. Le dichiarazioni, i post sui social media o i comunicati stampa di OpenAI o dei suoi affiliati, i resoconti dei media che si limitano a riportare tali affermazioni e la formalizzazione Lean pubblicata da OpenAI non saranno sufficienti da soli. La fonte di risoluzione di questo mercato sarà un consenso tra fonti credibili ed esperti scientifici pertinenti che verifichino la legittimità della conferma qualificante.

Traduzione automatica. In caso di controversia, fa fede l'originale.