IA quebra barreira e resolve enigma matemático sem solução há 87 anos

Esta é a newsletter de IAgora?. Inscreva-se gratuitamente para receber no seu email toda semana

Um matemático de Harvard disse ter encontrado, com ajuda de IA, um contraexemplo que derruba a chamada Conjectura do Jacobiano, um problema formulado em 1939 e que virou "pedra no sapato" de gerações de pesquisadores. A parte que mais chamou atenção: a prova apareceu em uma única linha de matemática publicada no X - fácil de checar depois de pronta, mas misteriosa sobre como foi descoberta.

*Levent Alpöge publicou no X, em 19 de julho, que a Conjectura do Jacobiano é falsa e apresentou um contraexemplo curtíssimo (216 caracteres), segundo a New Scientist.

Mauro CezarMessi derrotou um inimigo invencível: o tempo

Messi derrotou um inimigo invencível: o tempo

SakamotoGreen card de Eduardo custou 30 moedas de prata

Green card de Eduardo custou 30 moedas de prata

João Paulo CharleauxHá caminhos legais para que Netanyahu seja preso

Há caminhos legais para que Netanyahu seja preso

Tatiana FarahRequião Filho pede ajuda de Alckmin para atrair PSB

Requião Filho pede ajuda de Alckmin para atrair PSB

*A conjectura, proposta por Ott-Heinrich Keller em 1939, sugere (em termos bem simples) que um certo tipo de "regra matemática" que funciona indo pode também funcionar voltando - como se toda fechadura tivesse uma chave única no caminho inverso.

*O problema entrou numa lista famosa de 18 desafios difíceis para a matemática no século 21, organizada por Stephen Smale em 1998.

*Alpöge não detalhou o processo, mas escreveu que parte do trabalho foi feita com seu "amigo próximo fable", numa referência que parece apontar para o Claude Fable 5, da Anthropic.

*Segundo Abhishek Saha, professor da Queen Mary University of London, muitos matemáticos já verificaram a linha publicada - o que reforça a ideia de que o "como chegou lá" é a grande pergunta agora.

*Saha também diz que o contraexemplo derruba a versão com três variáveis; uma versão com duas variáveis ainda poderia, em tese, continuar verdadeira.

*Esse caso mostra um tipo de "superpoder" bem específico da IA e uma........

© UOL