Quarta-feira, 11 de novembro de 2026

O AGENTICO

o futuro, todo dia, num clique

Matemáticos da Anthropic

pessoa · 1 menção

Dados

Matemáticos da Anthropic que confirmaram o resultadoDois

Menções

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

    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.

    ver evento

Todo dia, só o que dois veículos independentes confirmaram — no seu feed.

Siga @oagentico →