O Claude Fable 5 da Anthropic ajudou a refutar, no fim de semana, a conjetura jacobiana, um problema em aberto da matemática com 87 anos que resistia a uma prova desde 1939 e integra a influente lista de problemas por resolver para o século de Stephen Smale. O teórico dos números Levent Alpöge, que trabalha na Anthropic e foi anteriormente bolseiro em Harvard, publicou o resultado no X no domingo, atribuindo crédito ao modelo e identificando o contraexemplo. A descoberta surge dias depois de as capacidades do Kimi AI da China terem mexido com o Bitcoin mais do que qualquer catalisador próprio do sector cripto.
Porque importa
O contraexemplo é concreto: uma máquina polinomial em três variáveis que passa a verificação jacobiana padrão, mas mapeia três entradas distintas para a mesma saída, pelo que não pode ser invertida. Os matemáticos conseguiram verificar o caso à mão no prazo de um dia, o que é, por si só, o ponto central. Matemática original neste nível de dificuldade, produzida por uma IA e rapidamente verificada por humanos, é um novo tipo de marco de capacidade, e os marcos de capacidade movem capital.
Para o sector cripto, a leitura é desconfortável. O Bitcoin passou meses a negociar atrelado à narrativa da IA, movendo-se com fabricantes de chips e ações de memória em vez de reagir aos seus próprios catalisadores. Caiu com força na sexta-feira passada quando o lançamento da Moonshot AI abalou o complexo dos semicondutores, e recuperou esta semana à medida que essas ações recuperaram. A ligação é em parte mecânica: os maiores mineiros de Bitcoin cotados em bolsa são agora operadores de centros de dados de IA, cujas receitas sobem e descem com a procura por computação. Mas a força mais ampla é mais simples: a IA é para onde fluem os dólares especulativos e a atenção, e cada salto como o resultado do Fable torna a aposta em computação e chips mais convincente do que deter um token que, em grande medida, apenas acompanha a mesma vaga.
Impacto no mercado
A história a acompanhar é a rotação de capital, não o preço. Cada nova demonstração do que os modelos de fronteira conseguem fazer estreita o argumento para deter cripto quando um investidor pode deter o veículo, o designer de chips, o hyperscaler, o laboratório de modelos, que o resto do mercado está agora a precificar. A queda do Bitcoin após o lançamento do Kimi, e a sua recuperação com as ações de chips, é o exemplo recente mais claro de quão estreitamente esta negociação está agora acoplada.
Perguntas frequentes
-
O que provou realmente o Claude Fable 5 sobre a conjetura jacobiana?
Produziu um contraexemplo concreto: uma aplicação polinomial em três variáveis que passa a verificação jacobiana padrão, mas mapeia três entradas distintas para a mesma saída, pelo que não pode ser invertida. Os matemáticos conseguiram verificar o caso à mão em menos de um dia.
-
Quem é Levent Alpöge e como foi anunciado o resultado?
Alpöge é um teórico dos números na Anthropic que anteriormente teve uma bolsa em Harvard. Publicou a refutação no X no domingo, atribuindo crédito ao modelo Claude Fable 5 e identificando a aplicação polinomial do contraexemplo.
-
Porque é que um resultado matemático de IA importa para o preço do Bitcoin?
O Bitcoin passou meses a negociar atrelado à narrativa da IA, movendo-se com fabricantes de chips e ações de memória em vez dos catalisadores próprios do sector cripto. Cada nova capacidade de modelos de fronteira aumenta o apelo de deter a aposta de computação subjacente face a um token que sobretudo acompanha a…
-
Como estão os mineiros de Bitcoin ligados à aposta em computação de IA?
Vários dos maiores mineiros de Bitcoin cotados em bolsa reconstruíram-se como operadores de centros de dados de IA, pelo que as suas receitas agora sobem e descem com a procura por capacidade de computação. Isso torna as suas ações e, por associação, o Bitcoin estreitamente ligados ao ciclo da IA.
-
O que era a conjetura jacobiana, em termos simples?
Formulada pela primeira vez em 1939, perguntava se qualquer aplicação polinomial construída apenas com adição e multiplicação podia sempre ser invertida. Os matemáticos tinham um teste rápido para avaliar se tal aplicação parecia reversível; a conjetura dizia que passar o teste implicava reversibilidade real, até o…
CoinDesk