Claude resolveu um mistério criptográfico de NIST de 25 anos em menos de 30 minutos

Claude resolveu um enigma criptográfico que permanecia aberto havia 25 anos em menos de 30 minutos.

Em 2000, o governo dos EUA publicou curvas elípticas da NIST, como P-256, usadas no ECDSA, um dos padrões de assinatura digital mais comuns do mundo. O Bitcoin também usa ECDSA, mas com outra curva, secp256k1, que não faz parte das curvas da NIST.

A NSA forneceu esses números sem explicações, o que alimentou durante anos suspeitas de que teriam sido escolhidos intencionalmente para criar uma backdoor. Segundo uma versão comum, o funcionário da NSA Jerry Solinas os gerou a partir de uma frase de brincadeira como “Aumentem o salário do Bob e do Jerry”. Ele morreu em 2023 sem se lembrar dos detalhes, e funcionários da Anthropic já haviam tentado verificar essa teoria sem sucesso.

Então, um funcionário pediu a uma versão interna de pesquisa do Claude que descobrisse como esses números foram obtidos, sem informar ao modelo a frase suspeita.

Claude encontrou a resposta: não existia nenhuma frase. Os números foram gerados com um gerador comum de números pseudoaleatórios da linguagem C, usando como semente a hora do relógio do sistema do computador. A geração ocorreu entre maio de 1997 e abril de 1998. Agora qualquer pessoa pode reproduzir esses números. Mais detalhes na pesquisa da Anthropic.

A Anthropic destaca que essa descoberta não quebra a segurança de sistemas existentes nem cria novas vulnerabilidades. Pelo contrário: a teoria de uma backdoor intencional se torna muito menos plausível, portanto nenhuma mudança é necessária.

Ainda assim, algumas questões permanecem abertas. Por exemplo, ainda não se sabe por que outros números que também funcionavam para a tarefa foram descartados.

O que mais impressiona é o próprio método de resolução.

Muitos pesquisadores passaram anos procurando a suposta frase. Essa hipótese se tornou o ponto de partida em torno do qual quase todas as buscas foram construídas.

Claude seguiu outro caminho. Em vez de procurar uma frase, o modelo inferiu como um programa escrito em 1997 poderia gerar números assim e depois testou essa hipótese.

E, assim, resolveu o problema.