Hoje, ao passar por uma senhora de certa idade, senti um intenso cheiro a laca. Trouxe-me recordações. Um pouco do meu passado, escrito em verso, arrancado ao vento. Sem estar numa gaveta de memórias...
É matemático.
-
A Open AI despejou online mais de 700 demonstrações de conjecturas
matemáticas, boa parte com descrição formal que permite verificação
automática. Isto est...
Há 18 horas
Sem comentários:
Enviar um comentário