Een van mijn favoriete delen van het interview: Vlad (@vladtenev) onthult eindelijk zijn eigen Putnam-score.. en hoeveel hij van wiskunde houdt. "het is alsof het kind de ouder in wiskundige vaardigheden heeft overtroffen, en dan wordt het vreemd." P.S. Weet je wat een Erdős-Bacon-nummer is? . . . "De [@HarmonicMath] Noordster was: kunnen we echt, echt belangrijke wiskundeproblemen oplossen zoals de Riemann-hypothese of, weet je, de Hodge-conjectuur? Er is deze groep wiskundeproblemen die al honderden jaren open zijn en die de Millenniumprijsproblemen worden genoemd, en ze worden als zeer groot, moeilijk en eigenlijk waardevol beschouwd. Dus dat was een soort van de Noordster. En de reden dat we dat wilden doen was als we die problemen konden oplossen, nou, misschien wordt alles wat met wiskunde te maken heeft—zoals theoretische fysica—ontgrendeld. Dus dan kun je je voorstellen dat je echt moeilijke natuurkundeproblemen oplost. Ik weet niet of je hierin geïnteresseerd bent, maar ik was er erg in geïnteresseerd. Ik was een natuurkundestudent. Hoe kunnen we de sterke, de zwakke en de elektromagnetische kracht met de zwaartekracht verenigen? Dus het is een beetje alsof er deze vier krachten zijn. Drie daarvan hebben we een theorie over hoe ze zijn ontstaan uit één enkele kracht in het vroege deel van het universum, en dan hebben we een hypothese dat we deze drie kunnen verenigen. De zwaartekracht past daar ook ergens in, maar we hebben gewoon geen idee hoe het daarin past. En ik denk dat dit de heilige graal van de theoretische fysica is: hoe de zwaartekracht te verenigen met de andere drie krachten in een theorie van alles. En als je dat kunt oplossen, dan zijn er allerlei spannende technologische ontwikkelingen. Afhankelijk van hoe die theorie eruitziet, kun je je dingen voorstellen zoals reizen sneller dan het licht, en het wordt echt gek. Maar goed, we moesten nadenken over enkele kortetermijndoelen, want we kunnen niet gewoon op dag één de Riemann-hypothese of een grote unificatie nastreven. We begonnen met het oplossen van wedstrijdwiskundeproblemen, en we werden een van de eerste modellen die daadwerkelijk een gouden medaille op de Internationale Wiskunde Olympiade behaalden, wat de moeilijkste wiskundewedstrijd ter wereld is. En daarna was mijn mentale model: oké, we gaan dit product uitbrengen en we gaan commercialiseren, en we zijn waarschijnlijk een jaar verwijderd van het daadwerkelijk oplossen van onopgeloste wiskundeproblemen. Omdat het leek alsof de kloof tussen moeilijke wedstrijdproblemen en onopgeloste wiskundeproblemen heel, heel groot was. Maar in november, gewoon afgelopen maand, deed Aristoteles deze analyse. Aristoteles hielp bij of loste 11 Erdős-problemen op. Ik zal je vertellen wat een Erdős-probleem is. Paul Erdős was—hij wordt beschouwd als de meest productieve wiskundige. Hij ging rond en verbleef basically twee weken bij zijn vrienden. Zijn vrienden waren allemaal wiskundigen, en hij hielp hen een beetje met hun wiskundeproblemen. Hij was als een rondreizende verkoper van wiskunde, en zo werd hij echt productief. Hij publiceerde duizenden artikelen. Er is eigenlijk een Erdős-nummer, wat vergelijkbaar is met een Bacon-nummer. Heb je ooit van het Bacon-nummer gehoord? Het is basically hoe ver je verwijderd bent van Kevin Bacon in een film. Dus als je in een film met Kevin Bacon was, is je Bacon-nummer nul. Als je in een film was met iemand die in een film met Kevin Bacon was, is het één. ...