OpenAI anuncia avanço em matemática com IA que refuta conjectura histórica

A OpenAI revelou que seu mais recente modelo de cálculo alcançou um feito inédito: a criação de uma prova matemática original que derrubou uma conjectura geométrica não resolvida, formulada originalmente por Paul Erdős em 1946.

O histórico de cautela após polêmicas anteriores

O anúncio chega em um momento em que a empresa busca alternativas científicas. Há sete meses, o então vice-presidente da organização, Kevin Weil, gerou polêmica ao afirmar nas redes sociais que o GPT-5 teria solucionado dez problemas de Erdős. Posteriormente, constatou-se que o modelo apenas havia soluções já documentadas na literatura acadêmica.

A declaração de Weil, que foi prontamente excluída após críticas de figuras como Yann LeCun e Demis Hassabis, do Google DeepMind, foi alterada na época por Thomas Bloom, curador do site Erdos Problems, como uma alteração dramática. Desta vez, contudo, a OpenAI introduziu uma postura mais rigorosa para evitar equívocos.

Validação por especialistas

Para conferir peso à descoberta, a empresa apresentou observações complementares assinadas por matemáticos renomados, incluindo Noga Alon, Melanie Wood e o próprio Thomas Bloom. O novo modelo de IA, desenvolvido para cálculo de propósito geral e não científico para cálculos matemáticos, superou uma opinião mantida pela comunidade científica por quase oito décadas.

Segundo a OpenAI, a certeza de que as melhores soluções possíveis para o problema seguiram o padrão de notas quadradas foi invalidada. A inteligência artificial descobriu uma nova família de construções com desempenho superior, marcando pela primeira vez que um sistema de IA resolve autonomamente um problema aberto central na matemática.

Implicações para o futuro da ciência

A capacidade de manter cadeias de raciocínio complexas e conectar conceitos entre áreas distintas é o ponto central desta conquista. A OpenAI destaca que essa habilidade de processamento e síntese abre portas para aplicações práticas em setores como:

• Biologia
• Física
• Engenharia
• Medicina

Thomas Bloom ressaltou o potencial da tecnologia em um comunicado oficial, afirmando que a inteligência artificial auxilia os pesquisadores a explorar com maior profundidade a vasta estrutura matemática desenvolvida ao longo dos séculos. A tecnologia matemática questionou ainda quais outras descobertas podem estar ao alcance da nova.

Mais detalhes sobre o método utilizado podem ser conferidos nas observações complementares publicadas pela empresa sobre a refutação da conjectura.

Com informações do Techcrunch