Um matemático da Antrópico usou o grande modelo de linguagem da própria empresa para refutar uma conjectura matemática que resistiu à resolução durante 87 anos, apresentando um dos exemplos mais impressionantes de que a inteligência artificial avança na matemática pura.
Levent Alpöge, matemático da empresa de IA Anthropic, anunciou que encontrou um contra-exemplo para a conjectura Jacobiana, um problema famoso e antigo em geometria algébrica. Ele chegou ao resultado usando o modelo Claude Fable 5 da Anthropic, que havia sido lançado ao público apenas algumas semanas antes. A descoberta, relatada pela primeira vez por ScienceDaily e SciTechDaily e extraída de um artigo publicado originalmente em The Conversation, gerou uma onda de entusiasmo na comunidade matemática. Para os leitores que acompanham os últimos desenvolvimentos de IA, o resultado sublinha a rapidez com que os modelos de fronteira estão a passar de truques de salão para trabalhos científicos genuinamente produtivos.
Uma fórmula pequena o suficiente para uma única postagem
O que torna a descoberta tão surpreendente é a sua compactação. De acordo com SciTechDaily, o contra-exemplo é uma função tridimensional notavelmente simples - uma fórmula curta o suficiente para caber dentro de um único post em X. O contra-exemplo assistido por IA refuta a conjectura Jacobiana acima de duas dimensões, enquanto deixa aberta a forma bidimensional original da conjectura.
Essa nuance é importante. O resultado não resolve todo o problema, que existe desde o século XIX. Em vez disso, expõe um limite inesperado: a versão generalizada e de dimensão superior da conjectura é falsa, embora o caso com o qual os matemáticos originalmente se preocupavam mais permaneça sem solução.
A história por trás do problema
A conjectura Jacobiana diz respeito a funções polinomiais – máquinas matemáticas que captam números e produzem novos números seguindo uma regra específica. Nesta configuração, os números podem representar pontos em um espaço, como coordenadas em um mapa. Uma função pega essas coordenadas e as transforma, movendo os pontos para posições diferentes. Os matemáticos podem examinar a suavidade com que uma função reorganiza o espaço calculando seu determinante Jacobiano. A conjectura pergunta essencialmente: se esse determinante é uma constante diferente de zero, a função tem necessariamente um inverso polinomial?
O problema tem uma história histórica. Foi declarado pela primeira vez pelo matemático tcheco Ludwig Kraus em 1884, depois generalizado para qualquer número de dimensões pelo matemático alemão Ott-Heinrich Keller em 1939. Foi considerado tão importante que o medalhista Fields Stephen Smale o incluiu em sua influente lista de 1998 de Problemas Matemáticos para o Próximo Século.
Ao longo da sua longa vida, a conjectura atraiu muitas provas reivindicadas, incluindo tentativas de Beniamino Segre e Wolfgang Gröbner, dois célebres matemáticos do século XX. Nenhum se sustentou. O facto de um contra-exemplo ter agora surgido – com a ajuda de um modelo estilo chatbot – ilustra como a IA se está a revelar tão útil para descobrir objectos matemáticos inesperados como para construir provas.
Por que o caso de dimensão superior caiu
A principal distinção é entre duas e três (ou mais) dimensões. A conjectura Jacobiana bidimensional original, a versão que ocupou os geômetras algébricos por gerações, ainda está em aberto. O que Alpöge e Claude Fable 5 encontraram é um contraexemplo em três dimensões, o que é suficiente para derrubar a conjectura generalizada que Keller formulou em 1939.
Esse é um resultado significativo por si só. Muitos pesquisadores suspeitavam que, se a conjectura fosse verdadeira, seria verdade em todos os lugares. Um contra-exemplo claro na dimensão três estreita o espaço de possibilidades e reformula a questão restante: as duas dimensões são genuinamente especiais ou existe um contra-exemplo à espreita aí também?
A brevidade do contra-exemplo é em si notável. A Fortune informou que os matemáticos estão enfrentando uma “mudança muito rápida e muito perturbadora”, à medida que as ferramentas de IA resolvem problemas centenários, um após o outro. Uma pequena fórmula para derrubar um problema endossada por um medalhista Fields é exatamente o tipo de desenvolvimento que alimenta esse mal-estar – e esse entusiasmo.
O papel crescente da IA na matemática
Os matemáticos que trabalham com grandes modelos de linguagem produziram recentemente vários resultados notáveis, e o contra-exemplo da conjectura Jacobiana se destaca de muitos avanços anteriores. Em vez de realizar uma pesquisa de força bruta, a colaboração entre Alpöge e Claude Fable 5 produziu uma resposta concisa e verificável por humanos — o tipo de resultados que os matemáticos podem verificar e desenvolver.
A descoberta também destaca um padrão mais amplo. Os modelos de fronteira são cada vez mais capazes de explorar vastos espaços combinatórios e propor objetos candidatos com os quais um ser humano nunca poderia tropeçar. Quando esses candidatos são curtos o suficiente para serem verificados manualmente, a combinação da amplitude da IA e do julgamento humano torna-se poderosa.
O que isso significa para o futuro
O que isso significa para o futuro da matemática – e para os matemáticos humanos – ainda está para ser visto, como observou o SciTechDaily. O contra-exemplo não torna os matemáticos obsoletos; na verdade, ela aguça a questão em aberto e dá aos pesquisadores um novo alvo preciso. Mas reforça que a IA foi além do resumo dos livros didáticos e entrou no cerne do trabalho matemático criativo.
O resultado também é uma validação de alto nível para a Antrópica. Claude Fable 5, lançado ao público apenas algumas semanas antes da descoberta, foi usado por um dos matemáticos da própria empresa para resolver um problema que frustrou algumas das maiores mentes do século passado. Para uma empresa que corre para demonstrar que os seus modelos podem raciocinar na fronteira, poucos endossos são mais credíveis do que uma conjectura de 1939 que finalmente se desfez.
Fique à frente da IA
O ritmo da descoberta impulsionada pela IA está a acelerar na ciência, na matemática e na indústria. Marque nossa mesa de notícias de última hora sobre IA para cobertura contínua de lançamentos de modelos, avanços em pesquisas e mudanças de políticas.
Leia mais notícias sobre IA →
