Comment ai-je fini par être mathématicien ? (histoire longue) Enfant, mon père m'a dit "notre famille n'est pas douée en maths" et moi, préférant le football et les rendez-vous amoureux à tout ce qui impliquait un travail intellectuel, j'ai accepté cela comme une vérité. En tant qu'étudiant de premier cycle, j'ai étudié la biologie et l'informatique, pour me diriger vers les neurosciences (j'ai fini par épouser la fille de l'un de mes professeurs estimés. Mais c'est une autre histoire). J'ai réalisé que j'aimais vraiment les cours de maths, et je détestais tout ce qui était appliqué - que ce soit la programmation ou les laboratoires de biologie. En fait, chaque ouverture de semestre, j'allais voir le doyen de premier cycle de l'époque (Prof. @noamnisan, maintenant conseiller chez StarkWare) pour négocier le remplacement des cours de programmation par plus de maths (c'est pourquoi je ne connais pas la programmation jusqu'à ce jour ; même si l'introduction au C++ était le premier cours que j'ai enseigné en tant que professeur adjoint. Mais ça aussi, c'est une autre histoire.) Ensuite, en tant qu'étudiant diplômé, je voulais me diriger vers l'apprentissage automatique, mais le professeur convoité (Tali Tishby, RIP) avait déjà un nombre incalculable d'étudiants. J'étais assis dans un cours sur la complexité computationnelle enseigné par un postdoctorant, quand il a été remplacé pour une conférence par un certain Avi Wigderson. Je ne savais rien de lui à l'époque (sa photo apparaissait sur des affiches, car il venait de recevoir le prix Nevanlinna, mais en tant que jeune étudiant diplômé un peu naïf, je ne savais pas ce que cela signifiait). Avi a parlé de la façon dont certaines personnes essaient maintenant de prouver formellement qu'il est impossible de résoudre la conjecture P contre NP. Et j'étais fasciné par cela. Alors je lui ai dit : je veux étudier cela comme mon projet de maîtrise. Une période de courtisanage a commencé. Avi n'était pas sûr que je sois un bon choix pour lui (mes notes en maths étaient correctes, mais je n'ai jamais été le type d'étudiant à avoir des A partout). Alors, il m'a laissé un livre sur la complexité des preuves, en disant : Lis et résume-le pour moi. J'ai lu ce livre comme 3 fois de la première à la dernière page et je n'ai rien compris au-delà du chapitre d'introduction (aujourd'hui, je sais que c'est plus probablement la faute de l'auteur, pas de ma propre stupidité. Mais c'est une autre histoire). Quelques semaines plus tard, ne comprenant toujours rien au sujet, Avi m'a demandé d'expliquer un article récent sur "le degré et la taille des preuves du calcul polynômial". Nous étions assis chez lui, je lui ai expliqué. À un moment donné, il a demandé : "Pourquoi cela ne peut-il pas être appliqué au système de preuve de résolution ?" (La résolution est le système de preuve de calcul propositionnel le plus important et le plus basique). J'ai plissé les yeux, réfléchi un peu, et j'ai dit "Oh, mais ça peut, voici comment", et j'ai appliqué la même méthode de preuve à la résolution. Avi était très excité. J'ai dit "envoyons un e-mail aux auteurs de l'article précédent", pensant que si je comprends ces choses, cela ne peut vraiment pas être plus qu'un e-mail. Avi a insisté pour que nous le rédigeons comme un article. Tous les quelques jours, j'ai essayé de le convaincre d'abandonner et d'envoyer juste un e-mail, mais il était catégorique, et je l'ai écouté. Heureusement que je l'ai fait. Cela a fini par être mon article le plus cité et le plus important avant ceux sur STARK/SNARK. Après cet article, quelques autres sont venus. Avec chacun, j'étais sûr que ce n'était qu'une observation digne d'un e-mail, pas de mathématiques profondes. Je voyais tous ces autres articles, qui étaient si difficiles à comprendre, et en comparaison, mes propres travaux étaient si clairs et simples. Il m'a fallu de nombreuses années pour réaliser que c'est ainsi que progresse les maths. Vous passez beaucoup de temps à intérioriser certains concepts théoriques, et puis un jour vous "le voyez". Et alors tout vous semble clair et simple. Mais c'est clair et simple seulement pour vous. Pour les autres, c'est compliqué. Aujourd'hui, quand je dois revenir sur certains de mes articles plus anciens, je me retrouve à plisser les yeux, à me gratter la tête, et à dire "mince, c'est du sérieux, comment ont-ils pu en arriver là ?" :-) Après ces premières percées mathématiques, Avi m'a proposé de ne pas faire juste un MSc mais en fait un doctorat, ce qui est comment j'ai fini par être un informaticien théorique (ce qui est une sorte de mathématicien). LA FIN.