OpenAI lança provas de IA para centenas de grandes problemas matemáticos
A OpenAI lançou 372 grandes provas e resultados matemáticos, resolvendo problemas em aberto de longa data com a ajuda da inteligência artificial. Matemáticos humanos agora estão correndo para ler, verificar e entender essas complexas provas geradas por IA.
Resumo rápido: A OpenAI lançou 372 grandes provas e resultados matemáticos, resolvendo problemas em aberto de longa data com a ajuda da inteligência artificial. Matemáticos humanos agora estão correndo para ler, verificar e entender essas complexas provas geradas por IA.
Imagine passar toda a sua carreira tentando escalar uma montanha intelectual íngreme, apenas para uma máquina de repente teletransportá-lo direto para o pico nevado no escuro.
O que aconteceu, em palavras simples
A OpenAI lançou 372 grandes resultados e provas matemáticas depois que um grupo consultivo de matemáticos os recomendou. Entre eles estava uma prova para a Conjectura dos Jogos Únicos de Subhash Khot, um problema em que a teórica da complexidade Dana Moshkovitz trabalhou durante toda a sua carreira. O modelo de IA usou cerca de três horas de computação em nível GPT-Pro por problema e resolveu com sucesso cerca de 5% dos aproximadamente 8.000 problemas em aberto de longa data em que foi testado. Embora certificados Lean respaldem alguns dos resultados, matemáticos humanos observam que os artigos gerados por IA são mal escritos, difíceis de ler e parecem ter sido escritos por alguém sob efeito de substâncias psicodélicas.
Pontos principais
- Centenas de problemas em aberto resolvidos A OpenAI lançou 372 resultados revolucionários de matemática e ciência da computação teórica, incluindo uma prova para a Conjectura dos Jogos Únicos e progresso em outros grandes problemas.
- Atraso na compreensão humana Embora existam verificações de computador como certificados Lean para alguns resultados, nenhum humano entendeu completamente a maioria dessas novas provas ainda, lançando uma corrida para decifrá-las.
- Baixa taxa de sucesso por tentativa O modelo de IA tentou cerca de 8.000 problemas e resolveu com sucesso cerca de 5% deles, usando aproximadamente três horas de computação em nível GPT-Pro para cada problema resolvido.
- Diferentes modelos de lançamento A OpenAI despejou 372 artigos não digeridos no mundo para qualquer um analisar, enquanto a Anthropic escolheu permitir que pesquisadores humanos específicos escrevessem e anunciassem versões digeridas de suas descobertas.
Termos explicados
- Teórico da complexidade — Um cientista que estuda os limites fundamentais e a dificuldade de resolver problemas computacionais e matemáticos. Exemplo: Um teórico da complexidade descobre por que certos quebra-cabeças de computadores levam bilhões de anos para serem resolvidos enquanto outros levam meros segundos.
- Conjectura dos Jogos Únicos — Uma importante proposta em ciência da computação sobre quão difícil é encontrar soluções aproximadas para certos problemas de otimização. Exemplo: Tentar encontrar a maneira absolutamente mais barata de entregar pacotes em um país enorme com tráfego pesado.
- Certificado Lean — Um arquivo de verificação formal verificado por computador que prova que um argumento matemático é logicamente sólido. Exemplo: Um árbitro digital de matemática que verifica cada passo de uma solução de quebra-cabeça para garantir que não haja trapaça ou erros de lógica.
- Complexidade de consulta quântica — Uma medida de quantas perguntas um computador quântico deve fazer para encontrar uma informação específica. Exemplo: Fazer várias perguntas de sim ou não a uma caixa de busca mágica para encontrar uma única bola de gude escondida.
Por que isso importa
Esses avanços da IA fornecem soluções para problemas de matemática teórica e ciência da computação em que especialistas humanos passaram décadas trabalhando. Eles abrem uma nova era onde a inteligência artificial pode gerar provas complexas, mudando a forma como a pesquisa matemática é conduzida.
O que ainda não sabemos
Ainda não se sabe se todas as provas geradas por IA estão totalmente corretas ou sólidas, pois os humanos estão apenas começando a difícil tarefa de lê-las. A IA resolveu apenas cerca de 5% dos problemas em aberto que tentou, e desafios massivos como a Hipótese de Riemann permanecem sem solução.
Com base em reportagem de Scott Aaronson (UT Austin). Este é um texto explicativo independente, escrito com palavras próprias e auxílio de IA; Scott Aaronson (UT Austin) não o revisou nem o endossou. Leia o original para ver todos os detalhes.