Terence Tao confirma contraexemplo à conjectura de Jacobiano
O matemático Terence Tao validou um contraexemplo para a conjectura de Jacobiano em três dimensões, descoberto com auxílio da IA Fable.
Pontos principais
- A conjectura de Jacobiano, formulada em 1938, propunha que mapas polinomiais com Jacobiano constante seriam globalmente invertíveis.
- O contraexemplo foi originalmente derivado por Levent Alpoge, da Anthropic, utilizando o modelo de IA Fable 5.
- Terence Tao publicou uma análise detalhada em 21 de julho de 2026, confirmando a falha da conjectura em três ou mais dimensões.
- O contraexemplo consiste em um polinômio de grau sete que possui Jacobiano constante, mas não é globalmente invertível.
- Tao utilizou um chatbot de IA para verificar cálculos complexos durante o processo de estruturação geométrica da prova.
- A conjectura permanece em aberto para o caso bidimensional, sendo considerada verdadeira para uma dimensão.
O renomado matemático Terence Tao publicou uma análise formal confirmando a existência de um contraexemplo para a conjectura de Jacobiano, um problema clássico da álgebra polinomial que persistia sem solução desde 1938. A descoberta, inicialmente realizada pelo matemático Levent Alpoge, da Anthropic, utilizou o modelo de inteligência artificial Fable 5 para identificar um polinômio de grau sete em três variáveis que, embora apresente um Jacobiano constante, falha em ser globalmente invertível.
Em seu blog, Tao detalhou a estrutura geométrica por trás do contraexemplo, minimizando a necessidade de abstrações complexas da geometria algébrica. O matemático destacou que utilizou ferramentas de IA para validar cálculos críticos, exemplificando uma colaboração direta entre pesquisa humana e sistemas de inteligência artificial. Enquanto o caso tridimensional foi refutado, a validade da conjectura para o plano bidimensional permanece um problema matemático em aberto.
Comentários
Carregando comentários...