Um matemático da Anthropic usou o Claude AI da empresa para refutar a conjectura de Jacobian, um problema que deixou pesquisadores perplexos por 87 anos. O resultado, confirmado esta semana, tem implicações imediatas para sistemas criptográficos que dependem da dificuldade das equações polinomiais.
O problema de 87 anos
A conjectura de Jacobian, proposta pela primeira vez em 1939, pergunta se um mapa polinomial com um determinante Jacobiano constante não nulo deve ter uma inversa polinomial. Por décadas, matemáticos acreditavam que era verdade
