LRT Uma decisão acertada que fiz foi ter largado a matemática pura e ido trabalhar com computação. Lean4 e AI tão fazendo coisas incríveis *hoje* e os departamentos estão completamente, intencionalmente, ignorantes sobre o que tá acontecendo
10 days ago