Uma pena para Putnam, mas a sequência DeepSeek-Prover-2 > Seed-Prover continuará sendo parte integrante da história da matemática do LLM.
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.