Ao fim de uma porrada de anos, consegui ter o meu nome inscrito no blogue da Instituição Marzápia. Muitas parvoíces se seguirão. A marzapização não será televisionada.
Mensagens
É 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