A OpenAI diz que a sua IA derrubou uma hipótese com 27 anos

A OpenAI anunciou a 26 de outubro que os seus modelos produziram resultados novos em matemática, informática e física. O mais falado é a refutação da Hipótese do Tempo Exponencial, proposta em 1999: uma suposição sobre quão difíceis são certos problemas para um computador, na qual se apoiam centenas de artigos científicos.

O que não muda. O resultado não dá uma forma prática de resolver esses problemas depressa e não resolve a grande questão da área, conhecida como P contra NP.

Quem está a confirmar. As provas estão publicadas e parte foi verificada em Lean, um programa que confirma a lógica de uma demonstração. Um grupo com dois dos autores da hipótese, Russell Impagliazzo e Ramamohan Paturi, e Ryan Williams, do MIT, vai rever a prova em aberto, e avisa que participar na revisão não significa concordar com a OpenAI. Na física, a revisão é liderada pelo Nobel David Gross.