Resolução de Conjecturas Matemáticas
A OpenAI anunciou que seus modelos de IA resolveram conjecturas matemáticas de longa data, como a conjectura de suavização local e a conjectura de Kakeya, utilizando uma equação parcial diferencial. A empresa publicou tanto o texto da prova quanto uma versão formalizada em Lean, uma linguagem usada para expressar demonstrações matemáticas de maneira verificável por computador. Essa resolução foi realizada em todas as dimensões espaciais a partir de duas.
Refutação da Hipótese do Tempo Exponencial
A OpenAI também apresentou uma refutação da Hipótese do Tempo Exponencial (ETH), uma hipótese amplamente utilizada na ciência da computação teórica. O sistema desenvolvido pela empresa encontrou um algoritmo determinístico que contava exatamente as atribuições que satisfazem fórmulas CNF de largura fixa em tempo subexponencial e espaço polinomial. Esse resultado contrariou a ETH, levando a pesquisadores a reexaminar resultados teóricos que dependem dessa hipótese.
Avanço na Física
A terceira descoberta da OpenAI envolveu um avanço teórico na física de partículas. Os especialistas responsáveis decidiram preparar o trabalho antes de divulgar os materiais gerados pela IA. A OpenAI afirmou que os resultados ainda precisam ser transformados em conhecimento científico compreensível e verificável, não devendo ser tratados como conclusões definitivamente estabelecidas pela comunidade acadêmica.
Novas Abordagens para a Análise de Resultados
A OpenAI também anunciou novas estratégias para envolver pesquisadores independentes na análise dos resultados. Na matemática, a empresa publicou diretamente o material produzido pelo modelo. Em ciência da computação, disponibilizou a prova e organizou um grupo externo para examiná-la. Já na física, os especialistas responsáveis decidiram preparar o trabalho antes de divulgar os materiais gerados pela IA.
Conclusão
A OpenAI está comprometida em manter a transparência e a verificação dos seus resultados. A empresa afirma que os resultados ainda precisam ser transformados em conhecimento científico compreensível e verificável, não devendo ser tratados como conclusões definitivamente estabelecidas pela comunidade acadêmica. A OpenAI continua a explorar e desenvolver novos modelos de IA para avanços científicos e tecnológicos.