Una delle mie parti preferite dell'intervista: Vlad (@vladtenev) rivela finalmente il suo punteggio di Putnam.. e quanto ama la matematica. "è come se il bambino avesse superato il genitore in abilità matematica, e poi le cose diventano strane." P.S. Sai cos'è un numero di Erdős-Bacon? . . . "La Stella Polare di [@HarmonicMath] era: possiamo davvero risolvere problemi matematici davvero, davvero importanti come l'ipotesi di Riemann o, sai, la congettura di Hodge? C'è questo gruppo di problemi matematici che sono rimasti aperti per centinaia di anni e che sono chiamati i Problemi del Premio Millennium, e sono considerati molto grandi, difficili e in realtà preziosi. Quindi quella era un po' la Stella Polare. E il motivo per cui volevamo farlo era che se riuscissimo a risolvere quei problemi, beh, forse tutto ciò che è a valle della matematica—come la fisica teorica—si sblocca. Quindi puoi immaginare di risolvere problemi di fisica davvero difficili. Non so se sei interessato a questo, ma io ero molto interessato. Ero un laureato in fisica. Come possiamo unificare la forza forte, la forza debole e la forza elettromagnetica con la gravità? Quindi è un po' come se ci fossero queste quattro forze. Tre di esse abbiamo in qualche modo una teoria su come siano originate da una singola forza nella parte iniziale dell'universo, e poi abbiamo un'ipotesi che possiamo unificare queste tre. Anche la gravità in qualche modo si inserisce lì, ma non abbiamo idea di come si inserisca. E penso che questo sia il sacro graal della fisica teorica: come unificare la gravità con le altre tre forze in una teoria di tutto. E in realtà, se riesci a risolvere questo, allora ci sono tutti i tipi di sviluppi ingegneristici entusiasmanti. A seconda di come appare quella teoria, puoi immaginare cose come viaggi più veloci della luce, e diventa davvero folle. Ma comunque, dovevamo pensare a qualche traguardo a breve termine, perché non possiamo semplicemente puntare all'ipotesi di Riemann o a una grande unificazione dal giorno uno. Abbiamo iniziato a risolvere problemi matematici di competizione, e siamo diventati uno dei primi modelli a ottenere effettivamente una medaglia d'oro alle Olimpiadi Internazionali di Matematica, che è la competizione matematica più difficile del mondo. E poi dopo, il mio modello mentale era, ok, rilasceremo questo prodotto e lo commercializzeremo, e probabilmente siamo a un anno dal risolvere effettivamente problemi matematici irrisolti. Perché sembrava che il divario tra problemi di competizione difficili e problemi matematici irrisolti fosse molto, molto grande. Ma a novembre, proprio il mese scorso, Aristotele ha fatto questa analisi. Aristotele ha assistito o risolto 11 problemi di Erdős. Ti dirò cos'è un problema di Erdős. Paul Erdős era—è considerato il matematico più prolifico. Andava in giro e sostanzialmente stava con i suoi amici per due settimane alla volta. I suoi amici erano tutti matematici, e lui li aiutava a lavorare sui loro problemi matematici. Era come un venditore ambulante di matematica, e così è diventato davvero prolifico. Ha pubblicato migliaia di articoli. Esiste in realtà un numero di Erdős, che è simile a un numero di Bacon. Hai sentito parlare del numero di Bacon? È fondamentalmente quanti gradi sei lontano da Kevin Bacon in un film. Quindi se sei stato in un film con Kevin Bacon, il tuo numero di Bacon è zero. Se sei stato in un film con qualcuno che è stato in un film con Kevin Bacon, è uno. ...