Modelo da Anthropic avança na Hipótese de Riemann ao testar 650 ideias

Resumo

• Um modelo ainda não lançado da Anthropic avançou significativamente na Hipótese de Riemann, aumentando o limite inferior de soluções válidas, mas sem prova definitiva.

  Isso indica que IAs podem explorar problemas matemáticos complexos além do conhecimento existente.

• Um funcionário da Anthropic sem formação matemática significativa pediu ao modelo que tentasse provar a hipótese, e o modelo coordenou a tarefa por cerca de um dia e meio.

  Mostra que a IA pode trabalhar de forma autônoma em problemas complexos com orientação mínima.

• O modelo testou 650 ideias diferentes e coordenou 60 subagentes durante o processo.

  A escala de exploração mostra a capacidade da IA de gerar e validar muitas soluções em paralelo.

• Dois dos 60 subagentes foram responsáveis pelo desenvolvimento das ideias matemáticas centrais.

  Revela que a divisão de trabalho entre subagentes pode gerar contribuições específicas e importantes.

• Dois matemáticos da Anthropic confirmaram o resultado, que foi formalizado com o programa Lean.

  A verificação formal com Lean aumenta a confiabilidade do resultado obtido pela IA.

Dados

Duração da coordenação da tarefa

um dia e meio

Ideias testadas

650 ideias

Subagentes coordenados

60 subagentes

Subagentes responsáveis pelas ideias matemáticas centrais

Dois

Total de subagentes

60

Matemáticos da Anthropic que confirmaram o resultado

Dois