OpenAI afirma que a IA resolveu três grandes problemas científicos em matemática, ciência da computação e física

A OpenAI afirma que seus sistemas de IA geraram provas que abordam três grandes problemas em aberto na matemática, ciência da computação e física. A OpenAI está envolvendo especialistas externos para avaliar os resultados. Pesquisadores independentes ainda precisam determinar se as provas são válidas e avaliar a importância das descobertas para cada campo.

A OpenAI afirmou que seus modelos comprovaram a conjectura do suavizamento local, um problema matemático de décadas sobre a propagação e concentração de ondas. A conjectura prevê que a média das ondas ao longo do tempo reduz sua intensidade em comparação com seus momentos mais extremos. O resultado também resolveria a antiga conjectura de Kakeya e a conjectura da restrição de Stein. A conjectura de Kakeya trata do tamanho mínimo de uma forma que contém um segmento de linha orientado em todas as direções. A conjectura da restrição de Stein trata do comportamento das frequências matemáticas de funções ao longo de superfícies curvas. A OpenAI afirmou que os modelos geraram o resultado em 18 de outubro. A OpenAI disse que o resultado foi formalizado no dia seguinte usando Lean, uma linguagem para verificar provas. A OpenAI afirmou que uma explicação em linguagem natural e uma prova formal foram publicadas no GitHub.

A OpenAI afirmou que seu sistema de ciência da computação gerou uma refutação da Hipótese do Tempo Exponencial. A hipótese sustenta resultados condicionais de dificuldade computacional relacionados a problemas de satisfabilidade e questões associadas na complexidade computacional. A OpenAI disse que a refutação em linguagem natural foi gerada em 16 de outubro. A OpenAI afirmou que a refutação foi formalizada usando Lean em 17 de outubro. Uma equipe liderada por Russell Impagliazzo, Ramamohan Paturi e Ryan Williams está examinando o resultado. A OpenAI comprometeu financiamento para uma conferência que analisará as possíveis implicações do resultado.

Um grupo externo de física, liderado por David Gross, avaliará um resultado que a OpenAI descreve como uma prova rigorosa de existência para teorias de campos quânticos interagentes em quatro dimensões. A prova afirmada abrange a cromodinâmica quântica (QCD) e uma extensão unificada do Modelo Padrão. Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov também estão envolvidos na avaliação. Diferentemente dos projetos de matemática e ciência da computação, o grupo de física optou por reter os materiais gerados por IA da liberação pública por enquanto. Os membros do grupo concentrar-se-ão em escrever sua própria conta do trabalho.

A OpenAI disse que a empresa está testando três métodos de compartilhar pesquisas geradas por IA com a comunidade científica. Os métodos envolvem publicação imediata, lançamento em conjunto com colaboradores externos ou concessão de controle a uma equipe externa sobre quando os materiais serão tornados públicos. A OpenAI está solicitando feedback para determinar qual abordagem melhor atende aos pesquisadores. As colaborações proíbem acordos de confidencialidade e reivindicações de crédito acadêmico pelas descobertas em si. As colaborações reconhecem pesquisadores que criam explicações e materiais de suporte. A participação é voluntária e não remunerada, e os colaboradores representarão apenas suas próprias opiniões.

As alegações poderiam ter consequências substanciais se a análise independente confirmar os resultados, especialmente a suposta refutação da Hipótese do Tempo Exponencial. A hipótese sustenta grande parte da teoria moderna da complexidade computacional. A iniciativa também levanta questões sobre tornar descobertas potencialmente importantes geradas por IA transparentes, reprodutíveis e críveis para os cientistas.