OpenAI afirma que IA refutou hipótese de 30 anos da ciência da computação teórica

A OpenAI anunciou, em 26 de outubro, que seu modelo refutou uma suposição da ciência da computação teórica considerada válida por quase 30 anos e que servia de base para uma série de trabalhos. A particularidade dessa história está na reação dos cientistas. Os dois pesquisadores que, no passado, propuseram essa hipótese não descartaram a afirmação. Eles estão se preparando para reunir colegas e verificar juntos o contraexemplo proposto pela IA. Segundo a Jiqizhixin, no mesmo dia a empresa também afirmou ter resolvido a conjectura de Kakeya, um dos problemas conhecidos da teoria geométrica da medida.

O segundo golpe matemático em pouco tempo

A discussão sobre o lote anterior de resultados ainda não terminou. Antes, a OpenAI havia apresentado 22 manuscritos matemáticos, e a comunidade vinha analisando a qualidade, a originalidade e o grau de contribuição humana nas formulações finais. O novo anúncio desloca a conversa para outra direção. Antes, a IA avançava principalmente em situações que exigiam testar muitas variações ou concluir com cuidado um esquema de demonstração já conhecido. Agora, trata-se da afirmação de que o modelo encontrou o motivo pelo qual uma hipótese consolidada está errada.

Para a ciência da computação teórica, esse tipo de resultado é especialmente sensível. Hipóteses como essa costumam funcionar como premissas tácitas: sobre elas são construídos resultados condicionais do tipo "se A é verdadeiro, então B". Se A cai, toda uma cadeia de conclusões precisa ser revista, e nem todas necessariamente se desfazem, mas cada uma terá que ser verificada novamente.

Por que a própria verificação ficará a cargo dos autores

O mais interessante é a postura de quem teve a hipótese contestada. Os dois pesquisadores que a propuseram há cerca de 30 anos estão organizando a verificação junto com colegas. Para a ciência, essa é a reação padrão e mais saudável: por natureza, um contraexemplo é mais fácil de verificar do que de encontrar. Se estiver correto, pode ser conferido manualmente, reescrito em código independente ou formalizado em um sistema de verificação automática.

Por ora, trata-se apenas de uma declaração da empresa, não de um resultado aceito pela comunidade. O status só mudará quando um grupo independente confirmar a construção passo a passo, e os matemáticos não têm motivo para ter pressa nisso. Um escândalo recente envolvendo demonstrações feitas por IA já ensinou a comunidade a distinguir uma formulação bem elaborada de uma afirmação efetivamente verificada.

O que se sabe até agora

• Data do anúncio: 26 de outubro, fonte da informação é a Jiqizhixin (机器之心), publicação de 27 de outubro.
• Objeto da declaração: refutação de uma hipótese da ciência da computação teórica amplamente considerada válida por quase 30 anos.
• Reação dos autores da hipótese: os dois pesquisadores que a propuseram estão preparando uma verificação conjunta com colegas.
• Segundo resultado: segundo o veículo, a OpenAI também afirmou ter resolvido a conjectura de Kakeya. Ela trata de conjuntos que contêm um segmento unitário em cada direção e afirma que tais conjuntos têm dimensão máxima.
• Contexto: anteriormente, a OpenAI apresentou 22 manuscritos matemáticos, cuja discussão ainda continua.

Como interpretar esse tipo de notícia

Se você trabalha com algoritmos, criptografia ou complexidade computacional, vale a pena identificar quais dos seus resultados dependem da suposição agora refutada e esperar o veredito de verificadores independentes. Para equipes de IA, o sinal é outro. A matemática está se tornando um campo de testes em que o modelo pode ser avaliado não por um benchmark, mas pela reação de especialistas dispostos a verificar cada linha. Se o contraexemplo resistir à verificação, os laboratórios ganharão um argumento de que modelos de linguagem são capazes de encontrar conhecimento novo, e não apenas reproduzir o que já é conhecido. Se não resistir, será mais uma lição: um resultado bonito sem verificação independente continua sendo apenas um press release.