Como acabei me tornando um matemático? (longa história) Quando criança, meu pai me disse "nossa família não é boa em matemática" e eu, preferindo futebol e namoro a qualquer coisa que envolvesse trabalho cerebral, aceitei isso como verdade. Na graduação, estudei Biologia e Ciência da Computação, para entrar em Neurociência (acabei me casando com a filha de um dos meus estimados professores. Mas essa é uma história diferente). Percebi que realmente gostava dos cursos de matemática e odiava qualquer coisa aplicada - seja programação ou laboratórios de biologia. Na verdade, a cada abertura semestral, eu procurava o reitor de graduação da época (Prof. @noamnisan, agora conselheiro da StarkWare) para negociar a substituição de cursos de programação por mais matemática (é por isso que não conheço programação até hoje; embora Introdução ao C++ tenha sido o primeiro curso que ministrei como professor assistente. Mas isso também é uma história diferente.) Então, como estudante de pós-graduação, eu queria entrar em Aprendizado de Máquina, mas o cobiçado Professor (Tali Tishby, RIP), já tinha um zilhão de alunos. Eu estava sentado em um curso sobre Complexidade Computacional ministrado por um pós-doutorado, quando ele foi substituído por uma palestra por um Avi Wigderson. Eu não sabia nada sobre ele na época (sua foto apareceu em pôsteres, já que ele acabou de receber o Prêmio Nevanlinna, mas como um jovem estudante de pós-graduação burro, eu não sabia o que isso significa). Avi falou sobre como algumas pessoas agora estão tentando provar formalmente que é impossível resolver a conjectura P vs. NP. E fiquei hipnotizado por isso. Então eu disse a ele: quero estudar isso como meu projeto de mestrado. Um período de namoro começou. Avi não tinha certeza se eu era uma boa opção para ele (minhas notas de matemática eram boas, mas eu nunca fui do tipo de aluno nota A). Então, ele lançou um livro sobre Prova de Complexidade em mim, dizendo: Leia e resuma para mim. Eu li esse livro 3 vezes de capa a capa e não entendi uma palavra além do capítulo de introdução (hoje eu sei que é mais provável que seja culpa do autor, não da minha própria estupidez. Mas isso é outra história). Algumas semanas depois, ainda sem entender uma palavra sobre o assunto, Avi pediu para explicar um artigo recente sobre "grau e tamanho das provas de cálculo polinomial". Sentamos em sua casa, expliquei. Em algum momento, ele perguntou: "Por que isso não pode ser aplicado ao sistema de prova de resolução?" (A resolução é o sistema de prova de cálculo proposicional mais importante e básico). Apertei os olhos, pensei um pouco e disse "Ah, mas pode, veja como", e apliquei o mesmo método de prova à Resolução. Avi ficou muito animado. Eu disse "vamos enviar um e-mail para os autores do artigo anterior", pensando que, se eu entendo essas coisas, não pode ser mais do que digno de e-mail. Avi insistiu que escrevêssemos como um papel. A cada poucos dias eu tentava convencê-lo a desistir e apenas enviar um e-mail, mas ele era inflexível e eu ouvia. Ainda bem que eu fiz. Acabou como meu artigo mais citado e importante antes dos STARK / SNARK. Depois desse artigo, alguns outros apareceram. Com cada um, eu tinha certeza de que é apenas uma observação digna de e-mail, não Deep Math. Eu vi todos esses outros papéis, que eram tão difíceis de entender e, em comparação, minhas próprias coisas eram tão claras e simples. Levei muitos anos para perceber que é assim que a matemática progride. Você gasta muito tempo internalizando alguns conceitos teóricos e, um dia, "vê". E então parece claro e simples. Mas é claro e simples apenas para você. Para outros, é complicado. Hoje, quando tenho que olhar para trás em alguns dos meus trabalhos anteriores, me pego apertando os olhos, coçando a cabeça e dizendo "caramba, isso é uma coisa séria, como eles inventaram isso?" :-) Após esses avanços matemáticos iniciais, Avi ofereceu que eu não fizesse apenas um mestrado, mas na verdade um doutorado, e foi assim que acabei me tornando um cientista da computação teórico (que é uma espécie de matemático). FIM.