En av mina favoritdelar av intervjun: Vlad (@vladtenev) avslöjar äntligen sitt eget Putnam-soundtrack... och hur mycket han älskar matte. "Det är som att barnet har överträffat föräldern i matematisk förmåga, och sedan blir det konstigt." P.S. Vet du vad ett Erdős-Bacon-nummer är? . . . "[@HarmonicMath] Polstjärnan var: kan vi faktiskt lösa riktigt, riktigt viktiga matematiska problem som Riemannhypotesen eller, du vet, Hodge-hypotesen? Det finns en grupp matematiska problem som har varit öppna i hundratals år och kallas Millennium Prize-problemen, och de anses vara mycket stora, svåra och faktiskt värdefulla. Så det var liksom ledstjärnan. Och anledningen till att vi ville göra det var att om vi kunde lösa de problemen, ja, kanske allt som ligger längre ner i matematiken—som teoretisk fysik—blir olåst. Så då kan du föreställa dig att lösa riktigt svåra fysikproblem. Jag vet inte om du är intresserad av detta, men jag var väldigt intresserad. Jag läste fysik. Hur kan vi förena de starka, de svaga och den elektromagnetiska kraften med gravitationen? Så det är som att det finns dessa fyra krafter. Tre av dem har vi en teori om hur de uppstod från en enda kraft i universums tidiga del, och sedan har vi en hypotes om att vi kan förena dessa tre. Gravitationen passar på något sätt in där också, men vi har helt enkelt ingen aning om hur det passar in. Och jag tror att detta är den heliga graalen inom teoretisk fysik: hur man förenar gravitation med de andra tre krafterna till en teori om allt. Och faktiskt, om man kan lösa det, finns det alla möjliga spännande ingenjörsutvecklingar. Beroende på hur den teorin ser ut kan man föreställa sig saker som snabbare-än-ljuset-resor, och det blir riktigt galet. Men hur som helst, vi var tvungna att tänka på några kortsiktiga milstolpar, för vi kan inte bara gå efter Riemannhypotesen eller en stor förening redan från dag ett. Vi började lösa tävlingsmatteproblem och blev en av de första modellerna att faktiskt få en guldmedalj i International Math Olympiad, som är världens svåraste matematiktävling. Och efter det var min mentala modell, okej, vi ska släppa den här produkten och kommersialisera den, och vi är nog ett år från att faktiskt lösa olösta matteuppgifter. För det verkade som att gapet mellan hårda konkurrensproblem och olösta matteproblem var väldigt, väldigt stort. Men i november, bara den senaste månaden, gjorde Aristoteles denna analys. Aristoteles hjälpte till med eller löste 11 Erdős-problem. Jag ska berätta vad ett Erdős-problem är. Så Paul Erdős var—han anses vara den mest produktive matematikern. Han gick runt och bodde i princip hos sina vänner i två veckor åt gången. Hans vänner var alla matematiker, och han hjälpte dem på något sätt att lösa sina matteuppgifter. Han var som en resande matteförsäljare, och blev därför väldigt produktiv. Han publicerade tusentals artiklar. Det finns faktiskt ett Erdős-nummer, som liknar ett Bacon-nummer. Har du hört talas om Bacon-numret? Det handlar i princip om hur många grader du är ifrån Kevin Bacon i en film. Så om du var med i en film med Kevin Bacon är ditt Bacon-nummer noll. Om du var med i en film med någon som var med i en film med Kevin Bacon, så är det en. ...