Ciência

Hipótese de Riemann: modelo da Anthropic obtém avanço

Dois subagentes desenvolveram as ideias matemáticas centrais do trabalho. Outros 13 contribuíram com sugestões, 30 não conseguiram criar novas ideias, 13 verificaram os argumentos e dois ajudaram a redigir o artigo inicial. Dois matemáticos da Anthropic confirmaram o resultado, que foi formalizado com o Lean. O Lean é um programa de código aberto usado para […]