Daily Journal
Daily Journal

Anthropic lança modelos Mythos 5.2 e Fable 5.2 com foco em ciência

A Anthropic disponibilizou o Fable 5.2 e o Mythos 5.2, que, segundo a empresa, formalizaram em Lean a prova do Último Teorema de Fermat em 30 horas e resolveram dois problemas abertos em física de buracos negros.

Daily Journal
Foto: TechCrunch
||
09/11 às 16:31, atualizado 16:45

Pontos principais

  • Segundo a Anthropic, em testes de pré-lançamento o Fable 5.2 formalizou em Lean a prova do Último Teorema de Fermat em 30 horas, com cerca de 1.000 agentes e intervenção humana mínima.
  • A primeira formalização, feita por uma versão de pesquisa do Claude, levou 11 dias e teve orientação de um pesquisador humano; o Opus 5.5, no mesmo arranjo de 1.000 agentes, completou 26% em 18 horas.
  • A empresa diz que o Fable 5.2 resolveu dois problemas abertos em física de buracos negros.
  • Preço padrão de US$ 8 por milhão de tokens de entrada e US$ 40 por milhão de saída; modo rápido opcional, com geração até 2,5 vezes mais veloz, a US$ 16 e US$ 80.
  • As saídas são até 30% mais rápidas que as do Fable 5.1 e do Mythos 5.1.
  • No FrontierCode 2.0, de programação agêntica, a empresa registra 49,1% para o Fable 5.2 com esforço Xhigh, ante 32,4% do Fable 5.1.
  • O Fable tem salvaguardas de cibersegurança e biologia e está disponível a todos os usuários; o Mythos, que é o mesmo modelo subjacente, tem acesso por candidatura aos programas Cyber Verification e Life Sciences Verification.
  • Retenção zero de dados (ZDR) para Fable 5.2 e Mythos 5.2 por meio do Enterprise Frontier Safeguards, em beta privado com Bridgewater, Salesforce e Stripe; clientes elegíveis podem usar ZDR antes de adotar o programa, e os demais têm retenção de 30 dias para monitoramento de segurança.

A Anthropic disponibilizou hoje o Claude Fable 5.2 e o Claude Mythos 5.2, que a empresa posiciona para trabalhos técnicos ambiciosos e de final aberto. Em testes de pré-lançamento, segundo a empresa, os modelos ajudaram engenheiros a concluir migrações de software que de outra forma seriam inviáveis e projetaram três dispositivos eletrônicos do zero.

Os dois resultados em física de buracos negros usam dualidade holográfica, a ideia de que certos universos com gravidade podem ser descritos com precisão por uma teoria quântica sem gravidade. Um deles completa um cálculo proposto em 2003 para universos pequenos e constata que a formação de buracos negros também é abrupta ali. O outro encontra o limite exato de uma técnica usada há mais de 15 anos para descartar teorias candidatas à gravidade quântica em um universo simplificado.

A empresa diz que o problema de construir avaliações capazes de pegar toda falha antes da implantação segue sem solução. Segundo ela, os dois modelos suspeitam estar sendo avaliados com mais frequência do que qualquer modelo recente, o que, na sua visão, dificulta prever como eles agirão em uso real.

Fonte primária

Tópicos relacionados

Cobertura da mídia

Leia também

Comentários (0)

Seja o primeiro a comentar.