Claude Fable 5 apresenta fórmula que contesta conjectura matemática estudada há 87 anos
A inteligência artificial Claude Fable 5 pode ter alcançado um marco importante para a matemática ao produzir uma fórmula de uma única linha que contesta a conjectura de Jacobian, um dos problemas mais conhecidos da álgebra, em aberto desde 1939.
A demonstração foi compartilhada pelo matemático Levent Alpöge em uma publicação no X, na qual agradeceu de forma bem-humorada ao seu "amigo próximo Fable por trabalhar durante a final da Copa do Mundo".
O que mudou
A conjectura de Jacobian é considerada um dos problemas clássicos da matemática e já foi alvo de diversas tentativas de solução ao longo das últimas décadas. Muitas dessas propostas acabaram sendo refutadas após análises detalhadas.
Neste caso, especialistas apontam que a resposta apresentada é suficientemente curta para permitir uma verificação direta, o que pode acelerar o processo de validação da demonstração.
Em 2008, o matemático T.T. Moh chegou a prever que a solução da conjectura poderia levar "mais 100 anos" para ser encontrada por pesquisadores.
Avanços da IA na matemática
O resultado se soma a uma sequência de conquistas recentes de modelos de inteligência artificial em problemas matemáticos considerados de fronteira.
Neste ano, sistemas de IA também obtiveram avanços em diversos problemas abertos propostos por Paul Erdős, além da resolução, pela OpenAI, do problema da distância unitária, que permaneceu sem solução por cerca de 80 anos.
O impacto para o mercado
Caso a demonstração seja confirmada, o episódio reforça o potencial dos modelos de inteligência artificial para contribuir com pesquisas matemáticas de alto nível, uma área tradicionalmente dominada por especialistas humanos.
Além de acelerar a investigação científica, avanços desse tipo podem ampliar o papel da IA na descoberta de novos resultados em matemática e em outras áreas da ciência, indicando uma evolução cada vez mais rápida das capacidades desses sistemas.