🚨A OpenAI diz que sua IA REFUTOU a ETH.
ETH significa Hipótese do Tempo Exponencial, uma suposição de longa data sobre a dificuldade de resolver certos problemas computacionais à medida que eles se tornam maiores.
A OpenAI afirma que sua IA inventou um algoritmo mais rápido do que a hipótese permite, contrariando uma suposição usada em centenas de artigos de pesquisa.
Segundo a empresa, a refutação foi descoberta em 16 de outubro, verificada no dia seguinte com o sistema de verificação de provas Lean e publicada no GitHub com sua verificação formal.
Ryan Williams, do MIT, fará uma análise junto com os proponentes originais da ETH, Russell Impagliazzo e Ramamohan Paturi. A OpenAI afirma que será necessária «uma quantidade significativa de pesquisa adicional» para transformar o resultado em algoritmos mais rápidos para aplicações reais.
A empresa também reivindica outras duas descobertas:
• Matemática: Uma prova da conjectura de Kakeya em todas as dimensões, após a prova do caso tridimensional no ano passado.
• Física: A criação de uma prova que resolve parte de um problema do Prêmio Millennium de US$ 1 MILHÃO. Esse trabalho ainda não foi publicado, e uma equipe liderada pelo vencedor do Prêmio Nobel David Gross irá investigá-lo.
ETH significa Hipótese do Tempo Exponencial, uma suposição de longa data sobre a dificuldade de resolver certos problemas computacionais à medida que eles se tornam maiores.
A OpenAI afirma que sua IA inventou um algoritmo mais rápido do que a hipótese permite, contrariando uma suposição usada em centenas de artigos de pesquisa.
Segundo a empresa, a refutação foi descoberta em 16 de outubro, verificada no dia seguinte com o sistema de verificação de provas Lean e publicada no GitHub com sua verificação formal.
Ryan Williams, do MIT, fará uma análise junto com os proponentes originais da ETH, Russell Impagliazzo e Ramamohan Paturi. A OpenAI afirma que será necessária «uma quantidade significativa de pesquisa adicional» para transformar o resultado em algoritmos mais rápidos para aplicações reais.
A empresa também reivindica outras duas descobertas:
• Matemática: Uma prova da conjectura de Kakeya em todas as dimensões, após a prova do caso tridimensional no ano passado.
• Física: A criação de uma prova que resolve parte de um problema do Prêmio Millennium de US$ 1 MILHÃO. Esse trabalho ainda não foi publicado, e uma equipe liderada pelo vencedor do Prêmio Nobel David Gross irá investigá-lo.
