OpenAI afirma que sua IA refutou uma conjectura da ciência da computação teórica com 30 anos de idade

A OpenAI anunciou em 26 de outubro que seu modelo refutou uma suposição da ciência da computação teórica que era considerada verdadeira havia quase 30 anos e servia de base para toda uma série de trabalhos. O que chama atenção na história é a reação dos cientistas. Os dois pesquisadores que propuseram a conjectura originalmente não descartaram o anúncio. Eles se preparam para reunir colegas e verificar juntos o contraexemplo apresentado pela IA. De acordo com o Jiqizhixin, no mesmo dia a empresa também declarou ter resolvido a conjectura de Kakeya, um dos problemas mais conhecidos da teoria geométrica da medida.

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 de matemática, e a comunidade analisou sua qualidade, sua originalidade e a contribuição humana nas formulações finais. O novo anúncio leva a conversa para outro lado. Até agora, a IA avançava sobretudo onde era preciso testar muitas variantes ou concluir com cuidado um esquema de demonstração já conhecido. Agora, a afirmação é que o modelo encontrou o motivo pelo qual uma conjectura consolidada está errada.

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

Por que os próprios autores vão fazer a verificação

O ponto mais interessante é a posição de quem teve a conjectura contestada. Os dois pesquisadores que a propuseram cerca de 30 anos atrás organizam a verificação junto com colegas. Para a ciência, essa é a reação padrão e a mais saudável: por natureza, um contraexemplo é mais fácil de verificar do que de encontrar. Se estiver correto, pode ser conferido à mão, 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. O status mudará quando um grupo independente confirmar a construção passo a passo, e os matemáticos não têm motivo para pressa. Um escândalo recente envolvendo demonstrações feitas por IA já ensinou a comunidade a distinguir uma formulação elegante de uma afirmação verificada.

O que se sabe até agora

• Data do anúncio: 26 de outubro. A fonte da informação é o Jiqizhixin (机器之心), em publicação de 27 de outubro.
• Objeto da declaração: refutação de uma conjectura da ciência da computação teórica que era amplamente considerada verdadeira havia quase 30 anos.
• Reação dos autores da conjectura: os dois pesquisadores que a propuseram preparam uma verificação conjunta com colegas.
• Segundo resultado: de acordo com o veículo, a OpenAI também declarou ter resolvido a conjectura de Kakeya. Ela trata de conjuntos que contêm um segmento unitário em cada direção e afirma que esses conjuntos têm dimensão máxima.
• Contexto: antes, a OpenAI apresentou 22 manuscritos de matemática, e a discussão em torno deles continua.

Como ler esse tipo de notícia

Se você trabalha com algoritmos, criptografia ou complexidade computacional, vale identificar quais dos seus resultados dependem da suposição refutada e aguardar o veredito de verificadores independentes. Para equipes de IA, o sinal é outro. A matemática vira um campo de provas em que o modelo pode ser avaliado não por um benchmark, mas pela reação de especialistas dispostos a checar 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 de reproduzir o que já se sabe. Se não resistir, será mais uma lição: um resultado bonito, sem verificação independente, continua sendo um comunicado de imprensa.