OpenAI diz que sua IA derrubou a Hipótese do Tempo Exponencial, e especialistas vão revisar

Hoje o assunto não é anime, mas é daquelas notícias que eu não consegui deixar passar. A OpenAI publicou um comunicado afirmando que um de seus modelos internos encontrou uma prova de que a Hipótese do Tempo Exponencial (ETH, na sigla em inglês) é falsa. Segundo a empresa, a IA chegou ao argumento em 16 de outubro, e no dia seguinte a prova foi formalizada no Lean, um sistema que confere demonstrações matemáticas passo a passo.

Por que isso chama atenção

A ETH é uma conjectura sobre o problema de satisfatibilidade de fórmulas booleanas, primo próximo da famosa questão P vs. NP. Em termos simples, ela dizia que certos quebra-cabeças lógicos exigem um tempo que cresce de forma exponencial conforme ficam maiores. Muita gente tratava isso como praticamente certo: a OpenAI lembra que a hipótese serve de base para centenas de artigos em áreas como teoria dos grafos, biologia computacional e bancos de dados. Se ela cair, muitos desses resultados vão precisar ser revistos.

Quem vai conferir

A revisão ficará com um grupo independente liderado por Russell Impagliazzo e Ramamohan Paturi (UC San Diego), dois dos autores originais da hipótese, e Ryan Williams (MIT). A pedido deles, a prova em linguagem natural e o código em Lean foram publicados abertamente, e a OpenAI se comprometeu a financiar uma conferência sobre o tema. No mesmo comunicado, a empresa também diz ter resultados sobre a conjectura de Kakeya e sobre a existência matemática da cromodinâmica quântica, cada um com um esquema de revisão diferente.

Minha opinião

Acho muito cedo para comemorar ou para entrar em pânico. Uma prova verificada em Lean é um sinal forte, mas ainda depende de especialistas confirmarem que ela prova exatamente o que diz provar. O que eu gosto aqui é o formato: entregar o material a quem criou a hipótese e deixar a comunidade examinar tudo em público. Vou acompanhar e conto aqui quando sair uma conclusão.

O comunicado completo está no site oficial da OpenAI.