En av mine favorittdeler av intervjuet: Vlad (@vladtenev) avslører endelig sin egen Putnam-musikk.. Og hvor mye han elsker matte. "Det er som om barnet har overgått forelderen i matematiske evner, og så blir ting merkelige." P.S. Vet du hva et Erdős-Bacon-nummer er? . . . "[@HarmonicMath] Nordstjernen var: kan vi faktisk løse virkelig, virkelig viktige matematiske problemer som Riemann-hypotesen eller, du vet, Hodge-formodningen? Det finnes en gruppe matematiske oppgaver som har vært åpne i hundrevis av år, kalt Millennium Prize Problems, og de regnes som veldig store, vanskelige og faktisk verdifulle. Så det var på en måte Nordstjernen. Og grunnen til at vi ønsket å gjøre det, var at hvis vi kunne løse de problemene, vel, kanskje alt som ligger nedstrøms i matematikken – som teoretisk fysikk – blir låst opp. Så da kan du tenke deg å løse virkelig vanskelige fysikkproblemer. Jeg vet ikke om du er interessert i dette, men jeg var veldig interessert. Jeg studerte fysikk. Hvordan kan vi forene de sterke, de svake og den elektromagnetiske kraften med tyngdekraften? Så det er liksom at det finnes disse fire kreftene. Tre av dem har vi en teori om hvordan de oppsto fra én enkelt kraft i universets tidlige del, og så har vi en hypotese om at vi kan forene disse tre. Tyngdekraften passer på en eller annen måte inn der også, men vi har bare ingen anelse om hvordan det passer inn. Og jeg tror dette er den hellige gral innen teoretisk fysikk: hvordan forene gravitasjon med de tre andre kreftene til en teori om alt. Og faktisk, hvis du kan løse det, så er det mange spennende ingeniørutviklinger. Avhengig av hvordan den teorien ser ut, kan du forestille deg ting som reiser raskere enn lyset, og det blir virkelig sprøtt. Men uansett, vi måtte tenke på noen kortsiktige milepæler, fordi vi ikke bare kan gå etter Riemann-hypotesen eller en stor samling på dag én. Vi begynte å løse konkurransematematikkoppgaver, og vi ble en av de første modellene som faktisk fikk gullmedalje i International Math Olympiad, som er verdens vanskeligste matematikkonkurranse. Og etter det var min mentale modell, ok, vi skal lansere dette produktet og kommersialisere, og vi er sannsynligvis ett år unna å faktisk løse uløste matematiske problemer. For det virket som gapet mellom vanskelige konkurranseoppgaver og uløste matteoppgaver var veldig, veldig stort. Men i november, bare denne siste måneden, gjorde Aristoteles denne analysen. Aristoteles hjalp til med eller løste 11 Erdős-problemer. Jeg skal fortelle deg hva et Erdős-problem er. Så Paul Erdős var—han regnes som den mest produktive matematikeren. Han gikk rundt og bodde stort sett hos vennene sine i to uker av gangen. Vennene hans var alle matematikere, og han hjalp dem på en måte med matteproblemene sine. Han var som en reisende matteselger, og ble derfor veldig produktiv. Han publiserte tusenvis av artikler. Det finnes faktisk et Erdős-nummer, som ligner på et Bacon-nummer. Har du hørt om Bacon-nummeret? Det handler i bunn og grunn om hvor mange grader du er unna Kevin Bacon i en film. Så hvis du var med i en film med Kevin Bacon, er Bacon-tallet ditt null. Hvis du var i en film med noen som var med i en film med Kevin Bacon, så er det en. ...