A OpenAI anunciou que seu modelo de inteligência artificial alcançou três descobertas científicas significativas nas áreas de matemática, ciência da computação e física, incluindo a prova da conjectura de Kakeya na análise harmônica, a refutação da hipótese do tempo exponencial (ETH) na teoria da complexidade computacional e a prova rigorosa da existência da teoria quântica de campos em quatro dimensões (incluindo QCD e o modelo padrão).Autor do artigo, fonte: AIBase
Recentemente, a OpenAI anunciou oficialmente que seu modelo de inteligência artificial realizou três descobertas científicas significativas nas áreas de matemática, ciência da computação e física, envolvendo análise harmônica, teoria da complexidade computacional e teoria quântica de campos. Para transformar esses dados de pesquisa avançada em compreensão científica real, a OpenAI experimentou inovadoramente um novo modelo de colaboração aprofundada com a comunidade acadêmica externa e adotou estratégias de divulgação diversificadas para os resultados em diferentes áreas.
Na área de análise harmônica, o modelo forneceu com sucesso provas para a conjectura de suavização local em todas as dimensões, resolvendo diretamente, em todas as dimensões, as conjecturas de Kakeya e Stein de restrição na matemática. A nova prova baseia-se em uma equação diferencial parcial auxiliar inovadora. A OpenAI já publicou no repositório público do GitHub o relatório de saída em linguagem natural gerado pelo modelo, bem como a prova em Lean.
Na área da ciência da computação, o sistema provou que a hipótese do tempo exponencial (ETH), longamente considerada verdadeira, é falsa. Essa conjectura está fortemente relacionada ao famoso problema P vs. NP e foi amplamente utilizada em centenas de artigos para derivar complexidade computacional condicional. O resultado também foi verificado no Lean. Este trabalho foi submetido a uma equipe de especialistas líderes liderada por Russell Impagliazzo, Ramamohan Paturi e Ryan Williams para validação e orientação, e os resultados junto com a prova formalizada no Lean já foram disponibilizados publicamente no repositório GitHub.
Na área da física, modelos fornecem provas matemáticas rigorosas da existência de certas teorias quânticas de campos interativas contendo campos de calibre e férmions no espaço-tempo quadridimensional (incluindo a cromodinâmica quântica QCD e a unificação completa do modelo padrão da física de partículas), com o problema secundário incluindo a prova da existência da teoria de Yang–Mills pura, que também faz parte dos Problemas do Prêmio Milênio do Clay Mathematics Institute. Esse trabalho complexo foi avançado por um grupo de físicos liderado por David Gross (incluindo Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov).
Para apoiar integralmente a revisão independente e a exploração aprofundada desses avanços pela comunidade acadêmica, a OpenAI já doou US$ 5 milhões à Fundação Simons para financiar seminários, conferências e projetos especiais relacionados. Essas iniciativas não apenas demonstram o enorme potencial da IA na pesquisa前沿 da ciência básica, mas também marcam o avanço acelerado da física teórica moderna e da matemática em direção a domínios de rigor ainda mais elevados.