X (Twitter)

Carregando detalhes do thread

Buscando os tweets originais no X para montar uma leitura limpa.

Isso normalmente leva apenas alguns segundos.

Scott Kominers (@skominers): RT @axiommathai: from Putnam (formal theorem proving) to de novo math… | Thread Easy