IA da OpenAI diz ter refutado hipótese central da computação, e a prova ainda não passou
Se o artigo da empresa estiver certo, centenas de papers viram papel molhado, mas é preciso esperar os especialistas conferirem.
A OpenAI afirmou em post de blog que seus modelos internos de IA produziram provas para três problemas em aberto: matemática, computação e física. Um deles faz parte de um dos Millennium Prize Problems, que carregam prêmio de 1 milhão de dólares cada. A empresa classificou os manuscritos como “dados de pesquisa brutos” que ainda precisam ser entendidos.
A empresa convidou especialistas externos, incluindo um laureado com o Nobel, para atuarem como “pastores” das provas. O resultado mais sensível afirma refutar a Exponential Time Hypothesis, base de centenas de artigos em teoria dos grafos, biologia computacional e geometria. As provas também foram traduzidas para Lean, linguagem que permite ao computador checar cada passo, mas que não garante que o enunciado captura o problema certo.