Um modelo de inteligência artificial ajudou a refutar uma conjectura matemática que permaneceu sem solução por 87 anos, e a resposta foi confirmada em um dia, pois agora qualquer pessoa pode verificá-la manualmente.
Levent Alpöge, um teórico dos números que trabalha na Anthropic e anteriormente foi bolsista em Harvard, publicou o resultado no X na noite de domingo, creditando o modelo Claude Fable 5 da empresa.
O problema, chamado de conjectura de Jacobian, estava em aberto desde 1939 e está na influente lista de problemas não resolvidos do século do matemático Stephen Smale.
olá, a conjectura de jacobian é falsa, graças ao meu amigo próximo akhil por perguntar sobre isso e ao meu outro amigo próximo fable por trabalhar durante a final da copa do mundo
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3,…
Que uma IA tenha produzido matemática original desta dificuldade é o tipo de capacidade salto que agora move os mercados, incluindo o cripto. O bitcoin passou meses negociando uma narrativa sobre inteligência artificial, movendo-se junto com fabricantes de chips e ações de memória, e não por qualquer catalisador próprio.
Ela caiu fortemente na última sexta-feira quando o laboratório chinês Moonshot AI lançou um modelo que abalou a indústria de semicondutores, e se recuperou esta semana à medida que essas ações recuperaram.
Parte desse link é direto. Os maiores detentores de bitcoin, seus mineiros, se reconstruíram como operadores de centros de dados de IA, então suas fortunas agora sobem e descem com a demanda por poder de computação.
Mas o maior atrativo é mais simples: a IA é onde o dinheiro especulativo e a atenção dos investidores estão indo agora. O capital que antes perseguia criptomoedas agora está perseguindo computação, chips e construtores de modelos, e cada avanço no que esses sistemas podem fazer amplia esse recurso.
Cada resultado, como a descoberta de Fable sobre a conjectura de Jacobian, fortalece o argumento para investir capital em IA e apresenta um dilema difícil para investidores em criptomoedas: por que manter um token que opera como um vagão auxiliar ao ciclo de IA, quando alguém pode possuir o veículo em si?
A curva de capacidade da IA é íngreme, e quanto mais íngreme ela se torna, mais o apetite por risco do mercado é desviado de tudo o mais, incluindo criptomoedas.
Pense em uma máquina que recebe dois números e devolve dois novos números, usando apenas adição e multiplicação. A pergunta, feita pela primeira vez em 1939, era se a máquina sempre poderia ser executada ao contrário: dado apenas sua resposta, é possível recuperar sempre os dois números originais?
Matemáticos tinham uma maneira rápida de verificar se uma máquina parecia reversível. A conjectura de Jacobian dizia que, se uma máquina passasse nesse teste, ela deveria sempre ser reversível.
Por 87 anos, ninguém conseguiu provar que era verdadeiro, e ninguém conseguiu encontrar uma máquina que quebrasse a regra.
A IA encontrou uma. Ela construiu uma máquina que passa na verificação, mas ainda assim não pode ser invertida, porque três entradas diferentes produzem exatamente a mesma resposta. Se três entradas dão uma única resposta, não é possível retroceder a partir dessa resposta. Um único contraexemplo foi suficiente, e a regra está permanentemente quebrada.