Como acabei por ser Matemático? (história longa) Quando era criança, meu pai disse-me "nossa família não é boa em matemática" e eu, preferindo futebol e namorar a qualquer coisa que envolvesse trabalho cerebral, aceitei isso como verdade. Como estudante de graduação, estudei Biologia e Ciência da Computação, para entrar em Neurociência (acabei por me casar com a filha de um dos meus estimados professores. Mas essa é uma história diferente). Percebi que realmente gostava das disciplinas de matemática e odiava qualquer coisa aplicada - seja programação ou laboratórios de biologia. Na verdade, a cada início de semestre, eu ia ao Reitor da graduação na época (Prof. @noamnisan, agora conselheiro da StarkWare) para negociar a substituição de cursos de programação por mais matemática (o que é a razão pela qual não sei programação até hoje; mesmo que Introdução ao C++ tenha sido o primeiro curso que ensinei como Professor Assistente. Mas isso, também, é uma história diferente.) Então, como estudante de pós-graduação, queria entrar em Aprendizado de Máquina, mas o cobiçado Professor (Tali Tishby, RIP) já tinha um gazzilion de alunos. Estava sentado em um curso sobre Complexidade Computacional ministrado por um Pós-Doutorando, quando ele foi substituído por uma palestra de Avi Wigderson. Eu não sabia nada sobre ele na época (sua foto apareceu em cartazes, pois ele acabara de receber o Prêmio Nevanlinna, mas como um jovem estudante de pós-graduação burro, eu não sabia o que isso significava). Avi falou sobre como algumas pessoas estão agora tentando provar formalmente que é impossível resolver a conjectura P vs. NP. E eu fiquei hipnotizado por isso. Então eu disse a ele: quero estudar isso como meu projeto de mestrado. Começou um período de cortejo. Avi não tinha certeza se eu era uma boa opção para ele (minhas notas em matemática eram boas, mas eu nunca fui o tipo de aluno nota 10). Então, ele deixou um livro sobre Complexidade de Provas para mim, dizendo: Leia e resuma para mim. Li aquele livro umas 3 vezes de capa a capa e não entendi uma palavra além do capítulo introdutório (hoje sei que isso é mais provavelmente culpa do autor, não da minha própria estupidez. Mas essa é outra história). Algumas semanas depois, ainda sem entender uma palavra sobre o assunto, Avi pediu para eu explicar um artigo recente sobre "grau e tamanho de provas de Cálculo Polinomial". Sentamos em sua casa, eu expliquei. Em algum momento, ele perguntou: "Por que isso não pode ser aplicado ao sistema de prova de Resolução?" (Resolução é o sistema de prova de cálculo proposicional mais importante e básico). Eu estreitei os olhos, pensei um pouco e disse: "Oh, mas pode, aqui está 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 entendesse essas coisas, não poderia ser mais do que digno de um e-mail. Avi insistiu que escrevêssemos como um artigo. A cada poucos dias, eu tentava convencê-lo a desistir e apenas enviar um e-mail, mas ele estava determinado, e eu ouvi. Ainda bem que fiz isso. Acabou sendo meu artigo mais citado e importante antes dos artigos STARK/SNARK. Depois desse artigo, outros vieram. Com cada um, eu tinha certeza de que era apenas uma observação digna de e-mail, não Matemática Profunda. Eu via todos esses outros artigos, que eram tão difíceis de entender, e em comparação, meu próprio material era tão claro e simples. Demorei muitos anos para perceber que é assim que a matemática avança. Você passa muito tempo internalizando alguns conceitos teóricos, e então, um dia, você "vê isso". E então parece tudo claro e simples para você. Mas é claro e simples apenas para você. Para os outros, é complicado. Hoje, quando tenho que olhar para alguns dos meus artigos anteriores, me pego estreitando os olhos, coçando a cabeça e dizendo: "caramba, isso é coisa séria, como eles chegaram a isso?" :-) Depois dessas descobertas matemáticas iniciais, Avi ofereceu que eu não fizesse apenas um mestrado, mas na verdade um doutorado, que é como acabei por ser um cientista da computação teórico (que é uma espécie de matemático). FIM.