Dê o próximo passo e inicie sua carreira
Dê o próximo passo e inicie sua carreira agora mesmo
4 minutos de leitura
Fique por dentro de conteúdos, insights e oportunidades do universo tech. Receba novidades e lançamentos direto no seu e-mail.
O matemático Levent Alpöge, ligado a Harvard e à Anthropic, anunciou ter encontrado um contraexemplo para a Conjectura Jacobiana. O problema estava em aberto desde 1939. O anúncio foi publicado por ele no X na noite de domingo, horas antes do fim da final da Copa do Mundo entre Espanha e Argentina.
Alpöge atribuiu parte do trabalho ao Claude Fable 5, modelo mais recente da Anthropic. Agora, a comunidade matemática avalia a validade do resultado, que ainda não passou por revisão por pares formal.
O caso ganhou repercussão rápida porque a conjectura constava na famosa lista de desafios matemáticos do século 21 organizada por Stephen Smale em 1998. Além disso, ela resistiu a quase 87 anos de tentativas de prova ou refutação.
Levent Alpöge. Fonte: Quantamagazine
A Conjectura Jacobiana foi formulada por Ott-Heinrich Keller em 1939. Em termos simples, ela diz que um certo tipo de mapa polinomial, cujo determinante Jacobiano é uma constante não nula, deveria ter um inverso polinomial bem definido. Isso tornou o problema um dos mais persistentes da geometria algébrica.
Alpöge e o Fable 5 não provaram a conjectura: eles a derrubaram. Encontraram um único mapa de um espaço tridimensional para si mesmo que tem o determinante constante exigido, mas ainda assim não pode ser revertido. Um contraexemplo válido já basta para invalidar qualquer conjectura matemática.
No próprio post, Alpöge foi direto ao ponto:
"Olá! A conjectura de Jacobian é falsa; agradeço ao meu amigo próximo Akhil por ter perguntado sobre isso."
O anúncio reúne alguns elementos que ajudam a entender o episódio:
O contraexemplo mostra três pontos distintos do domínio do mapa levando ao mesmo resultado, o que contraria a definição de uma função invertível. Na prática, isso derruba a conjectura para toda dimensão maior que dois, enquanto a versão original do problema, com apenas duas variáveis, segue em aberto.
O episódio reforça uma mudança de papel dos modelos de linguagem. Eles estão deixando de ser apenas ferramentas de produtividade em código para atuar também em exploração matemática de problemas clássicos, algo que exige raciocínio simbólico de alto nível.
Quem já usa esses modelos no dia a dia sabe que essa capacidade não surgiu do nada. Por isso, vale conferir como aplicar o Claude AI em tarefas complexas de análise e pesquisa.
O Claude Fable 5 está entre os modelos da Anthropic com janela de contexto de 1 milhão de tokens, o que ajuda em tarefas longas e complexas como essa.
O modelo também conta com suporte a extended thinking (raciocínio estendido), um modo em que a IA dedica mais etapas de processamento antes de responder. Na prática, isso é útil justamente para explorar hipóteses matemáticas antes de convergir para um resultado.
Ainda assim, a colaboração humano-IA, e não a substituição do pesquisador, segue sendo o modelo predominante mesmo em descobertas de ponta. Isso vale tanto para matemática quanto para outras aplicações práticas, como mostram artigos sobre engenharia de agentes de IA.
Por isso, provas matemáticas continuam precisando de verificação independente pela comunidade científica antes de serem consideradas consolidadas.
O matemático Timothy Gowers chamou o caso de primeira vez que viu um LLM resolver um problema conhecido fora de sua própria área. Mas mesmo esse entusiasmo não dispensa a revisão por pares. A comunidade trata o resultado como promissor, não como definitivo.
Ferramentas de IA estão transformando não apenas o desenvolvimento de software, mas também áreas como ciência, pesquisa e matemática.
Se você quer aprender a aplicar esses modelos em problemas reais, a Alura oferece trilhas completas sobre inteligência artificial, cobrindo desde fundamentos até engenharia de agentes e aplicações práticas.
Avalie essa notícia
