OpenAI diz que IA fez três descobertas científicas; resultados serão checados

A OpenAI anunciou três descobertas científicas que atribui a seus modelos de inteligência artificial, nas áreas de matemática, ciência da computação e física. São alegações da própria empresa, que ainda dependem de verificação pela comunidade acadêmica e não devem ser vistas como conclusões estabelecidas.

Entre as afirmações estão provas que resolveriam conjecturas matemáticas antigas, a refutação de uma hipótese influente sobre os limites da computação e um avanço teórico ligado à física de partículas. Conjectura, vale explicar, é uma afirmação que os cientistas acreditam ser verdadeira, mas que ainda não foi demonstrada de forma definitiva.

Três casos, três formas de checagem

Desta vez, a empresa apresentou uma estratégia para envolver pesquisadores independentes na análise. A iniciativa surge depois de críticas à maneira como a OpenAI divulgou, no início de outubro, centenas de trabalhos matemáticos gerados por IA.

Cada área segue um caminho diferente. Na matemática, a empresa publicou diretamente o material produzido pelo modelo. Em ciência da computação, liberou a prova e organizou um grupo externo para examiná-la. Na física, os especialistas responsáveis optaram por preparar o trabalho antes de divulgar o que foi gerado pela IA. A OpenAI reconhece que os resultados ainda precisam ser convertidos em conhecimento científico compreensível e verificável.

O caso da computação

A segunda descoberta envolve a Hipótese do Tempo Exponencial, conhecida como ETH. Muito usada na ciência da computação teórica, ela sustenta que certos problemas de satisfatibilidade de fórmulas booleanas não podem ser resolvidos por algoritmos exatos em tempo subexponencial, ou seja, com um crescimento do esforço menor que o exponencial.

Segundo a OpenAI, o sistema encontrou um algoritmo determinístico que conta com exatidão as atribuições que satisfazem fórmulas CNF de largura fixa, em tempo subexponencial e espaço polinomial. No caso do problema 3-SAT, isso contrariaria a ETH. Se for confirmado, pesquisadores poderão ter de rever resultados teóricos que dependem da hipótese, usada em centenas de trabalhos de áreas como teoria dos grafos, biologia computacional e geometria computacional.

Para avaliar a alegação, foi formado um grupo liderado por Russell Impagliazzo e Ramamohan Paturi, da Universidade da Califórnia em San Diego, e por Ryan Williams, do MIT. Impagliazzo e Paturi participaram da formulação original da hipótese, em 1999. A prova em linguagem natural e sua versão formalizada em Lean, um software de verificação de demonstrações, estão públicas no GitHub. O grupo convidou a comunidade científica a colaborar e a debater como descobertas feitas por IA devem ser examinadas. Segundo a matéria, a participação dos especialistas não equivale a uma confirmação antecipada, e o próprio grupo defende uma análise independente e cuidadosa.

A alegação na física

A terceira afirmação diz respeito à física teórica. A OpenAI declara ter produzido uma demonstração matematicamente rigorosa da existência de certas teorias quânticas de campos interagentes em quatro dimensões, com campos de calibre e férmions. O trabalho incluiria a cromodinâmica quântica, que descreve a interação entre partículas como quarks e glúons pela força forte, e uma extensão unificada do Modelo Padrão.

A empresa também afirma que o resultado abrange a existência da teoria de Yang-Mills pura, ligada a um dos problemas do Prêmio do Milênio do Instituto Clay de Matemática. Nas informações disponíveis, ainda não está claro como será feita a checagem detalhada dessa alegação, nem se ela será aceita pelos especialistas.