Une de mes parties préférées de l'interview : Vlad (@vladtenev) révèle enfin son propre score Putnam.. et à quel point il aime les mathématiques. "C'est comme si l'enfant avait surpassé le parent en capacité mathématique, et puis les choses deviennent étranges." P.S. Savez-vous ce qu'est un nombre d'Erdős-Bacon ? . . . "L'étoile du Nord de [@HarmonicMath] était : pouvons-nous réellement résoudre des problèmes mathématiques vraiment, vraiment importants comme l'hypothèse de Riemann ou, vous savez, la conjecture de Hodge ? Il y a ce groupe de problèmes mathématiques qui sont restés ouverts pendant des centaines d'années et qui sont appelés les Problèmes du Prix du Millénaire, et ils sont considérés comme très grands, difficiles et en fait précieux. Donc c'était un peu l'étoile du Nord. Et la raison pour laquelle nous voulions faire cela, c'était que si nous pouvions résoudre ces problèmes, eh bien, peut-être que tout ce qui découle des mathématiques—comme la physique théorique—devient débloqué. Donc ensuite, vous pouvez imaginer résoudre des problèmes de physique vraiment difficiles. Je ne sais pas si cela vous intéresse, mais j'étais très intéressé. J'étais étudiant en physique. Comment pouvons-nous unifier la force forte, la force faible et la force électromagnétique avec la gravité ? Donc c'est un peu comme s'il y avait ces quatre forces. Trois d'entre elles, nous avons en quelque sorte une théorie sur la façon dont elles ont émergé d'une seule force au début de l'univers, et ensuite nous avons une hypothèse selon laquelle nous pouvons unifier ces trois. La gravité s'intègre aussi là-dedans, mais nous n'avons tout simplement aucune idée de la façon dont elle s'intègre. Et je pense que c'est le Saint Graal de la physique théorique : comment unifier la gravité avec les trois autres forces dans une théorie de tout. Et en fait, si vous pouvez résoudre cela, alors il y a toutes sortes de développements d'ingénierie passionnants. Selon l'apparence de cette théorie, vous pouvez imaginer des choses comme des voyages plus rapides que la lumière, et ça devient vraiment fou. Mais de toute façon, nous devions penser à quelques jalons à court terme, car nous ne pouvons pas simplement nous attaquer à l'hypothèse de Riemann ou à une grande unification dès le premier jour. Nous avons commencé à résoudre des problèmes de mathématiques de compétition, et nous sommes devenus l'un des premiers modèles à obtenir une médaille d'or à l'Olympiade Internationale de Mathématiques, qui est la compétition de mathématiques la plus difficile au monde. Et ensuite, après cela, mon modèle mental était, d'accord, nous allons sortir ce produit et nous allons le commercialiser, et nous sommes probablement à un an de résoudre réellement des problèmes mathématiques non résolus. Parce qu'il semblait que l'écart entre les problèmes de compétition difficiles et les problèmes mathématiques non résolus était très, très large. Mais en novembre, juste le mois dernier, Aristote a fait cette analyse. Aristote a assisté ou résolu 11 problèmes d'Erdős. Je vais vous dire ce qu'est un problème d'Erdős. Donc Paul Erdős était—il est considéré comme le mathématicien le plus prolifique. Il se déplaçait et restait essentiellement avec ses amis pendant deux semaines à la fois. Ses amis étaient tous des mathématiciens, et il les aidait à travailler sur leurs problèmes mathématiques. Il était comme un vendeur itinérant de mathématiques, et donc il est devenu vraiment prolifique. Il a publié des milliers d'articles. Il y a en fait un nombre d'Erdős, qui est similaire à un nombre de Bacon. Avez-vous entendu parler du nombre de Bacon ? C'est essentiellement combien de degrés vous êtes éloigné de Kevin Bacon dans un film. Donc si vous étiez dans un film avec Kevin Bacon, votre nombre de Bacon est zéro. Si vous étiez dans un film avec quelqu'un qui était dans un film avec Kevin Bacon, c'est un. ...