O AGENTICO
Modelo da Anthropic avança na Hipótese de Riemann ao testar 650 ideias
3 fontesdesde 11 de agosto de 20263 artigos
A Anthropic anunciou que um modelo ainda não lançado avançou significativamente na Hipótese de Riemann, um dos maiores problemas em aberto da matemática. O sistema, coordenado por um funcionário sem formação matemática, testou 650 ideias com 60 subagentes. Dois matemáticos confirmaram o resultado, formalizado com o programa Lean.
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.
Todo dia, só o que dois veículos independentes confirmaram — no seu feed.