A OpenAI divulgou três grandes descobertas científicas alcançadas pelo trabalho de seus agentes de IA mais avançados, marcando uma nova fase na aplicação de tecnologias de inteligência artificial na ciência.
Regras de divulgação científica Segundo comunicado, a empresa não busca mérito acadêmico pelas descobertas de seus modelos internos, e pretende seguir uma série de regras para cada um dos resultados encontrados. No caso dos resultados sobre matemática, eles afirmarão que divulgarão o material produzido pela IA e deixarão os pesquisadores livres para explicá-lo. No caso da computação, eles pretendem organizar um grupo externo de colaboradores para explicar o resultado e divulgá-lo publicamente. No caso da física, eles também pretendem formar um grupo para análise.
Avanços na matemática pura A conjectura da suavização local, proposta pelo matemático Christopher Sogge em 1991, estuda como as ondas se concentram e se dispersam ao longo do tempo. O problema parte da ideia de que os momentos de concentração máxima das ondas são excepcionais e duram pouco.
Descobertas dimensionais Esse comportamento tem consequências importantes para a matemática, incluindo a conjectura de Kakeya e a conjectura de restrição de Stein. Agora, os modelos de IA produziram uma demonstração da suavização local para qualquer número de dimensões, o que também permite resolver as conjecturas de Kakeya e de restrição de Stein em todas elas.
Impactos na computação A hipótese do tempo exponencial (ETH, na sigla em inglês) é uma conjectura da ciência da computação que estabelece limites para a velocidade com que determinados problemas matemáticos podem ser resolvidos por algoritmos.
Refutação de teorias Um sistema de inteligência artificial da OpenAI produziu uma demonstração que contradiz essa conjectura. O resultado foi posteriormente formalizado em Lean, assim como o da matemática. Para avaliar a demonstração, a OpenAI iniciou uma colaboração com pesquisadores das universidades da Califórnia em San Diego e do Instituto de Tecnologia de Massachusetts (MIT).
Desafios da física quântica No campo da física, a resolução está na suposta demonstração da existência de teorias quânticas que descrevem algumas das interações fundamentais da natureza, incluindo a cromodinâmica quântica (QCD) e a teoria pura de Yang–Mills.
Parceria com prêmio Nobel A demonstração criada pela IA contempla uma versão mais ampla dessas teorias, capaz de incluir os campos e as partículas do Modelo Padrão em uma estrutura unificada. O trabalho será acompanhado por um grupo de físicos liderado por David Gross, vencedor do Nobel de Física de 2004, e formado por outros especialistas em teoria quântica de campos e no problema de Yang–Mills.
Leave a Reply