OpenAI anuncia três grandes descobertas científicas e uma nova maneira de trabalhar com acadêmicos
Resultados do OpenAI adicionados ao GitHub hoje:
Suavização local para a equação de onda euclidiana. A prova usa uma equação diferencial parcial auxiliar para estabelecer a suavização local de Sogge para ondas em cada dimensão espacial, pelo menos duas. Também produz as conjecturas máximas e de dimensão de Kakeya e as estimativas de restrição esférica de Stein em todo o interior do intervalo conjecturado. Estamos lançando o resultado do modelo diretamente, como fizemos em nosso lançamento de 6 de outubro.
A hipótese do tempo exponencial é falsa. O artigo fornece um algoritmo determinístico que conta exatamente atribuições satisfatórias de fórmulas CNF de largura fixa em tempo subexponencial e espaço polinomial. O caso do 3-SAT refuta a hipótese do tempo exponencial. Um grupo de trabalho independente de cientistas da computação liderado por Russell Impagliazzo, Ramamohan Paturi e Ryan Williams examinará e explicará a prova. A pedido do grupo, tornaremos os materiais públicos imediatamente para que outros também possam examiná-los.
Esta abordagem pode ter os seus próprios problemas, admite a empresa, e o painel AGMAI de consultores matemáticos da OpenAI acabou de dizer ontem que “recomendamos que as empresas de IA não adotem” as práticas de designar certas pessoas para receberem primeiro os resultados, citando acesso desigual, reputação emprestada e seleção tendenciosa como algumas das questões. Em vez disso, eles recomendaram que, no futuro, os laboratórios de IA divulguem resultados em repositórios acadêmicos, com provas formalizadas pelo Lean, informações sobre como os problemas foram escolhidos, financiamento para pessoas que trabalham na compreensão dos resultados e outras informações.
A informação física não foi divulgada na íntegra, mas é uma “prova de existência matematicamente rigorosa de certas teorias de campos quânticos interagindo contendo campos de calibre e férmions em quatro dimensões, incluindo a Cromodinâmica Quântica (QCD) e uma conclusão unificada do Modelo Padrão da física de partículas”. De acordo com a OpenAI, “David Gross liderará um grupo que incluirá Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov que conduzirá este trabalho”.
Diz-se que a colaboração da ciência da computação prova que a Hipótese do Tempo Exponencial (ETH), que tem sido amplamente considerada verdadeira, é na verdade falsa. A OpenAI diz que a verificação do resultado será guiada por um grupo de três especialistas que inclui Russell Impagliazzo e Ramamohan Paturi da UC San Diego, que faziam parte do grupo que o propôs originalmente em 1999, com o grupo decidindo lançar hoje o relatório de saída de IA e a prova Lean no GitHub.
Há documentação semelhante para a descoberta matemática, onde seu modelo “produziu uma prova da conjectura de suavização local em todas as dimensões e, portanto, também resolveu a conjectura de Kakeya e a conjectura de restrição de Stein em todas as dimensões”. Há apenas alguns meses, Hong Wang, professor da NYU, recebeu a prestigiosa Medalha Fields da União Internacional de Matemática por resolver a conjectura de Kakeya em três dimensões.
