A OpenAI anunciou três resultados científicos significativos obtidos com a ajuda de seus modelos de IA. Eles dizem respeito à matemática, à ciência da computação e à física.
No campo da matemática, o modelo provou a conjectura do alisamento local (local smoothing conjecture) em cada dimensão espacial não inferior a duas. O resultado também abrange as conjecturas de Kakeya e as estimativas de restrição de Stein em toda a faixa.
A empresa publicou o resultado do modelo diretamente no GitHub, seguindo as recomendações dos especialistas. Anteriormente, a conjectura havia sido provada apenas em três dimensões.
Na ciência da computação, a IA refutou a hipótese do tempo exponencial (Exponential Time Hypothesis). É apresentado um algoritmo determinístico que conta com exatidão as atribuições satisfatórias para fórmulas CNF de largura fixa em tempo subexponencial.
A verificação do resultado será liderada por um grupo independente sob a direção de Russell Impagliazzo, Ramamohan Paturi e Ryan Williams. Os materiais foram tornados públicos imediatamente.
Na física, obteve-se uma prova matematicamente rigorosa da existência de certas teorias quânticas de campos interagentes com campos de calibre e férmions em quatro dimensões. Entre os exemplos estão a cromodinâmica quântica e uma conclusão unificada do Modelo Padrão.
O grupo de físicos será liderado por David Gross, e dele também fazem parte Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov. Eles decidiram adiar o lançamento completo para preparar sua própria interpretação.
A OpenAI envolveu cientistas externos como «pastores» (shepherds) para trabalhar com os resultados. A empresa observa que diferentes abordagens de publicação têm seus próprios compromissos, incluindo questões de acesso e assimetria de informação.
O professor de matemática Alex Iosevich, da Universidade de Rochester, chamou a prova da conjectura do alisamento local de desenvolvimento histórico. Ele expressou alegria e otimismo quanto ao potencial da IA na ciência, embora tenha notado sentimentos mistos entre os teóricos.
Como mudará o processo de descoberta científica quando a IA começar a propor cada vez mais resultados desse tipo?
