Regras

Em 26 de outubro de 2026, a OpenAI anunciou que seu sistema de IA "provou que a ETH é falsa, um resultado que foi posteriormente verificado no Lean". (ver: https://openai.com/index/building-scientific-understanding-with-academic-communities/) Este mercado será resolvido como "Sim" se uma refutação da Hipótese do Tempo Exponencial for confirmada por pelo menos um dos métodos de confirmação qualificáveis listados abaixo até a data especificada, 23:59 ET. Caso contrário, este mercado será resolvido como "Não". A "Hipótese do Tempo Exponencial" refere-se à conjectura formulada por Russell Impagliazzo e Ramamohan Paturi de que o problema 3-SAT não pode ser resolvido em tempo subexponencial. Uma "refutação" refere-se a qualquer prova matemática de que a Hipótese do Tempo Exponencial é falsa, incluindo a prova apresentada no artigo da OpenAI intitulado "A Hipótese do Tempo Exponencial é Falsa" (https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf) e qualquer versão corrigida, revisada ou ampliada dela, seja pela OpenAI ou por terceiros. Não serão qualificadas as confirmações que apenas estabeleçam um resultado mais fraco, como um algoritmo mais rápido que não refute a Hipótese do Tempo Exponencial, ou que apenas estabeleçam que o código Lean da OpenAI compila. Os métodos de confirmação qualificáveis são: (i) Publicação revisada por pares: um artigo que apresente uma refutação, seja de autoria da OpenAI ou de outros pesquisadores, é publicado em, ou aceito para publicação por, uma revista científica conceituada e revisada por pares ou uma conferência revisada por pares (por exemplo, STOC, FOCS, SODA). Preprints e outras publicações que não tenham concluído a revisão por pares não serão qualificadas. (ii) Verificação independente: o grupo de revisão liderado por Russell Impagliazzo, Ramamohan Paturi e Ryan Williams, qualquer um desses três pesquisadores ou outro pesquisador ou grupo de pesquisa confiável sem vínculo com a OpenAI confirma publicamente que uma refutação está correta. A confirmação deve afirmar, sem ressalvas, que a refutação está correta ou que a Hipótese do Tempo Exponencial é falsa (por exemplo, que a prova foi verificada e considerada correta) e deve ser publicada pelo pesquisador ou grupo verificador, ou por seus integrantes, inclusive por meio de artigo, preprint, site, blog ou conta oficial em rede social; confirmações apenas retransmitidas pela OpenAI não serão qualificadas. A confirmação pode se basear na revisão da prova escrita, da formalização em Lean ou de ambas; uma confirmação baseada na formalização em Lean será qualificada se afirmar que o resultado formalizado demonstra que a Hipótese do Tempo Exponencial é falsa. Não serão qualificadas declarações de que a revisão está em andamento, de que nenhum erro foi encontrado até o momento ou de que a refutação provavelmente está correta. Confirmações publicadas ou tornadas públicas após a data especificada não serão consideradas, mesmo que a revisão subjacente tenha ocorrido antes dela. Funcionários, prestadores de serviços e investidores da OpenAI são considerados vinculados à OpenAI. O grupo de revisão liderado por Russell Impagliazzo, Ramamohan Paturi e Ryan Williams, bem como seus integrantes, não será considerado vinculado à OpenAI. A declaração do grupo de revisão de que seu envolvimento não deve ser considerado uma certificação da alegação não impedirá que uma confirmação qualificável posterior do grupo ou de seus integrantes seja considerada para a resolução. Declarações, publicações em redes sociais ou comunicados à imprensa da OpenAI ou de suas afiliadas, reportagens que apenas retransmitam tais alegações e a formalização em Lean publicada pela OpenAI não serão suficientes por si só. A fonte de resolução deste mercado será o consenso de fontes confiáveis e especialistas científicos relevantes que verifiquem a legitimidade da confirmação qualificável.

Tradução automática. Em caso de divergência, prevalece o original.