YouTube2Text

Steven Strogatz on the Humanity of Math — Transcript

by Grant Sanderson · 18,667 words · 2,744 segments · language en · Watch on YouTube

Full transcript

  1. 0:00About 5 years ago, I experimented with
  2. 0:02starting up a podcast, called it the
  3. 0:043B1B podcast. And essentially, I spent a
  4. 0:06summer having various conversations with
  5. 0:08a lot of mathematicians, a lot of
  6. 0:10content creators. And at the time, at
  7. 0:12the end of that summer, I remember
  8. 0:13reflecting, okay, this is fun. I could
  9. 0:15totally keep doing this, but does the
  10. 0:17world really need another podcast? And
  11. 0:19also, I just kind of want to concentrate
  12. 0:20most of my time making videos. That was
  13. 0:222021. The world is pretty different here
  14. 0:25in 2026. In particular, the math world
  15. 0:28has been completely on fire describing
  16. 0:30what is happening to mathematics in the
  17. 0:32presence of AI. And in particular, I
  18. 0:34think a lot of people have just been
  19. 0:35stepping back and reflecting on what is
  20. 0:37mathematics to them. What is valuable
  21. 0:39about it? What is it that they want to
  22. 0:41keep about the culture? Where are they
  23. 0:42worried? Where are they excited? And
  24. 0:44I've been having a lot of these
  25. 0:45conversations anyway. So, I decided,
  26. 0:47hey, let's just spin up the podcast
  27. 0:49again and share these conversations with
  28. 0:50some of you.
  29. 0:55For this first episode of the revamp, I
  30. 0:57had on Steven Strogats. Always a delight
  31. 0:59to talk to, always a great storyteller,
  32. 1:01and he always just has something
  33. 1:02completely unexpected uh that he says in
  34. 1:05any conversation that I have with him on
  35. 1:07or offline. So, I think you're really
  36. 1:09going to enjoy this one. The other thing
  37. 1:10helping to make the revamp possible is
  38. 1:12that I've been taking on more of a team
  39. 1:14this [music] year. And so in particular,
  40. 1:15this podcast comes to you much thanks to
  41. 1:17a new producer, Ashley. So many thanks
  42. 1:19to her. The conversation itself you're
  43. 1:21about to hear will be uninterrupted by
  44. 1:23sponsor reads. But if you do want to
  45. 1:25support Three Blue and Brown and its
  46. 1:26associated projects, the Patreon page is
  47. 1:28the best place to do that. There's perks
  48. 1:30like early views of new videos.
  49. 1:31Alternatively, if any of you are looking
  50. 1:33for new jobs or new careers, I have a
  51. 1:36set of partner companies you can find at
  52. 1:373b1B.co/talent
  53. 1:39who are actively recruiting and
  54. 1:41interested in hiring people like you.
  55. 1:43the kind of people who are deeply
  56. 1:44curious about and engaged with math and
  57. 1:46its surrounding fields. With that, let's
  58. 1:48dive into the conversation with Steve
  59. 1:49Strogatz.
  60. 1:58>> AI is the conversation among
  61. 2:00mathematicians.
  62. 2:00>> It is and we ought to talk about it. I
  63. 2:02I'm very I change my mind every day. I'd
  64. 2:05like to hear what you think.
  65. 2:07>> Um
  66. 2:07>> Well, okay. What how how have you
  67. 2:09changed your mind like in the last year?
  68. 2:10What have been some things that have
  69. 2:12changed your mind? [laughter]
  70. 2:14>> Well, it's a question of whether grief
  71. 2:17is the right reaction or ecstasy or
  72. 2:20exhilaration
  73. 2:22or just massive uncertainty. Um,
  74. 2:25>> right this moment of of those of the
  75. 2:27four that you just listened listed,
  76. 2:29what's the most salient in your mind
  77. 2:30right now?
  78. 2:31>> I'm trying very hard to be exhilarated.
  79. 2:36I I feel like I have some responsibility
  80. 2:39to encourage younger people to keep keep
  81. 2:43up the fight to not you know like if you
  82. 2:46go too hard on grief
  83. 2:49there is a sense that like is the
  84. 2:51subject dead? Is math over? And if so
  85. 2:56uh you know I mean imagine being even
  86. 2:59younger than you are. How would a person
  87. 3:02feel? would they think I I can't, you
  88. 3:04know, I love this subject and now I
  89. 3:06can't go into it. I don't I don't want
  90. 3:08to send that message. On the other hand,
  91. 3:10I don't want to be unrealistic. If
  92. 3:13that's the truth, maybe we ought to face
  93. 3:15the truth. It's very confusing because
  94. 3:17no one knows the truth, right? There's
  95. 3:19so much uncertainty about what's going
  96. 3:20to happen.
  97. 3:21>> This is actually the first question on
  98. 3:23my list is what are you telling students
  99. 3:25right now? because I I will make a video
  100. 3:27like record some video that's basically
  101. 3:28just uh specifically addressed at those
  102. 3:31students who were maybe thinking of
  103. 3:32going into a math PhD.
  104. 3:34>> Um and the the hard part of it is like I
  105. 3:37don't know the future. I'm not going to
  106. 3:38pretend like I do. But I also have some
  107. 3:41somewhat firm like predictions or
  108. 3:43opinions that I think lend a certain
  109. 3:45optimism there. But I don't want to lead
  110. 3:47[clears throat] the witness at all. I'm
  111. 3:49curious. Student [laughter] student
  112. 3:50walks into your office. They're like,
  113. 3:52"Professor Strogats, I have loved math
  114. 3:54all of my life. I thought I wanted to be
  115. 3:55a mathematician, but I'm I'm looking at
  116. 3:57everything that's happening now, and I'm
  117. 3:59I'm wondering if I'm walking into a dead
  118. 4:00field. You in your office on the other
  119. 4:03side of that desk, what do you tell
  120. 4:04them?
  121. 4:06What I'm telling them as of today
  122. 4:09[laughter]
  123. 4:10is
  124. 4:12um it might actually be a wonderful time
  125. 4:15to go into math. I don't want to put too
  126. 4:18definitive uh
  127. 4:21I can't say it with my full heart
  128. 4:22because there's so much uncertainty but
  129. 4:24to the extent that I can figure it out
  130. 4:27it seems like AI might be a great
  131. 4:29equalizer in the sense that there was a
  132. 4:32time when technical power was the number
  133. 4:36one strength that a mathematician
  134. 4:39needed. So if you are a really good
  135. 4:41problem solver
  136. 4:43uh fast, deep, widely knowledgeable,
  137. 4:47able to follow intricate chains of
  138. 4:50reasoning, construct them, all those
  139. 4:53kinds of things that you think of as
  140. 4:54being good at math in the problem
  141. 4:56solving sense.
  142. 4:58Uh those used to be
  143. 5:02like the quintessential aspects of being
  144. 5:04a strong highcaliber mathematician.
  145. 5:08And I feel like those skills are less in
  146. 5:11demand now and probably in the years to
  147. 5:14come. Not that they're nothing, but
  148. 5:18let's think of other things that make
  149. 5:19people good mathematicians or good
  150. 5:21researchers generally. Curiosity,
  151. 5:25taste, deciding what's interesting, the
  152. 5:28ability to tell a good story, to to
  153. 5:31connect to the real world, to connect to
  154. 5:34other parts of math, those kinds of
  155. 5:37things. if you were technically weak or
  156. 5:39average,
  157. 5:41you couldn't really play at a very high
  158. 5:43level. But now I think you can. And so
  159. 5:48the other day I was talking to a group
  160. 5:50of students. We have like the math club
  161. 5:52and they've been asking professors to
  162. 5:54come and talk to them about what's
  163. 5:55happening. And usually we have a panel
  164. 5:57of four or five people and we all have
  165. 5:59different takes on this. And I don't
  166. 6:01know if I connected with the students
  167. 6:03the other day, but what I was thinking,
  168. 6:05I mean, I have two kids who are 24 and
  169. 6:0726 right now, and I think about their
  170. 6:10futures all the time. Um, they have
  171. 6:13taught me this word, which you will
  172. 6:15know. Riz, [laughter]
  173. 6:20you know where I'm going. Like charisma.
  174. 6:22>> Yeah. Yeah. Yeah. Is it okay? I think
  175. 6:24Tell me where you're going.
  176. 6:25>> Have I said it wrong? [laughter]
  177. 6:27>> No. No. You said as far as Hey, we're
  178. 6:29talking below my generation at this
  179. 6:30point. I know, right? This is
  180. 6:32>> um but yeah, commenting on whether the
  181. 6:35AI has RZ or not.
  182. 6:36>> No, not the AI. That RZ is in more and
  183. 6:39more demand because it's something that
  184. 6:41only people have.
  185. 6:43>> And I'm starting to think what makes a
  186. 6:45future mathematician or a future math
  187. 6:48professor is your unique brand. I hate
  188. 6:52to say it that way. That sounds like
  189. 6:54business. I don't mean it that way. I
  190. 6:56mean your uniqueness as like think of
  191. 6:58actually I you're a perfect example. You
  192. 7:00have somehow I may be too embarrassing
  193. 7:02to be pointing at you but you you picked
  194. 7:05something that you love. I mean you're a
  195. 7:08well okay it will be too embarrass I'm
  196. 7:10getting embarrassed on your behalf to
  197. 7:12saying it but the things that you seem
  198. 7:14to like to do explaining crafting
  199. 7:16explanations being visual
  200. 7:19it's something that means a lot to you.
  201. 7:21You obviously love the subject, but you
  202. 7:22found your angle
  203. 7:24>> and it turns out I hope it's been very
  204. 7:28fulfilling for you and it's very
  205. 7:32um it's a gift to the rest of the
  206. 7:35universe what you have given us and I
  207. 7:37think other people can try to do the
  208. 7:40same thing in their own way. What is it
  209. 7:42that really moves them? Not just their
  210. 7:45passion like what are they good at?
  211. 7:47what's their
  212. 7:49their fundamentally
  213. 7:51distinctive thing whatever that is
  214. 7:54>> you can now do that in a way that you
  215. 7:56couldn't before AI because AI has been
  216. 7:59this equalizer in that it can do the
  217. 8:02lemas it can do the proofs
  218. 8:04>> if you can ask the right questions if
  219. 8:06you can tell the good story if you can
  220. 8:08make the cool connection you're in the
  221. 8:10game in a way that you never were before
  222. 8:13>> I love this take that I mean yeah what
  223. 8:15what we're selecting for is an element
  224. 8:16of mathematical riz and the the uh the
  225. 8:19the PhDs to be are not differentiated
  226. 8:21based on pure problem solving abilities.
  227. 8:23I want to get back to problem solving
  228. 8:25later actually because I think I think
  229. 8:27there's something nuanced to to to get
  230. 8:28into there. Yeah. Okay. Um but simply on
  231. 8:32the side of what what is math or what is
  232. 8:34the practice of doing math outside of
  233. 8:35it, you know, pointing out like you I
  234. 8:38think you are you are very emblematic of
  235. 8:41one of the more charismatic
  236. 8:42mathematicians out there and deservedly
  237. 8:45like well respected for it just in that
  238. 8:47I think you have you have a way with
  239. 8:49with a microphone. You have a way with
  240. 8:51people. You have a way on a stage. you
  241. 8:52have a way in your books that really
  242. 8:54comes out that's clearly not you're an
  243. 8:56amazing problem solver but it's it's
  244. 8:58clearly something more than that that
  245. 8:59that's drawing people in. Um and so I
  246. 9:02think a natural response some people
  247. 9:04might have though would be but surely
  248. 9:07all of that is something that you can
  249. 9:09distill and what's to say that you know
  250. 9:12the models aren't going to get better
  251. 9:13than that? Um you know
  252. 9:15>> I've wondered about that a lot myself.
  253. 9:17>> Yeah. So I um I I had written up this
  254. 9:20post on like perhaps academic math
  255. 9:21should elevate the status of uh of kind
  256. 9:25of the the explanatory aspects of
  257. 9:26>> I saw this on Terry Ta's blog right
  258. 9:29>> for Terry Tow's blog and one of the most
  259. 9:31common replies on there was like sure
  260. 9:32but like what happens once uh AI is a
  261. 9:35super superhuman expositor you know it's
  262. 9:37it's super human at doing that what role
  263. 9:40is that as I'm curious how you would
  264. 9:41respond um yeah on that
  265. 9:43>> question my answer to that is
  266. 9:45I think I basically accept the premise
  267. 9:48first of all that right now first of all
  268. 9:52let's talk about right now and let's
  269. 9:53talk about the future right now
  270. 9:57the AIs are not good at asking questions
  271. 10:00we're seeing this in uh math at the
  272. 10:02frontier that they are not inventing new
  273. 10:06theories you know we'd make this
  274. 10:08distinction problem solving and theory
  275. 10:10building they've shown them to be
  276. 10:12superhuman in problem solving and
  277. 10:16They're subhuman compared to the very
  278. 10:18best in theory building.
  279. 10:21>> Mhm.
  280. 10:22>> They're not. Now, you could say no
  281. 10:24surprise. They're not trained to do
  282. 10:25that. In fact, I I've tried to get them
  283. 10:28to make up test questions. I just gave a
  284. 10:31prelim exam today and just for
  285. 10:35curiosity, I asked, you know, make up
  286. 10:36some questions for my complex analysis
  287. 10:38exam.
  288. 10:40>> Not very good, not terrible.
  289. 10:42>> In what way, how did it fail? Like what
  290. 10:44was it doing that you wouldn't have?
  291. 10:46Well, they were competent. I mean, they
  292. 10:49were pedestrian. They were like any
  293. 10:51textbook. They weren't particularly
  294. 10:54interesting. But maybe that's good.
  295. 10:55Actually, it's usually a good uristic
  296. 10:57that if the question is too interesting
  297. 10:59to the professor for a test question.
  298. 11:02[laughter] That's a bad sign. It's going
  299. 11:04to be too hard. And the students are
  300. 11:06under pressure. They don't want an
  301. 11:07interesting question. They want a
  302. 11:08straightforward question. So, maybe I
  303. 11:10shouldn't say that they weren't good.
  304. 11:12They they weren't interesting to me.
  305. 11:14They weren't juicy questions that would
  306. 11:16challenge my best students. They were
  307. 11:18very routine. But but that really wasn't
  308. 11:20where I was trying to go. I mean, in the
  309. 11:23as far as research math, they're so far
  310. 11:25not very good at
  311. 11:28at um building new concepts.
  312. 11:31Now, maybe we haven't trained them to do
  313. 11:33it. We haven't trained them to ask
  314. 11:34questions. We've been training them to
  315. 11:36try to answer questions and they've
  316. 11:38gotten good at that. So those people who
  317. 11:40say look taste
  318. 11:42even charisma asking good questions
  319. 11:45building theory just like we teach our
  320. 11:48good grad students to do that I mean it
  321. 11:52these are teachable skills they're hard
  322. 11:54there are very few people who know how
  323. 11:55to teach for instance the art of
  324. 11:57discovery
  325. 11:59um
  326. 12:00but there are people who have thought
  327. 12:01about it and so presumably anything that
  328. 12:04you could teach a person you could teach
  329. 12:05an AI and at some point they will be
  330. 12:08superhuman at all of those things and I
  331. 12:11think I sort of believe that I I it's
  332. 12:14not happening yet. I do imagine it
  333. 12:16happening in the future. I have a lot of
  334. 12:18good colleagues who would say this is
  335. 12:20false this is not going to happen the
  336. 12:22storytelling. Yeah. So I don't know this
  337. 12:25is open.
  338. 12:26>> Yeah we let's take it as a postulate
  339. 12:28just you know maybe you don't believe it
  340. 12:30will happen but it's interesting to to
  341. 12:31engage with. Yeah. What would what would
  342. 12:33happen in that future? Um so in in that
  343. 12:35scenario yeah if we stipulate that they
  344. 12:37will be like Jacob Zimmerman has said
  345. 12:39that right in his one of his interviews
  346. 12:41the interview he said it in a lot of his
  347. 12:42interviews but in his interview with um
  348. 12:45Siobhan Roberts for the notices of the
  349. 12:48American Math Society he says he thinks
  350. 12:52that uh they will just be better at
  351. 12:55everything. They the AIS will be better
  352. 12:57at problem solving at taste at theory
  353. 12:59building all of it. And then he goes on
  354. 13:01to say it will make being a
  355. 13:02mathematician not a profession in the
  356. 13:05future.
  357. 13:06>> This is where I I disagree and I'm I'm
  358. 13:10curious if I'm simply holding on to a
  359. 13:12I'm not even a like practicing
  360. 13:14mathematician in an academic sense,
  361. 13:15right? Like I I I have a career that's
  362. 13:17pretty independent. But nevertheless, I
  363. 13:19wonder if I'm kind of biased by the by
  364. 13:20the love of mathematicians. And so one
  365. 13:23of the things I want to do both in this
  366. 13:25conversation and others like it is to
  367. 13:26kind of like see if I if I'm blinded by
  368. 13:30something because I can get into why I
  369. 13:32disagree but yeah what's your take there
  370. 13:34in that everything you can do I can do
  371. 13:35better future because that's okay.
  372. 13:38Right. So that I just to come to my
  373. 13:40punchline and it's a very tentative
  374. 13:42punchline like just about everything I'm
  375. 13:44going to say on this broad topic of math
  376. 13:46and AI. But what I feel today and have
  377. 13:50felt for the past few days is um
  378. 13:56is that I think we're going to find
  379. 13:57humanity more and more precious as we
  380. 14:01become dwarfed by the capacity of AI in
  381. 14:04intellectual matters that our
  382. 14:08our foibless our fragility are to air as
  383. 14:12human you know those qualities I think
  384. 14:15we're going to start to feel affection
  385. 14:16for that when I watch let's take a few
  386. 14:19examples music or chess not perfect
  387. 14:21analogies but let's just talk about
  388. 14:23those two when I watch the great grand
  389. 14:25masters playing at the world
  390. 14:26championship caliber level
  391. 14:29and there are many other chess fans
  392. 14:31watching them you see them nowadays
  393. 14:35uh as they're playing with a chess
  394. 14:39engine running simultaneously showing
  395. 14:42who's actually better in a given
  396. 14:43position sometimes a player will make a
  397. 14:46move and instantly the evaluation bar
  398. 14:48will drop. Someone has just blundered
  399. 14:51and it's a very dramatic moment. Often
  400. 14:53the drama is heightened
  401. 14:55by the commentators not running the
  402. 14:58engines at the same time. So they don't
  403. 14:59know what has happened, but you and the
  404. 15:01audience know. Oh my god. So then it's a
  405. 15:04question of will the commentators
  406. 15:05realize, will the players realize
  407. 15:09I think there's something very sweet
  408. 15:11about it because it's
  409. 15:13we're we're people. This is what
  410. 15:15happens. We're not perfect. and and uh
  411. 15:18likewise I think of the movie Shine
  412. 15:21which may be well before your time but
  413. 15:22Shine was a story of a pianist named
  414. 15:26David Hcgot
  415. 15:28um who was a very promising brilliant
  416. 15:31young pianist who won some international
  417. 15:34competition if I remember right and then
  418. 15:38something went wrong like maybe I don't
  419. 15:41remember what his diagnosis was but he
  420. 15:43had some sort of disorder mentally that
  421. 15:46that essentially ruined his musical
  422. 15:48career and and to a large extent his
  423. 15:51life. But at some point he he came back
  424. 15:54and recovered and played after all these
  425. 15:58years even after the movie made him
  426. 16:00famous
  427. 16:01and his playing was not perfect but it
  428. 16:04was so filled with humanity
  429. 16:07>> and so touching and and passionate and
  430. 16:11marvelous that who cares. Of course it's
  431. 16:13not perfect. If I listen to Paul Simon
  432. 16:16sing now at 80 something years old, I
  433. 16:18love Paul Simon. I don't care that he
  434. 16:20can't sing anymore. I that's my guy. I
  435. 16:22want to hear him. So I'm starting to
  436. 16:24think, is that what's in store for us?
  437. 16:26That we are going to be these blundering
  438. 16:28offkey mathematicians who are weak
  439. 16:31compared to the right. I mean obviously
  440. 16:33a machine could play everything David
  441. 16:36Hcco could play perfectly.
  442. 16:38>> Do we want that? Do we really want that?
  443. 16:40Maybe. But we might also want the
  444. 16:43imperfection, the beautiful humanity. So
  445. 16:46maybe that's what what's in store for
  446. 16:48us. That we're going to be second rate
  447. 16:49mathematicians, but we can still love
  448. 16:51it. And and uh I don't know. Okay. So
  449. 16:56I'm going to be quiet. Let me hear your
  450. 16:58thinking.
  451. 16:58>> No, no, no, no. I love Well, I I'm I'm
  452. 17:00going to continue on with this a little.
  453. 17:01I'll I'll I'll spare my thoughts for for
  454. 17:03at least another minute or [laughter]
  455. 17:04two
  456. 17:05>> in the So,
  457. 17:06>> okay,
  458. 17:07>> one of the most classic sentiments that
  459. 17:08we share with students is that math is
  460. 17:10not a spectator sport.
  461. 17:12>> Um, and so this sets a certain irony on
  462. 17:15the comparisons to chess or the
  463. 17:17comparisons to go where people will
  464. 17:19point out, hey, you know, chess was more
  465. 17:21than alive after the deep blue moment
  466. 17:23and go stays more than alive after the
  467. 17:24alpha go moment. Um but one of the
  468. 17:27differentiators with math would be that
  469. 17:28I think a lot of people found found this
  470. 17:30charm at the idea of being at the
  471. 17:32forefront of pushing forward of being
  472. 17:34these these pioneers. Um and and if it
  473. 17:37is going to be this emphasis on the
  474. 17:39humanity and I absolutely agree that
  475. 17:41there is there is humanity to be had in
  476. 17:43math and I'd love to like dig deep into
  477. 17:44to where it is.
  478. 17:46>> What what does that actually look like?
  479. 17:48Because I think as stated so far the
  480. 17:50view of to heir is to human and focusing
  481. 17:52on you know the stumbling nature of it
  482. 17:54but there is you know we have this
  483. 17:56relationship with Paul Simon so it
  484. 17:57doesn't matter if he's 80 because the
  485. 17:59you know it's we're like going from
  486. 18:01that. What is it that you can tell to a
  487. 18:04a budding math PhD or prospective PhD on
  488. 18:08kind of what what's in store for their
  489. 18:09future? Uh because it can't be that like
  490. 18:12people will delight in marveling at your
  491. 18:15inability,
  492. 18:17right? And so there there's
  493. 18:18>> I think what I'm talking about there my
  494. 18:20yeah maybe I should sharpen this because
  495. 18:22this is a work in progress these ideas.
  496. 18:24Um, I don't have a manifesto for you,
  497. 18:27but there's pure math where and of the
  498. 18:30purist type where people will not use
  499. 18:32AI. I have a friend who's a writing
  500. 18:35teacher here, Jay Robert Lennon. He's a
  501. 18:37brilliant novelist. He he hates AI
  502. 18:41for what it's doing to his art art,
  503. 18:44which is creative writing, you know,
  504. 18:47fiction. and um he thinks it has nothing
  505. 18:51to offer because writing is about what's
  506. 18:54in you, your life, what you bring to the
  507. 18:57page. So he doesn't want to write, he
  508. 19:00does has doesn't want to look at AI,
  509. 19:02wants no help at all from that thing and
  510. 19:04doesn't want his students using it. And
  511. 19:06I think there are going to be artisal
  512. 19:08mathematicians who will feel the same
  513. 19:10way and they don't want to hear from AI.
  514. 19:13they're just going to work by themselves
  515. 19:15and with their and also you know there's
  516. 19:17this whole social dimension me and you
  517. 19:19explaining things to each other that's a
  518. 19:21big part of the fun of math and um it
  519. 19:25causes people to become close to have
  520. 19:27friendships to really connect and they
  521. 19:30don't want anything impairing that.
  522. 19:32Okay. Now there's also though for your
  523. 19:35question about the young mathematician
  524. 19:36who wants to be at the frontier and
  525. 19:39there are a lot of people who feel like
  526. 19:40that
  527. 19:42and that's a really good motivation. I
  528. 19:45mean I certainly remember being excited
  529. 19:47with the thought I'm going to make a
  530. 19:48discovery. It's a very exciting feeling
  531. 19:51and very motivating. So I think that
  532. 19:54then the realistic view is you've got
  533. 19:56this fantastic new tool. You've got this
  534. 19:59superpowered
  535. 20:00artificial intelligence. That's your
  536. 20:02C3PO.
  537. 20:04That's hopefully not HAL, you know, in
  538. 20:07[laughter] 2001 of Space Odyssey.
  539. 20:09Certainly hopefully not, you know,
  540. 20:11Terminator 2, whatever this thing is
  541. 20:16in this in this happy future that I like
  542. 20:18to think about for a minute where it's
  543. 20:20your sidekick at your service, sort of
  544. 20:23like computers have been up till now.
  545. 20:26Who know the sky's is the limit. what
  546. 20:28you could do with that thing. You can
  547. 20:30ask questions. You can start a like you
  548. 20:32want to cure cancer,
  549. 20:34go to it. You know, there may be all
  550. 20:36kinds of profound math that can help
  551. 20:38with biomed problems, with new energy
  552. 20:42sources, with dealing with the climate
  553. 20:44problem, with AI safety itself. I mean,
  554. 20:48there are whole fields that haven't even
  555. 20:49been mathematized yet that people don't
  556. 20:51even realize there's math in this in
  557. 20:53anthropology or, I don't know, make up
  558. 20:56something. So if the the bottleneck in
  559. 21:00the past was mathematical strength,
  560. 21:02that's not a bottleneck. Now it's just
  561. 21:04what your imagination can do, what your
  562. 21:06creativity and taste and desires can do.
  563. 21:09And so I h happen to feel it might be
  564. 21:11like a golden age for applied math. I
  565. 21:14think for the most hermetically sealed
  566. 21:17pure math,
  567. 21:19if you also want to be a mountain
  568. 21:20climber and reach the top first,
  569. 21:24that's just not going to be that easy to
  570. 21:26do anymore. But I still think there's a
  571. 21:28lot of worthwhile mathematical endeavors
  572. 21:32uh that you can have fun and be the
  573. 21:34first if you care about that and really
  574. 21:36make worldshaking discoveries.
  575. 21:40And I think realistically a lot of maybe
  576. 21:42people who had gone into the field with
  577. 21:44that anticipation of being you know the
  578. 21:46first to top the mountain almost all of
  579. 21:48them reach some point of maturity on
  580. 21:49realizing that the most enriching parts
  581. 21:51of the field are the more communal
  582. 21:53aspects and that
  583. 21:55>> and and also a lot of people I talk to
  584. 21:57um delight simply in knowing right they
  585. 21:59just they just like follow that Hbert
  586. 22:01phrase on like we can know and we must
  587. 22:02know and whether they're the first one
  588. 22:04to get there or not they just delight at
  589. 22:06the idea of of seeing what that truth is
  590. 22:09for something that they engaged with so
  591. 22:10long.
  592. 22:11>> Um I mean you you touch on applied
  593. 22:13versus pure which is one of the topics I
  594. 22:15wanted to hit here because a lot of
  595. 22:18conversations with mathematicians that
  596. 22:20I'll have. It's almost as if the the
  597. 22:22prospect of the solution to a problem
  598. 22:24being useful is not in the conversation.
  599. 22:27People will describe [laughter] like oh
  600. 22:28what people don't understand is like
  601. 22:30math is about much more than just the
  602. 22:32proof. It's all of the you know
  603. 22:33constructs that you make in the effort
  604. 22:35of the proof. Sure. uh the the goal of
  605. 22:37math is to advance human understanding.
  606. 22:39Um that human understanding comes from
  607. 22:41the process. It doesn't come from the
  608. 22:42results. A lot of deep truth in there.
  609. 22:45But then if I talk to someone outside of
  610. 22:46math, they're like, I've been reading
  611. 22:48all these headlines about uh you know uh
  612. 22:51grand problems being solved, is that
  613. 22:54good? Is like and are are we able to do
  614. 22:56better things in the world now? Like
  615. 22:58surely if the mathematicians cared
  616. 22:59deeply about this Millennium Prize
  617. 23:01problem and it's solved, does that give
  618. 23:02us anything now? And it it shines a
  619. 23:04light on this question of what was the
  620. 23:06what was the the purpose of those as
  621. 23:09being the the goalposts, but then
  622. 23:11applied math maybe stands to be
  623. 23:13particularly interesting here where I'm
  624. 23:15I'm curious to hear your take on whether
  625. 23:17the solutions to problems are the point
  626. 23:21or if even in an applied setting, not a
  627. 23:23pure setting, we have to be more nuanced
  628. 23:25about what is math and that simply
  629. 23:27solving the problem as stated, you know,
  630. 23:30AI or otherwise is not quite what people
  631. 23:33are it and there's some more uh human,
  632. 23:36you know, pushing pushing forward human
  633. 23:38understanding aspect of it. Um, in an
  634. 23:40applied setting, is it fair to say, hey,
  635. 23:42if you have a magical problem solving
  636. 23:44machine, that's that is strictly good
  637. 23:46that just pushes forward things as we
  638. 23:48want. Pedal to the metal. Let's let's
  639. 23:50let it start improving the world.
  640. 23:52>> Such a rich vein you're tapping into
  641. 23:55here. This is tough. Um, I I find it
  642. 23:58hard to give an organized response to
  643. 24:00this. So, let me just try flying out in
  644. 24:03a lot of different directions and I'm
  645. 24:05going to hope you can pull me back in if
  646. 24:07they get too [laughter]
  647. 24:09because there's so many things to talk
  648. 24:11about here and I don't have
  649. 24:15I don't have a sharp formulation of
  650. 24:16this. I've thought about this a lot. Um,
  651. 24:20okay, let's first talk about
  652. 24:21understanding versus results
  653. 24:25in both pure and applied
  654. 24:28math.
  655. 24:30Um all of us like
  656. 24:34understanding feels good. Aha moments,
  657. 24:37eureka moments. Okay. So there's in fact
  658. 24:39a friend of mine pointed out to me
  659. 24:41recently that Allison Gopnik
  660. 24:44who I think is a psychologist wrote an
  661. 24:46article with a title can't remember it
  662. 24:49but it involves the word orgasm.
  663. 24:52something like problemolving as orgasmic
  664. 24:56>> or something like that that maybe it's
  665. 24:58not problem solving but or maybe it's
  666. 25:00like the orgasm of understanding
  667. 25:02something like that that there's some
  668. 25:04kind of truly delightful feeling when
  669. 25:08you understand something like right up
  670. 25:11there with the best feelings you can
  671. 25:14have. So we like understanding for that
  672. 25:16reason. We also like understanding
  673. 25:19in both pure and applied math
  674. 25:23for its generative nature. When you
  675. 25:26understand something well or have
  676. 25:29insight, it leads you to new questions
  677. 25:32to new ideas to see connections and it
  678. 25:36produces it's fruitful right it creates
  679. 25:40more activity more buzz in your own head
  680. 25:42in the community's head in your friends.
  681. 25:44So, so okay. So, understanding is
  682. 25:48pleasurable. It's productive in this
  683. 25:50generative sense
  684. 25:53and it's been a route to power
  685. 25:58>> understanding.
  686. 26:01This is what I recently with my
  687. 26:03colleague and uh co-author Alex Townson.
  688. 26:05We wrote a New York Times piece just a
  689. 26:08few weeks. Well, now whatever. So, it
  690. 26:10was in late September. Um
  691. 26:14we had an article explaining that yeah
  692. 26:16you know for the people who are confused
  693. 26:18by the pure mathematician saying boohoo
  694. 26:22understanding is what we're after not
  695. 26:23results the machines are taking away the
  696. 26:26results that was never the real purpose
  697. 26:29Allah thirst the purpose was human
  698. 26:31understanding and you're wreck you're
  699. 26:33ruining it's like you know you're
  700. 26:35destroying the landscape um you're
  701. 26:38blowing up the lighouses you're nuking
  702. 26:40okay there's been all this kind of
  703. 26:42language very devastating language and
  704. 26:45the public is rightly confused like I
  705. 26:47thought you wanted your problem solved
  706. 26:49actually no [clears throat] there's a
  707. 26:52tribe there is a tribe within pure math
  708. 26:54that that deifies understanding as the
  709. 26:58they say this is what our subject is
  710. 26:59really about following thirsten I mean
  711. 27:01I'm in Thirstston's office I have the
  712. 27:04[laughter] I'm breathing molecules of
  713. 27:06thirsten I'm sure every day so uh and I
  714. 27:10love his essay on proof and prog
  715. 27:11progress in mathematics. So absolutely
  716. 27:14there's a subculture and maybe the
  717. 27:16predominant culture in math that sees
  718. 27:18understanding. I'm talking about pure
  719. 27:19math. Understanding is the beall and
  720. 27:21endall and that to the extent that
  721. 27:24problem solving leads us to greater
  722. 27:26understanding
  723. 27:28problems are worthy activities. Now
  724. 27:31there is another culture like an Eddish
  725. 27:33culture. Um and there are disciples and
  726. 27:37and former collaborators of Erdish
  727. 27:39people like Joel Spencer. I just got an
  728. 27:40email from him the other day saying and
  729. 27:43I think Jacob Zimmerman would be another
  730. 27:44one. There's a lot of great
  731. 27:45mathematicians. Let's just still focus
  732. 27:48on pure mathematicians who think you got
  733. 27:51it backwards. It's it's that
  734. 27:54understanding is helpful in so far as it
  735. 27:56lets us solve problems
  736. 27:58>> and that problems are the units of math.
  737. 28:01>> If people haven't read it, Tim Gowers
  738. 28:04has an excellent post or or essay on the
  739. 28:06two cultures of mathematics.
  740. 28:07>> Yeah. The two cultures.
  741. 28:08>> Yeah. the problem solvers, the theory
  742. 28:10builders is the way he phrases it. Um
  743. 28:13Freeman Dyson has his wonderful essay on
  744. 28:16birds and frogs which is also close but
  745. 28:19not quite the same thing to this
  746. 28:20distinction.
  747. 28:21>> But anyway, the truth is most
  748. 28:24mathematicians either pure or applied
  749. 28:26recognize that results
  750. 28:29and understanding are both important and
  751. 28:31some people care more about the problem
  752. 28:33solving and some care more about the
  753. 28:34understanding. They're both really
  754. 28:36important and fun. Okay. But then the
  755. 28:40public thinks, "Yeah, but so what?" And
  756. 28:44and so that's where applied math comes
  757. 28:46in and also pure math because all math
  758. 28:49becomes applied at some point. I mean,
  759. 28:51that's just an empirical fact. There
  760. 28:53really isn't any part of Also, this is
  761. 28:55why I say I'm going off in 10 different
  762. 28:57directions at once. This is such a
  763. 28:59historical anomaly, this species
  764. 29:02distinction between pure and applied
  765. 29:03math. Don't forget the greatest
  766. 29:06mathematicians of all time until the
  767. 29:08past hundred years always did both.
  768. 29:11>> Yeah. Pure mathematician is a very
  769. 29:13recent recent invention.
  770. 29:14>> Pure mathematician is a like would Gaus
  771. 29:17have said he was a pure mathematician.
  772. 29:19He was tracking series. He you know this
  773. 29:22asteroid. He was mapping the earth
  774. 29:25literally doing mapping when he was
  775. 29:26inventing differential geometry.
  776. 29:29Reman was very interested in electricity
  777. 29:32and magnetism and you know Hilbert even
  778. 29:36Hilbert was thinking about general
  779. 29:38relativity. So um and obviously Oiler
  780. 29:43you know or Newton these people are
  781. 29:44absolutely top physicists as well as
  782. 29:47mathematicians Kepler too.
  783. 29:50>> So Galileo I mean Galileo maybe not so
  784. 29:53great with math. He was pretty good but
  785. 29:55anyway world caliber people and they
  786. 29:58didn't make this distinction. This is a
  787. 29:59very peculiar 20th century phenomenon.
  788. 30:02Uh okay that maybe was a tangent. Let me
  789. 30:04come back off that tangential direction
  790. 30:06and back to the core which is on this
  791. 30:09question of understanding and why does
  792. 30:12understanding matter
  793. 30:15pleasurable yes generative yes and a
  794. 30:18route to power that's so that just in
  795. 30:21case that argument is not familiar
  796. 30:24if you understand let's say vector
  797. 30:26calculus or quatians at the level that
  798. 30:30James Clark Maxwell did in the 1800s
  799. 30:33you can then rewrite Right. What Michael
  800. 30:35Faraday and Aier discovered and Gaus too
  801. 30:39about electricity and magnetism into
  802. 30:41four equations.
  803. 30:43>> And then you can manipulate those
  804. 30:44equations using logic and using your
  805. 30:47brain as Maxwell did around the time of
  806. 30:50the Civil War in the US.
  807. 30:53And um
  808. 30:55you make a prediction of something that
  809. 30:57no one has ever seen. That there's an
  810. 30:59invisible
  811. 31:01wave of energy propagating at the speed
  812. 31:03of light that we now call an
  813. 31:05electromagnetic wave
  814. 31:08that you know give it a few years
  815. 31:11becomes the basis for television and
  816. 31:13radio and cell phones and all kinds of
  817. 31:16wireless communication. And that was
  818. 31:19only possible because he knew how to do
  819. 31:22he he recognized the wave equation a
  820. 31:24partial differential equation when he
  821. 31:25derived it from doing vector calculus
  822. 31:28identities on the four laws of
  823. 31:30electricity and magnetism. So my point
  824. 31:33is that the understanding that Maxwell
  825. 31:35had through math and that Michael
  826. 31:37Faraday did not have because he was a
  827. 31:40different kind of mind
  828. 31:42led Maxwell to be the first person on
  829. 31:46the planet to understand what is the
  830. 31:47nature of light that light is an
  831. 31:50electromagnetic wave. Nobody knew what
  832. 31:52light was before Maxwell. Not really.
  833. 31:55And so in that blinding flash of insight
  834. 31:58um he figured out something that turned
  835. 32:01out to change the world. And we could
  836. 32:02give so many stories like that whether
  837. 32:04it's Schroinger's wave equation or
  838. 32:06Durac's prediction of antimatter
  839. 32:09or whatever. I mean just it's endless
  840. 32:12the the I mean but all these things have
  841. 32:14turned into technology
  842. 32:16>> right? So from from understanding
  843. 32:19general and special relativity, you can
  844. 32:21figure out the corrections you need to
  845. 32:23make in the atomic clocks to make the
  846. 32:25GPS devices work as accurately as they
  847. 32:28do. If you didn't understand relativity,
  848. 32:32you'd GPS wouldn't work.
  849. 32:35>> And so a pertinent question then becomes
  850. 32:37if the entity that is coming to those
  851. 32:40bits of understanding is not necessarily
  852. 32:42human, you know, that the solution is
  853. 32:44found and it's not human. um either you
  854. 32:47say hey the the um the benefit is lost
  855. 32:51because it wasn't a matter of young
  856. 32:53Maxwell happening to solve a given
  857. 32:55random second order differential
  858. 32:56equation. It was the intuitions about
  859. 32:58what wave equations feel like that he
  860. 33:00then had light up again when he was
  861. 33:02engaging with um a certain physics
  862. 33:04context that that actually mattered. And
  863. 33:06therefore had he just been handed the
  864. 33:08solution out of the blue it wouldn't
  865. 33:10have have given us the value that was
  866. 33:12actually uh influential to the world
  867. 33:14which was Maxwell's as a human brains
  868. 33:17understanding. I think the other take
  869. 33:19could be like well why can't the same
  870. 33:21entities that are coming up with you
  871. 33:23know solution to the next millennium
  872. 33:25prize problem silicon though they might
  873. 33:27be um have that downstream effect which
  874. 33:29you can have a very positive take on and
  875. 33:31say like amazing wonderful like we just
  876. 33:34sit back and wait for the usually
  877. 33:36decadesl long delay between uh pure math
  878. 33:39discovery and application discovered um
  879. 33:41to be to be compressed um yeah but
  880. 33:44between that dichotomy I'm thinking you
  881. 33:46you you need or it is beneficial for
  882. 33:48there to be a a loving human mind who is
  883. 33:51embraced with it in order to digest it
  884. 33:53into application versus
  885. 33:55>> Is it true? Is it just a romantic thing
  886. 33:57that you just said? Like I mean it
  887. 33:59sounds nice, but but I can I mean I love
  888. 34:01that you're seeing all the same
  889. 34:04>> I mean you're following the same
  890. 34:05flowchart of thinking well not the same.
  891. 34:08I mean you have your own version of it
  892. 34:10but normally when I have this
  893. 34:11conversation with people they're not
  894. 34:14seeing as far as many moves ahead
  895. 34:17because I keep wondering like in this
  896. 34:19argument you know say sure um if I have
  897. 34:22this entity which can solve the problem
  898. 34:24let's say
  899. 34:27it can give me answers who says it can't
  900. 34:29also give me all the understanding along
  901. 34:31the way and all the spin-offs and all
  902. 34:33the applications in other words I think
  903. 34:36people get confused about the argument
  904. 34:38that is easy to make that human
  905. 34:40understanding has led to power and
  906. 34:42progress and they get confused by the
  907. 34:44converse which is that they think does
  908. 34:47that mean if humans didn't do it like if
  909. 34:50the AIs did it we wouldn't have the same
  910. 34:52amount of progress no that doesn't
  911. 34:55follow at all in fact I think if the AIs
  912. 34:58could get us the answer they would be so
  913. 35:02strong they could also get us all the
  914. 35:04side spin-offs and everything else too
  915. 35:06so I don't think The argument for why
  916. 35:09human understanding is important
  917. 35:13is that it's because only humans can see
  918. 35:16all the connections and the spin-offs. I
  919. 35:18just don't believe that's true. I think
  920. 35:19the AI will be able to do all of it. So,
  921. 35:21I really am very confused here. Let me
  922. 35:24put it starkly if that's last sentence
  923. 35:26or paragraph was too hard to follow. Um,
  924. 35:30here's the real question and I would
  925. 35:32love to know what you think about this.
  926. 35:34Is is understanding overrated?
  927. 35:38>> I think I think that this might be a
  928. 35:40real confusion that people Let me make
  929. 35:43this argument and I don't know that I
  930. 35:44believe it, but just for the sake of
  931. 35:46since you like having discussions, let's
  932. 35:48have a discussion.
  933. 35:50>> You could say that human civilization
  934. 35:52didn't have much understanding for I
  935. 35:54don't know how old are we as a species?
  936. 35:56100,000. I don't know the number. I
  937. 35:58should know my anthropology. [laughter]
  938. 36:00Like I know that 12,000 years ago we
  939. 36:02domesticated dogs because I love dogs.
  940. 36:05So I remember that number.
  941. 36:06>> I think there's sort of a two 200 to
  942. 36:08300,000 years. I'm not an expert here.
  943. 36:12Yeah. Of what people would carve out as
  944. 36:14our current species.
  945. 36:15>> We've been homo sapiens for 200,000.
  946. 36:17>> Neither one of us. Hopefully
  947. 36:19understanding is overrated and this
  948. 36:21specific number doesn't matter for the
  949. 36:23>> Yeah, we don't need this number. That's
  950. 36:24not the point.
  951. 36:25>> [laughter]
  952. 36:26>> The the point is for a long time we
  953. 36:28didn't understand much. We were relying
  954. 36:31on instinct. We were relying on
  955. 36:33experience. But things didn't really
  956. 36:35make sense in the way that they started
  957. 36:37to. And now again some arbitrary number.
  958. 36:40Certainly since the enlightenment
  959. 36:43>> 6 say if you want to put it with Isaac
  960. 36:44Newton we had a different level of
  961. 36:47understanding than we had before Newton.
  962. 36:49We really mathematized we as a species.
  963. 36:53Like take Kepler. I mean Kepler could
  964. 36:55see the elliptical orbits, the square
  965. 36:59and cube law about the planets. Kepler's
  966. 37:02third law. These are numerical patterns.
  967. 37:04He couldn't explain them. He just saw
  968. 37:05them in the data. And that was great.
  969. 37:07The math showed the pattern. But why?
  970. 37:11Okay, he couldn't understand them. And
  971. 37:13then the next, you know, a few
  972. 37:14generations [clears throat] later,
  973. 37:15Newton can explain that
  974. 37:18not only what Kepler saw, but all of
  975. 37:20what Galileo saw too from a deeper
  976. 37:23principle set of principles from his his
  977. 37:26laws and universal gravitation. And so
  978. 37:29that is like a triumph. Uh plus he has
  979. 37:32calculus in a in a more systematic
  980. 37:34powerful form than those other people
  981. 37:36have. And so he can derive all kinds of
  982. 37:39stuff with logic and a few principles.
  983. 37:42So that is a very powerful advance in
  984. 37:44human understanding and that Newtonian
  985. 37:47framework of find the differential
  986. 37:50equations and solve them more or less
  987. 37:53gives us 400 years of progress all the
  988. 37:55way through the Schroinger equation
  989. 37:58really I mean the Navier Stokes equation
  990. 38:00Maxwell's equation
  991. 38:01>> this is sounding like a case for
  992. 38:02understanding being under this of utmost
  993. 38:05importance
  994. 38:06>> it's it has been of utmost importance
  995. 38:08for 400 years
  996. 38:10>> okay
  997. 38:11>> and I'm going to argue you temporarily
  998. 38:14that there has been a great interlude of
  999. 38:17understanding
  1000. 38:18before this interlude began. We didn't
  1001. 38:21have much.
  1002. 38:22Obviously, we had some. We had
  1003. 38:24Archimedes. We had, you know, the guy
  1004. 38:27who is whose name is translated as
  1005. 38:29Elhazen, Iban Alhyam, great Islamic
  1006. 38:33scholar. Okay. I mean, there were people
  1007. 38:35for sure.
  1008. 38:35>> Let's make some sweeping generalizations
  1009. 38:37and just say like post enlightenment
  1010. 38:39there was a
  1011. 38:40>> we don't have to do with the
  1012. 38:40enlightenment, right? I mean, maybe the
  1013. 38:42Egyptians with the pyramids. We had a
  1014. 38:43few thousand years. Let's say that way.
  1015. 38:46We had a few thousand years of really
  1016. 38:47kind of building up our understanding.
  1017. 38:52But I think the window might be closing.
  1018. 38:55That's that the the interlude is coming
  1019. 38:57to an end because I think the AIS are
  1020. 39:00going to get so advanced
  1021. 39:03that even though they're going to be
  1022. 39:05good teachers, they're not going to be
  1023. 39:07good enough because we're limited until
  1024. 39:10we change our biology. Then we're not
  1025. 39:12really human. I mean, if we're going to
  1026. 39:14stay the humans that we are with our
  1027. 39:16kilohertz clock speed of our neurons,
  1028. 39:19with the number of whatever it is, a
  1029. 39:22hundred trillion synapses, I mean,
  1030. 39:26whatever it is, we have limits
  1031. 39:28and
  1032. 39:30we can understand up to a certain level
  1033. 39:33and that will be it. We're just not
  1034. 39:35going to be like we already know, you
  1035. 39:36can't picture the ninth dimension in
  1036. 39:38space. There's only certain things that
  1037. 39:40we can do. We can't picture 50 moving
  1038. 39:43objects moving, you know, spinning
  1039. 39:45around simultaneously. Psychologists
  1040. 39:47have studied. So, it's gonna come soon
  1041. 39:51that we won't understand all kinds of
  1042. 39:53things that the AIS will tell us. And
  1043. 39:56so, I I feel like that's going to be the
  1044. 39:58story that we have this wonderful
  1045. 39:59glorious interlude when the lights went
  1046. 40:02on and then the lights are going to go
  1047. 40:04off. And we're actually sort of lucky
  1048. 40:07that we're living in a time when
  1049. 40:09understanding is still meaningful. But
  1050. 40:11progress will continue. We're going to
  1051. 40:13have all kinds of fantastic results.
  1052. 40:15Predict I mean assuming we can survive
  1053. 40:17this
  1054. 40:19>> separate question. But if we can survive
  1055. 40:22super powerful AI and all the other
  1056. 40:25things coming to the planet,
  1057. 40:27um
  1058. 40:29we're going to have we'd have incredible
  1059. 40:31progress.
  1060. 40:33When you when you say the or making the
  1061. 40:36potentially devil's advocate case on
  1062. 40:38understanding is overrated, you mean in
  1063. 40:40so far as progressing the the welfare of
  1064. 40:43humanity or or pushing forward, you
  1065. 40:46know, a sense of um
  1066. 40:48>> ability in constructing the world around
  1067. 40:51us or however you want to measure
  1068. 40:53progress. You're saying uh we we are we
  1069. 40:56are fast coming to the point where human
  1070. 40:58understanding as a meaningful component
  1071. 41:01of what determines that kind of progress
  1072. 41:04is of waning significance.
  1073. 41:06>> Absolutely beautiful summary. Yes, that
  1074. 41:09it's overrated in that sense that we
  1075. 41:11think understanding is great because
  1076. 41:12it's been so helpful to us also because
  1077. 41:14it's pleasurable.
  1078. 41:16>> But it's going to stop being that
  1079. 41:18helpful. No, it will still be
  1080. 41:20pleasurable.
  1081. 41:21>> Okay. I mean just like people like to do
  1082. 41:23crossword puzzles or other things that
  1083. 41:26involve thinking
  1084. 41:29um the so that's so there's that view of
  1085. 41:31it that math will always be here just
  1086. 41:34like playing the cello or you know I
  1087. 41:36mean singing these things are just
  1088. 41:38inherently fun and and actually I sort
  1089. 41:41of flinched although I don't know if I
  1090. 41:42visibly flinched when you spoke about
  1091. 41:44welfare or progress you know because
  1092. 41:49it's such a narrow construction of
  1093. 41:51progress that we're talking about here
  1094. 41:52like building more gadgets, even curing
  1095. 41:55diseases.
  1096. 41:57Fine. Those kind of advances are a
  1097. 41:59certain type of progress.
  1098. 42:02But what about like spiritual progress
  1099. 42:04or happiness or kindness or you know
  1100. 42:08very soft things that are still very
  1101. 42:11important in life. um maybe the most
  1102. 42:14important love, being loved, those
  1103. 42:17things
  1104. 42:19uh
  1105. 42:21that is going to persist forever. We
  1106. 42:23hope and
  1107. 42:26>> I I really find myself in these
  1108. 42:27conversations. I always end up wanting
  1109. 42:30to talk about the meaning of life. I
  1110. 42:32really think that's what's lurking here.
  1111. 42:34I know we're supposed to talk about math
  1112. 42:36with each other, but I I kind of think
  1113. 42:38that's what we have to talk about is
  1114. 42:40what are we doing? I mean, what are we
  1115. 42:42here for, if anything, and what do we
  1116. 42:44want out of our life? I do think that's
  1117. 42:46what's at stake, and that's ultimately
  1118. 42:47what we have to talk about.
  1119. 42:50>> It's so interesting you land there. I
  1120. 42:51mean, I think the reason that the math
  1121. 42:53and AI topic is so relevant even outside
  1122. 42:57of the math circles is that people talk
  1123. 42:59about a spiky frontier to AI. There are
  1124. 43:01certain things it gets good at faster
  1125. 43:02than others. And in so far as math
  1126. 43:04exists right at the beginning of one of
  1127. 43:07those spikes, coding as well might be
  1128. 43:09another one of them. It stands to be a
  1129. 43:11microcosm of a broader world on and
  1130. 43:14mathematicians are especially
  1131. 43:15interesting because the thing that they
  1132. 43:17are doing is both useful. You know, you
  1133. 43:21you you mentioned three different things
  1134. 43:22that are uh that are what we get out of
  1135. 43:26understanding. You have the the or
  1136. 43:27orgasmic side of like it's just nice.
  1137. 43:30You have um a route to power. Um and
  1138. 43:32then you also have the generative aspect
  1139. 43:35of it on like it brings you things. And
  1140. 43:37if I'm if I'm hearing the argument
  1141. 43:39correctly, it sounds like what you're
  1142. 43:41saying is on the generative side that
  1143. 43:44human understanding won't be as
  1144. 43:45important on the route to power side. I
  1145. 43:48mean, maybe we can get to that. That
  1146. 43:49depends on what human clarified the
  1147. 43:52distinction about generative versus
  1148. 43:53power. So there's power in the outside
  1149. 43:56world, but there's also generative in
  1150. 43:58the inside world. So generative of more
  1151. 44:01ideas like you can speak about for to me
  1152. 44:04pure math is about the orgasm and the
  1153. 44:07generative
  1154. 44:08math that keeps recreating new math math
  1155. 44:11that keeps posing new qu like say let's
  1156. 44:14take the the quest to solve fair's last
  1157. 44:16theorem right the prove the fair
  1158. 44:18conjecture so pure mathematicians love
  1159. 44:21that story rightly because you know
  1160. 44:25along the way to try to solve this
  1161. 44:27problem they invent invent ideas like
  1162. 44:31ideals in, you know, in algebra. they
  1163. 44:35discover number fields and examples
  1164. 44:38where they don't have prime
  1165. 44:40factorization being unique and like
  1166. 44:43there's a whole
  1167. 44:45glorious
  1168. 44:47imagined world that turns out to spring
  1169. 44:50up around this question that is
  1170. 44:52beautiful in its own right and actually
  1171. 44:55arguably more beautiful and more
  1172. 44:57important than for MA's last theorem. I
  1173. 45:00think most serious mathematicians would
  1174. 45:01say that's not really that theorem or
  1175. 45:04that conjecture whatever
  1176. 45:06that was our lighthouse right I mean in
  1177. 45:08the modern to use the current uh
  1178. 45:11metaphor that seems to be going around
  1179. 45:13that that shines the light and then we
  1180. 45:15create all kinds of other ideas to try
  1181. 45:18to solve it and those ideas take on a
  1182. 45:21life of their own they become
  1183. 45:23I mean they gradually give rise to
  1184. 45:25something close to the Langland's
  1185. 45:27program you know like the really big
  1186. 45:29stuff
  1187. 45:31that that ends up getting used in wild's
  1188. 45:34proof modular forms. I mean, I don't
  1189. 45:36know wilds proof, but it but it sounds
  1190. 45:38like a really absolutely enormous set of
  1191. 45:41ideas
  1192. 45:43gets used that is way more beautiful and
  1193. 45:46powerful and and generative in this
  1194. 45:49sense that it's math making more math
  1195. 45:53and more understanding and lots of other
  1196. 45:55great results that along the way bing.
  1197. 45:58Okay, we get from Maslas theorem, but
  1198. 46:00that's not the point. And this is why
  1199. 46:02Gaus complained so much about Goldbox
  1200. 46:04conjecture, right? I mean, Goldbox
  1201. 46:07conjecture that
  1202. 46:09every even number is the sum of two
  1203. 46:12prime numbers still unsolved.
  1204. 46:16Seems like it in a way a better question
  1205. 46:18than for last theorem. So simple. And
  1206. 46:21yet very few mathematicians get all
  1207. 46:24weepy and excited about goldbox
  1208. 46:26conjecture because it hasn't been
  1209. 46:28generative. It doesn't it didn't produce
  1210. 46:31the same kind of surrounding
  1211. 46:34superructure of great math. It's like
  1212. 46:36sort of peripheral. It's kind of out
  1213. 46:38there not connecting to the great body
  1214. 46:40of other math. So in this certain
  1215. 46:42aesthetic
  1216. 46:45I mean Gaus has some quote I don't
  1217. 46:47remember the exact wording but it's
  1218. 46:48something like
  1219. 46:50ah you know it's easy to make up a
  1220. 46:52question that you could neither prove
  1221. 46:54nor find a counter example to and it's
  1222. 46:57not connected to anything else and
  1223. 46:59that's of no interest.
  1224. 47:02So, so it was the peripheral nature of
  1225. 47:05the of the conjecture goldbox conjecture
  1226. 47:07that turned off Gaus and I think turned
  1227. 47:09No, it's not totally true. There is
  1228. 47:11beautiful math connected to Goldbox
  1229. 47:13conjecture too, but not as beautiful as
  1230. 47:15the math and not as interconnected as
  1231. 47:18Fairma's last theorem. So, according to
  1232. 47:20certain tribe, this is what pure math is
  1233. 47:24all about. I, you know, look, this is me
  1234. 47:27talking about a foreign culture. It's
  1235. 47:29not really my people. I'm I'm the people
  1236. 47:32I want to talk about Maxwell, you know,
  1237. 47:34or
  1238. 47:35>> or Einstein. I mean, I'm guess I'm a
  1239. 47:37physicist in mathematicians clothing,
  1240. 47:40>> but a biologist, too. [laughter]
  1241. 47:43>> I I think I want to like stay drilled on
  1242. 47:45the the site because what's what's
  1243. 47:46salient to the minds of a lot of young
  1244. 47:48people is just what is the role? One,
  1245. 47:50will human mathematicians exist? Um
  1246. 47:53yeah, you know, is it is it dead in the
  1247. 47:55water to even like go into to a PhD? And
  1248. 47:57then two, what is the role if they do
  1249. 47:59exist? And so maybe first I've been
  1250. 48:01trying to hold my tongue. I don't want
  1251. 48:03to insert too many of my own opinions.
  1252. 48:04>> I want your tongue flapping, man.
  1253. 48:06>> Um [laughter]
  1254. 48:07I
  1255. 48:07>> It's your show. Okay, you could be on
  1256. 48:09that side of the microphone.
  1257. 48:10>> No. Well, so at the at the very least
  1258. 48:13>> poke holes in Please poke holes in this.
  1259. 48:14I just want to at least lay out why I
  1260. 48:16think like mathematicians will exist,
  1261. 48:18but it's kind of this wide openen
  1262. 48:19question on exactly what they do. And
  1263. 48:21then and then that might set the framing
  1264. 48:22for how we think about this question of
  1265. 48:24you know in so far as it's about uh uh
  1266. 48:27being generative like to whom does that
  1267. 48:29matter.
  1268. 48:30>> So just from a from a side point of why
  1269. 48:32is this a job? Where does the money flow
  1270. 48:34from for mathematicians I think it's
  1271. 48:36important to for a young student to have
  1272. 48:38a clear vision of that in their mind
  1273. 48:40because it is a very weird job compared
  1274. 48:42to other portions of the economy. Are we
  1275. 48:44talking about an academic mathematician
  1276. 48:46who's a professor or are we but but
  1277. 48:48there's so many mathematicians with jobs
  1278. 48:51called data analyst?
  1279. 48:54>> What what a wonderful Steve Strogat's
  1280. 48:56answer on like you know
  1281. 48:57>> true what is a cryptographer who what
  1282. 49:00who who employs more mathematicians than
  1283. 49:02anybody? The National Security Agency.
  1284. 49:05>> Okay, I love this.
  1285. 49:06>> Okay, you don't mean them. You want to
  1286. 49:07talk about math professors.
  1287. 49:09>> And for the sake of clarity, let's let's
  1288. 49:10let's first talk about professors, but
  1289. 49:12actually we should zoom out. Um so I
  1290. 49:14think so first on the side of professors
  1291. 49:16then let's zoom out. Okay the reason
  1292. 49:18it's relevant just to focus on the
  1293. 49:20professors before the zoom out who
  1294. 49:22trains all the cryptographers who trains
  1295. 49:24all of the data analysts all of the like
  1296. 49:26one of the most valuable
  1297. 49:28>> externalities from the existence of math
  1298. 49:31departments are all of the people who
  1299. 49:33like quote unquote fail to go into
  1300. 49:34academia or like don't end up becoming
  1301. 49:36professors. you have this just spilling
  1302. 49:38over of mathematical talent and problem
  1303. 49:40solving ability out of people that maybe
  1304. 49:42they pursued a PhD, maybe they uh just
  1305. 49:45got their undergrad who don't
  1306. 49:46necessarily go into academia but
  1307. 49:48importantly they spent a meaningful part
  1308. 49:51of their formative youth at least
  1309. 49:52undergrad years maybe grad years in a
  1310. 49:54math department or something adjacent to
  1311. 49:56a math department
  1312. 49:57>> and so so the the question of like do
  1313. 49:59those math departments exist and the
  1314. 50:01people doing this training do they exist
  1315. 50:03I think has has uh has bearing even on
  1316. 50:06the the most the broader stroked
  1317. 50:09definition of mathematician that I would
  1318. 50:10agree with on you on on here. Um but
  1319. 50:13just on the academic mathematician side
  1320. 50:15one you've already kind of hit it where
  1321. 50:16I think if you follow the money flows a
  1322. 50:18ton of it is just uh educ just teaching
  1323. 50:21I think on um for for a typical math
  1324. 50:23department which is unlike other forms
  1325. 50:25of research where sometimes you know uh
  1326. 50:27harder sciences are quite expensive to
  1327. 50:29do the research um and and there's going
  1328. 50:31to be more that leans on public funding
  1329. 50:33or or private philanthropic funding. Of
  1330. 50:35course, math also has that, right? There
  1331. 50:37is um there are, you know, in the US
  1332. 50:39like NSF grants that are a meaningful
  1333. 50:41part of what will support mathematical
  1334. 50:43research. There's various private
  1335. 50:44foundations. You have atypical
  1336. 50:47institutes like if you're a permanent
  1337. 50:50faculty member at the Institute of
  1338. 50:51Advanced Study, like teaching is not as
  1339. 50:53as big a part. Um
  1340. 50:54>> right,
  1341. 50:55>> the teaching side of it, this strikes me
  1342. 50:57as something that's quite AI safe as far
  1343. 51:00as job security goes in so far as if
  1344. 51:03universities exist at all. if we have
  1345. 51:05social structures at all like what we
  1346. 51:07have now, people really will value the
  1347. 51:09um the human to human side of that. Um,
  1348. 51:12and I mean people have have sort of
  1349. 51:14written about this on how like a pretty
  1350. 51:17good case study on this is COVID and how
  1351. 51:19much people hated uh education through a
  1352. 51:22screen
  1353. 51:23>> even when it's just an Alex Conoric made
  1354. 51:25this point in a nice like dialectical
  1355. 51:27thing. He was I was reading of his
  1356. 51:28lately uh where it was essentially like
  1357. 51:31look you already if you have the current
  1358. 51:33status of ed education ability but
  1359. 51:35mediated through a screen and people
  1360. 51:36hated it you know maybe AIS get
  1361. 51:39superhuman such that even through a
  1362. 51:41screen they're better but it's a very
  1363. 51:43social thing going on if we think of
  1364. 51:44what's actually happening with education
  1365. 51:46where it's not about clarity of
  1366. 51:48explanation it's about what motivates
  1367. 51:50you to learn and if we think of what
  1368. 51:52motivates people it's their it's their
  1369. 51:54connections especially peer connections
  1370. 51:55but also I think mentor or connections
  1371. 51:57and such. I will care about a topic more
  1372. 52:00knowing that you Steven Strogats wrote
  1373. 52:02about it compared to just what the words
  1374. 52:05on the page in and of themselves can do
  1375. 52:07like that
  1376. 52:08>> uh little bit of human to human
  1377. 52:09connection matters. So if we presume
  1378. 52:12that teaching still exists um then the
  1379. 52:15existence of like that as one of the
  1380. 52:18funding sources towards what goes into
  1381. 52:20math departments is kind of unaffected
  1382. 52:22by whether or not AIs can you know solve
  1383. 52:25problems better or set conjections
  1384. 52:27conjectures better or set entire
  1385. 52:30programs like the leng programs better
  1386. 52:32all of that is this ancillary thing of
  1387. 52:33what the mathematicians choose to do
  1388. 52:35with this surplus time that is you know
  1389. 52:37research [laughter] and some of what's
  1390. 52:39>> good that you see it that way because
  1391. 52:41after all historically I mean it's been
  1392. 52:43changing so much throughout history
  1393. 52:44right there before there were really I
  1394. 52:47mean universities are not that old
  1395. 52:50>> 1200 you know AD or something the first
  1396. 52:54universities in Europe or or somewhere
  1397. 52:57about there uh and for a long time it
  1398. 53:00was all about teaching yeah I mean Isaac
  1399. 53:02Newton or Isaac Barrow did do some they
  1400. 53:04did research but they were teachers
  1401. 53:08And
  1402. 53:10then after World War II, I mean, that's
  1403. 53:11the big thing that really changes so
  1404. 53:14much because for one thing, computers
  1405. 53:16start to exist,
  1406. 53:17>> modern computers, but also
  1407. 53:21because of this vision of this guy
  1408. 53:23Vanavar Bush that we need research and
  1409. 53:27we're going to pay with taxpayer dollars
  1410. 53:29for these professors in math and physics
  1411. 53:32and science to do research with such
  1412. 53:35generosity from the public that it's
  1413. 53:38actually free to go you get paid to go
  1414. 53:40to graduate school in the sciences to
  1415. 53:42get a PhD. It's really shocking. I
  1416. 53:44couldn't believe it that I didn't have
  1417. 53:45to ask my parents for money [laughter]
  1418. 53:47to go get a PhD that that they would pay
  1419. 53:49me to get a PhD. I thought that's just
  1420. 53:51the greatest thing. Um
  1421. 53:54>> yeah,
  1422. 53:55>> now how much longer will it last though?
  1423. 53:57Because what was why did we get paid to
  1424. 53:59go to grad school? Was it because of the
  1425. 54:01Cold War? because the country sort of
  1426. 54:03thought we need a cadre of serious
  1427. 54:06technical
  1428. 54:08people so that we can stay ahead of the
  1429. 54:10former Soviet Union. I mean it's a very
  1430. 54:14cynical view of it but I think that was
  1431. 54:16actually a big like in Congress they
  1432. 54:19would say that's what science funding
  1433. 54:22was about for a long time. So this one
  1434. 54:24is not a done deal on whether public
  1435. 54:26funding like continues to exist um for
  1436. 54:29mathematics.
  1437. 54:30>> But we may become teachers and do a
  1438. 54:31little research on the side like we
  1439. 54:34always were.
  1440. 54:35>> Yeah. Even if you subtracted it all
  1441. 54:36away, the the career does not die. No, I
  1442. 54:39if I had
  1443. 54:39>> No, it doesn't die as teacher.
  1444. 54:41>> Yeah. Yeah. So if I had to predict, I
  1445. 54:43would imagine public funding.
  1446. 54:44>> But let's ask the question. May I ask
  1447. 54:45you then since I know you wrote about
  1448. 54:47this? So why why does anyone want to
  1449. 54:50learn math if
  1450. 54:52of course the calculators to this right
  1451. 54:55now can do all kinds of elementary math
  1452. 54:57calculating tips or balancing your
  1453. 54:59checkbook. So you
  1454. 55:03since we're doing the devil's advocate
  1455. 55:04thing with each other.
  1456. 55:05>> Yeah. You know what's your argument for
  1457. 55:08why anyone should learn math in the
  1458. 55:11future given that you can press the
  1459. 55:13button on wolf from alpha or now just
  1460. 55:16ask anthropics cla or chat gpt and so
  1461. 55:20what would you say why why do you what
  1462. 55:22because people must be asking you all
  1463. 55:24the time why should I learn math
  1464. 55:27>> I think there's there's basically the
  1465. 55:30artistic answer and then a utilitarian
  1466. 55:32answer I think the artistic answer stays
  1467. 55:34pretty stable into for whatever AI
  1468. 55:36feature you get. And you sort of hit it
  1469. 55:37on earlier on like just the there is a
  1470. 55:40very unique kind of joy and edification
  1471. 55:44that is unlike anything you find almost
  1472. 55:46anywhere else that uh math has really
  1473. 55:50cultivated an aesthetic around that it's
  1474. 55:53joy isn't quite the right word for when
  1475. 55:55you come to understand something. I I I
  1476. 55:57think of a very specific clicking moment
  1477. 55:59that happens for certain kinds of
  1478. 56:00[laughter]
  1479. 56:01>> Yeah, clicking like that that click that
  1480. 56:03happens in the brain. I don't get it
  1481. 56:05from anything else and it's it's it's
  1482. 56:07such a joy and it's it's so addictive. I
  1483. 56:10think certainly there will always be
  1484. 56:11people who have experienced that and
  1485. 56:13just want more of it. Um and actually I
  1486. 56:15think many of the mathematicians I
  1487. 56:17talked to this is this is actually their
  1488. 56:19motive for going into the field. It's
  1489. 56:21not so much they wanted to be the first
  1490. 56:23to discover something. It's not so much
  1491. 56:25um you know it's not even yet the
  1492. 56:27vibrancy of of the culture and the
  1493. 56:29shared community. I think it's that at
  1494. 56:30some point when they were younger, they
  1495. 56:32got addicted to that feeling of whatever
  1496. 56:34like doing math meant for them and they
  1497. 56:36they simply wanted to do more of it. And
  1498. 56:38the most
  1499. 56:38>> that's what it is.
  1500. 56:39>> Yeah. The the the the most standard path
  1501. 56:42for how to do that.
  1502. 56:42>> I mean, you'll remember that was what
  1503. 56:44the last time we did this together when
  1504. 56:46I was on your uh podcast some years ago.
  1505. 56:50I told that whole story about this
  1506. 56:51certain triangle problem in high school.
  1507. 56:54>> Yes.
  1508. 56:54>> And that was it for me. And that was I
  1509. 56:56wanted to reproduce that feeling
  1510. 56:59>> that will always exist. There will be
  1511. 57:01the people these are the people I'm
  1512. 57:02often trying to um either speak to with
  1513. 57:05my videos. You know, they've already had
  1514. 57:06that feeling and I'm trying I'm trying
  1515. 57:08to feed the addiction and give them a
  1516. 57:09couple more of those clicky moments.
  1517. 57:11Even better would be if it's somebody
  1518. 57:12who hasn't yet experienced that and I
  1519. 57:14can offer it to them for for the first
  1520. 57:16time in some form. So that that's one
  1521. 57:18answer on on why to continue to learn
  1522. 57:20math. And this isn't the anything you
  1523. 57:22can do, I can do better future of AI
  1524. 57:24where like there's just look, there's
  1525. 57:26nothing that you're going to be able to
  1526. 57:27do that the AI couldn't.
  1527. 57:29>> This is timeless. It's permanent.
  1528. 57:31>> That is such a wild future to engage
  1529. 57:33with. First of all, we have to do all
  1530. 57:35the normal couching on like, you know,
  1531. 57:36humans are still alive. This is a good
  1532. 57:38version of the future, not a bad version
  1533. 57:40of the future. But like in that in that
  1534. 57:42branch, of course, we're going to focus
  1535. 57:44on the human flourishing aspect because
  1536. 57:46what what else is there to focus on? Um
  1537. 57:49I think we we have some years yet though
  1538. 57:51that closes that gap on the anything you
  1539. 57:53can do I can do better.
  1540. 57:54>> And there's definitely been time and
  1541. 57:57time again this recurring phenomenon
  1542. 58:00where the people who learn these
  1543. 58:02mathematical abstractions come to
  1544. 58:05appreciate the nature of what it looks
  1545. 58:08like to sharpen your problem solving
  1546. 58:10abilities in that context find
  1547. 58:12themselves unexpectedly useful in
  1548. 58:14neighboring fields. And this maybe gets
  1549. 58:16to your point on like what is a
  1550. 58:17mathematician? are all the you know the
  1551. 58:18data scientists and the cryptographers
  1552. 58:20and the machine learning researchers
  1553. 58:22everybody there the these are these
  1554. 58:25these people who have just spilled forth
  1555. 58:27from the the mathematics education
  1556. 58:29system quite productively and so you
  1557. 58:32know everybody's writing their their
  1558. 58:33grants talking about these examples that
  1559. 58:35you brought up on you know remon uh car
  1560. 58:38caring about non-ucuklitian geometry
  1561. 58:40that turns into general relativity later
  1562. 58:42or pursuit of ferma's last theorem gives
  1563. 58:44rise to things like elliptic curves
  1564. 58:46which are then useful
  1565. 58:47That is one externality that comes from
  1566. 58:50doing math research and and that
  1567. 58:51existing as an institution. There's a
  1568. 58:53much more immediate one in my mind which
  1569. 58:55is this spillover of just all the highly
  1570. 58:58educated educated in the sense of
  1571. 59:00capable of problem solving,
  1572. 59:01understanding mathematical abstractions,
  1573. 59:03fluent in that framing frame of thought,
  1574. 59:06>> just just going elsewhere. anything
  1575. 59:08that's not academia that they're going
  1576. 59:09into. Well, not anything like quite a
  1577. 59:12few of the the things are are productive
  1578. 59:14um in these in these ways that are hard
  1579. 59:17to capture in a direct sense and
  1580. 59:19therefore very good fruit for you know
  1581. 59:22private philanthropic funding or public
  1582. 59:24funding or whatever it might be. I you
  1583. 59:26know maybe there is a future of AI so
  1584. 59:28good at everything that all of that's
  1585. 59:30obviated. All the cryptography is
  1586. 59:31automated all the data analysis is
  1587. 59:33automated. But at the very least in the
  1588. 59:35meantime, you don't want to jump the gun
  1589. 59:37on halting the the system that produces
  1590. 59:40all of the people fruitful there. Uh and
  1591. 59:43then you know what whatever it is that
  1592. 59:45you think is important for making sure
  1593. 59:47we're on that good version of the future
  1594. 59:49and not the bad one. You know, I think
  1595. 59:51of all the people who are jumping ship,
  1596. 59:54so to speak, from the traditional math
  1597. 59:56academic career paths, there's some I
  1598. 59:58know that go into the AI safety side of
  1599. 1:00:00it, and it's probably a very good thing
  1600. 1:00:02that the like highly mathematically
  1601. 1:00:04trained people are trying to bring those
  1602. 1:00:05chops into, you know, these various
  1603. 1:00:07problems that they frame their think
  1604. 1:00:08what you will of like how well posed
  1605. 1:00:10those problems are or not. It just seems
  1606. 1:00:11like a very good thing to have people
  1607. 1:00:13trained in this way, like thinking hard
  1608. 1:00:15about that. And so from that standpoint,
  1609. 1:00:19it just seems clear to me something like
  1610. 1:00:21the institutions we have now of a group
  1611. 1:00:23of people that we call mathematicians
  1612. 1:00:26who exist in departments that by and
  1613. 1:00:28large are just training people in
  1614. 1:00:30mathematical thought. Some of them to be
  1615. 1:00:32new mathematicians but a lot of them
  1616. 1:00:34not. that as an institution strikes me
  1617. 1:00:36as surprisingly stable compared to a lot
  1618. 1:00:39of other things where AI progress tends
  1619. 1:00:41to potentially automate tasks within a
  1620. 1:00:43job and then and then the job wholesale.
  1621. 1:00:45And the question then becomes what do
  1622. 1:00:48those people within this group decide to
  1623. 1:00:51do on the research side on on uh the all
  1624. 1:00:56of all of these things where we've come
  1625. 1:00:57up with proxies in the past. You know
  1626. 1:00:59what's the significance of the theorem
  1627. 1:01:01that you proved in your PhD thesis and
  1628. 1:01:03things like that. they have the choice
  1629. 1:01:04for what to use as a proxy instead to uh
  1630. 1:01:08make you know hiring decisions to uh
  1631. 1:01:11decide on is this a worthy topic for a
  1632. 1:01:13PhD or not to make tenure decisions.
  1633. 1:01:15Nobody nobody else is making that choice
  1634. 1:01:17for them. It is entirely within the
  1635. 1:01:19community to decide what deserves
  1636. 1:01:21academic status and not and that I think
  1637. 1:01:24is a very fruitful I have no idea what
  1638. 1:01:26the answer is but I think that's a very
  1639. 1:01:27fruitful question to ask right now.
  1640. 1:01:28>> I think I mean I do have a feeling about
  1641. 1:01:30the answer there. It's that it's um
  1642. 1:01:34it's almost like upvotes on social media
  1643. 1:01:37that [laughter] if I can do something
  1644. 1:01:39that you find appealing or that gave
  1645. 1:01:42your neural circuitry a little shiver of
  1646. 1:01:46pleasure just to think about it or to
  1647. 1:01:48see something. And it's not because it
  1648. 1:01:50was so earthshatteringly new like any AI
  1649. 1:01:53could have easily produced it at the
  1650. 1:01:54push of a button.
  1651. 1:01:56That's not going to be the test anymore.
  1652. 1:01:58It's just did you enjoy what I created
  1653. 1:02:01or even what I showed you and and what I
  1654. 1:02:04made a case for that you should pay
  1655. 1:02:06attention to it. That's why I think it
  1656. 1:02:08is related to a kind of charisma
  1657. 1:02:10salespersonship
  1658. 1:02:12something like that. It's really about
  1659. 1:02:13the social dimension that we're giving
  1660. 1:02:15each other pleasure and you might say
  1661. 1:02:17for what real purpose that's the
  1662. 1:02:18purpose.
  1663. 1:02:19>> Yeah. It's not going to be I mean some
  1664. 1:02:21of it will be you instrumental like for
  1665. 1:02:24really solving problems that matter to
  1666. 1:02:26life or to human well-being or to the
  1667. 1:02:28planet's well-being
  1668. 1:02:30but the AIS will be playing a very big
  1669. 1:02:32role in that even just aside from that
  1670. 1:02:35like the pure part of math I think it'll
  1671. 1:02:38be a lot what it is now which is do we
  1672. 1:02:41do things for each other that are
  1673. 1:02:42interesting or do we show each other
  1674. 1:02:44interesting things can we teach each
  1675. 1:02:46other um and can we have fun doing it
  1676. 1:02:49together which again I feel is very
  1677. 1:02:52close to the meaning of life like for an
  1678. 1:02:55academic person anyway but um I really
  1679. 1:02:59think we have to ask what do we do with
  1680. 1:03:02our blip of consciousness you know like
  1681. 1:03:06ashes to ashes and dust to dust you're
  1682. 1:03:08you're atoms and for a while you're
  1683. 1:03:12organized in this astonishing way that
  1684. 1:03:15gets to feel pleasure and happiness and
  1685. 1:03:17love and sadness And
  1686. 1:03:20what are you going to do with that
  1687. 1:03:23period of however many years it is? And
  1688. 1:03:27that's always been the question. But I
  1689. 1:03:29feel like it's forcing a lot of us to
  1690. 1:03:30become philosophical who haven't thought
  1691. 1:03:33I mean I happen to like philosophy. I've
  1692. 1:03:35always liked philosophy. I have not paid
  1693. 1:03:37much attention to religion in the past
  1694. 1:03:40but but I'm finding myself reading some
  1695. 1:03:42of the great religious writings
  1696. 1:03:45particularly the book of Ecclesiastes
  1697. 1:03:48which I you know that's the one that
  1698. 1:03:50gives rise to that song uh the bride the
  1699. 1:03:53birds turn turn to everything there is a
  1700. 1:03:57season turn
  1701. 1:03:59um that that's a line from the from
  1702. 1:04:01Ecclesiastes in the Old Testament and if
  1703. 1:04:03you haven't read it uh I don't want to
  1704. 1:04:05go on a
  1705. 1:04:07evangelical thing here, but I had not
  1706. 1:04:09read it until recently, and it's a very
  1707. 1:04:14unflinching
  1708. 1:04:16and modern and
  1709. 1:04:19not particularly um easy to read as far
  1710. 1:04:22like for a a traditionally pious person,
  1711. 1:04:25God doesn't appear in it very much.
  1712. 1:04:28>> What do you mean by unflinching?
  1713. 1:04:30>> I mean unflinching in that it says there
  1714. 1:04:32is no meaning.
  1715. 1:04:35It doesn't give you any comfort at all
  1716. 1:04:38about um the reason that you're here is
  1717. 1:04:41because of love or because of doing
  1718. 1:04:45God's work or about the works that you
  1719. 1:04:48create. All of that is described as
  1720. 1:04:51vanity. And it's vanity in a particular
  1721. 1:04:54sense. It doesn't mean vanity like, oh,
  1722. 1:04:58you're so vain, you're conceited. It
  1723. 1:05:00means you're doing everything in vain.
  1724. 1:05:02>> It's all pointless.
  1725. 1:05:04It's all vanity. The the Hebrew word is
  1726. 1:05:07apparently the word for vapor
  1727. 1:05:10or breath. It's all It's all It's sort
  1728. 1:05:12of like the concept of dust in the wind.
  1729. 1:05:15It's It's all vapor. It's all transient.
  1730. 1:05:17It's really very Buddhist sounding
  1731. 1:05:20roughly.
  1732. 1:05:21>> So, what did you take away from it?
  1733. 1:05:23>> What do I take from it?
  1734. 1:05:24>> Yeah. Yeah. What do you take away from
  1735. 1:05:25it?
  1736. 1:05:25>> What I take from it? I mean there is
  1737. 1:05:26there are glimmers of hope in it which
  1738. 1:05:29which are
  1739. 1:05:31um sentences like
  1740. 1:05:34this idea that to everything there is a
  1741. 1:05:36season everything is beautiful in its
  1742. 1:05:39time it says
  1743. 1:05:43>> sorry this is my new thing crying on
  1744. 1:05:45camera [laughter]
  1745. 1:05:47but this idea everything is beautiful in
  1746. 1:05:50its time that that we get to have a
  1747. 1:05:53moment in the sun
  1748. 1:05:55you know when you get to love, you get
  1749. 1:05:57to care, you get to be somebody, you get
  1750. 1:05:59to live out your dreams maybe if you're
  1751. 1:06:01lucky and that's it. I mean that it's
  1752. 1:06:04because it's transient because life is
  1753. 1:06:07so short. That's what makes it precious.
  1754. 1:06:11These are not original thoughts. I mean
  1755. 1:06:13these are ancient thoughts but they're
  1756. 1:06:15right there in this several thousand
  1757. 1:06:17year old document. And so when I think
  1758. 1:06:20of what are we doing when we do math if
  1759. 1:06:22the machines are better than us? Well,
  1760. 1:06:24Terry Ta's already better than me, you
  1761. 1:06:26know. I mean, it's not about that. It's
  1762. 1:06:28about what I get to do by having this
  1763. 1:06:31conversation with you or with my
  1764. 1:06:33students or my teachers. That's that's
  1765. 1:06:36what we get to do while we're alive.
  1766. 1:06:39>> I mean, you're saying
  1767. 1:06:41>> I'm saying that's why we're doing it. If
  1768. 1:06:43it's if math is the thing that gets you
  1769. 1:06:44up in the morning, do it for that
  1770. 1:06:47reason. If it's playing your guitar, if
  1771. 1:06:50it's helping the person at the hospice,
  1772. 1:06:53you know, whatever it is that gives your
  1773. 1:06:54life meaning, that's what you've got to
  1774. 1:06:56cling on to because you're only here for
  1775. 1:06:58a short time. I I kind of think that's
  1776. 1:07:00all there is. And the the when I say
  1777. 1:07:04it's unflinching,
  1778. 1:07:07it's so unflinching that at the end of
  1779. 1:07:09it, if you look at this Ecclesiastes,
  1780. 1:07:13it has a paragraph which is clearly
  1781. 1:07:15tacked on by later rabbis which says all
  1782. 1:07:18that is all very nice, but all in fact,
  1783. 1:07:21what you're really supposed to do is
  1784. 1:07:23just do what God tells you to do.
  1785. 1:07:25[snorts]
  1786. 1:07:26like it's, you know, it gives a very
  1787. 1:07:27traditional top- down kind of thing that
  1788. 1:07:30is totally at odds with everything in
  1789. 1:07:32the rest of the text.
  1790. 1:07:34>> It's um
  1791. 1:07:36>> okay, didn't plan to go there, but
  1792. 1:07:38>> Well, [laughter] no, I I love everything
  1793. 1:07:40about this because essentially what
  1794. 1:07:42you're getting at is human flourishing.
  1795. 1:07:44And if you're saying like if if math is
  1796. 1:07:46what what feels like a life best lived,
  1797. 1:07:49you know, to do math, to engage with it,
  1798. 1:07:51to find these clicking moments, that is
  1799. 1:07:53the reason to do it. You need no you
  1800. 1:07:54need no justification even further than
  1801. 1:07:56that. You don't need to rest on the the
  1802. 1:07:58fact that your particular contribution
  1803. 1:08:01is like what what the future hinges on
  1804. 1:08:03as far as like later utility down the
  1805. 1:08:06road.
  1806. 1:08:07>> I want to I do want to talk about that
  1807. 1:08:09problem solving component of it that I
  1808. 1:08:11pushed back a bit earlier and and and
  1809. 1:08:13and connected a bit. you referenced
  1810. 1:08:15already the story you gave the last time
  1811. 1:08:18you were on this podcast of a particular
  1812. 1:08:20problem you were given as a young
  1813. 1:08:21student that was you know unexpectedly
  1814. 1:08:24tricky about triangles and and the
  1815. 1:08:26pursuit and the joy that that came from
  1816. 1:08:28that.
  1817. 1:08:28>> Um so I've had and this is going to be a
  1818. 1:08:31little bit of a long thought but I'll
  1819. 1:08:32I'll see if I can I can keep it somewhat
  1820. 1:08:34short. I've I've had this experience
  1821. 1:08:36many times where you know I find math
  1822. 1:08:38quite beautiful. I think you find it
  1823. 1:08:40quite beautiful. there's a certain
  1824. 1:08:41shared aesthetic among many
  1825. 1:08:42mathematicians, but then every now and
  1826. 1:08:44then I'm trying to communicate to
  1827. 1:08:46someone else what it is I find beautiful
  1828. 1:08:47in it. And I like to, you know, this is
  1829. 1:08:49my whole job to some extent. I'm
  1830. 1:08:50supposed to be able to like convey the
  1831. 1:08:52[laughter] beauty of math and and and I
  1832. 1:08:54run up against a regular failure. Um,
  1833. 1:08:56which is that sometimes somebody who's
  1834. 1:08:57quite outside of it.
  1835. 1:08:59>> It's just there's just nothing about it
  1836. 1:09:00that's clicking the way that I would
  1837. 1:09:01want. You know, I maybe I talk about the
  1838. 1:09:03Pythagorean theorem or certain way of
  1839. 1:09:05seeing it and it's, you know, they're
  1840. 1:09:07they they nod along and it's not that
  1841. 1:09:08they don't understand it. It's just
  1842. 1:09:10something where it's as if I'm seeing a
  1843. 1:09:12color and they they see it in black and
  1844. 1:09:14white. They're like, "Look, that's true
  1845. 1:09:16and everything, but [laughter] I got to
  1846. 1:09:18be honest, I don't see why this is
  1847. 1:09:19beautiful."
  1848. 1:09:20>> And I've thought about this and I think
  1849. 1:09:22some of what's going on is my my sense
  1850. 1:09:26of what is beautiful is actually more
  1851. 1:09:28tied to problem solving than it might
  1852. 1:09:30seem at first. where I, you know, in my
  1853. 1:09:33youth was was good at math or in so far
  1854. 1:09:35as, you know, in the local environments
  1855. 1:09:37where I was enough to feel that way as,
  1856. 1:09:40you know, egotistically young man as as
  1857. 1:09:41as many of us might have been at some
  1858. 1:09:44point.
  1859. 1:09:44>> And um and sometimes when there's a
  1860. 1:09:47given idea that I would see and think
  1861. 1:09:49like, oh wow, that's that's very
  1862. 1:09:50beautiful. What that actually would
  1863. 1:09:52translate to is I can see how this might
  1864. 1:09:54be useful later or that is a real bolt
  1865. 1:09:57out of the blue that helped solve this
  1866. 1:09:58problem and I can like part of me can
  1867. 1:10:02predict that maybe I can use that same
  1868. 1:10:04kind of bolt later on were I to come
  1869. 1:10:06across another problem and seem
  1870. 1:10:08similarly clever something like
  1871. 1:10:10generating functions. You know the first
  1872. 1:10:11time you ever learn about generating
  1873. 1:10:13functions
  1874. 1:10:13>> it's just like where did that come from?
  1875. 1:10:16But [laughter] it's you can sense the
  1876. 1:10:17generality of it and and you can have
  1877. 1:10:19the sense that like oo next time I come
  1878. 1:10:21across this recurrence uh uh property or
  1879. 1:10:24something like that is a tool that I'm
  1880. 1:10:26going to be able to bring to bear. And
  1881. 1:10:27the fact that it's both general and that
  1882. 1:10:29it's unexpected, this is some of what
  1883. 1:10:31makes it seem uh beautiful. you I I
  1884. 1:10:35don't play as as much chess as I I think
  1885. 1:10:36you do, but sometimes when I see people
  1886. 1:10:38commentate on like a particular move
  1887. 1:10:40being beautiful, some component of that
  1888. 1:10:42is that it's unexpected and it's also
  1889. 1:10:44that it's um
  1890. 1:10:46>> you know it's clearly useful. It was a
  1891. 1:10:48good move to make and that if we say
  1892. 1:10:50what makes that beautiful I wonder if
  1893. 1:10:51it's a sense of it's like an intuition
  1894. 1:10:53to tuck away that maybe can be applied
  1895. 1:10:55in a future game. And if you try to take
  1896. 1:10:58the problem solver out of the
  1897. 1:11:00mathematician or out of the student and
  1898. 1:11:03if they don't they don't have the same
  1899. 1:11:05kind of practice of really engaging with
  1900. 1:11:08and struggling with problems in the same
  1901. 1:11:10way
  1902. 1:11:11>> that all of these surrounding things
  1903. 1:11:13that we're talking about on like oh it's
  1904. 1:11:14it's math for human flourishing. It's
  1905. 1:11:16it's this thing that gives you this
  1906. 1:11:17unparalleled feeling or mathematicians
  1907. 1:11:20saying it's the lighthouse that's
  1908. 1:11:21shedding light on this broader landscape
  1909. 1:11:22but it's the landscape that you care
  1910. 1:11:24about. I kind of wonder how much of that
  1911. 1:11:26landscape or how much of that deeper
  1912. 1:11:28clicking feeling is dependent on being
  1913. 1:11:31perceived by a problem solver, a person
  1914. 1:11:34who at some point in their past really
  1915. 1:11:35engaged with trying to solve hard
  1916. 1:11:37problems and has unconsciously or
  1917. 1:11:39otherwise collected a sense of what's
  1918. 1:11:41going to be useful for that. And this
  1919. 1:11:43beauty that we're describing and this
  1920. 1:11:44flourishing that we're describing is
  1921. 1:11:46tied with that. And so this is a very
  1922. 1:11:49long way of kind of going
  1923. 1:11:51>> but I think I'm following you. Yeah, go
  1924. 1:11:53ahead. you ask the question because I
  1925. 1:11:54think I know where you're going. if you
  1926. 1:11:56had had a youth where you didn't have
  1927. 1:11:59you were given this triangle problem and
  1928. 1:12:00you could just ask chat GPT or something
  1929. 1:12:02and it kind of shows you what the answer
  1930. 1:12:03is or like or or you mentioned Gorsat's
  1931. 1:12:06theorem in complex analysis um something
  1932. 1:12:09if that was something that uh you know
  1933. 1:12:10it's it's just coming out as text from a
  1934. 1:12:13chatbot like all of the all of the
  1935. 1:12:14problems that you could have engaged
  1936. 1:12:16with the mode of of engagement at least
  1937. 1:12:18in principle maybe also in practice came
  1938. 1:12:21from the you know quote unquote all
  1939. 1:12:23knowing AI just giving you the answer
  1940. 1:12:25>> do Do you think your aesthetic for math
  1941. 1:12:27would have been affected if that had
  1942. 1:12:29been your youth?
  1943. 1:12:32>> Oh, very very much.
  1944. 1:12:34>> Yes. And um
  1945. 1:12:38in a very negative way in a very I would
  1946. 1:12:40be deprived.
  1947. 1:12:42>> And how so how do we preserve that? Like
  1948. 1:12:44how do we make sure?
  1949. 1:12:45>> Yeah. Let me let me try to make this
  1950. 1:12:46very concrete that uh I have taught
  1951. 1:12:50three times a course
  1952. 1:12:54called math explorations
  1953. 1:12:57and it's a course for people who have a
  1954. 1:13:00math requirement to graduate and most of
  1955. 1:13:04them don't want to be there.
  1956. 1:13:07>> You know, these are government majors,
  1957. 1:13:10architecture, whatever. They're art
  1958. 1:13:12history. They're not interested in math.
  1959. 1:13:14Not really. Some of them are, but most
  1960. 1:13:17of the people who take it are taking it
  1961. 1:13:18because their college
  1962. 1:13:21says you have to satisfy a quantitative
  1963. 1:13:24reasoning distribution requirement.
  1964. 1:13:28And um this is thought to be one of the
  1965. 1:13:30easier ways to do it. Like you could
  1966. 1:13:33take calculus, but a lot of these
  1967. 1:13:35students have already taken calculus and
  1968. 1:13:37may have even gotten a good score on the
  1969. 1:13:39BC calculus test. That's how they got
  1970. 1:13:41into Cornell in the first place. but
  1971. 1:13:44they don't see the point of math or they
  1972. 1:13:46hated math or maybe they were perfectly
  1973. 1:13:49good at it and they just whatever. So
  1974. 1:13:52they don't want to do calculus again. So
  1975. 1:13:54they're in my course math explorations
  1976. 1:13:56and just to come to the point since I do
  1977. 1:13:59feel so long-winded for some reason
  1978. 1:14:01maybe because I am [laughter]
  1979. 1:14:04I think it's absolutely essential to
  1980. 1:14:06give people the experience of doing
  1981. 1:14:08math. Math appreciation doesn't work
  1982. 1:14:12without math
  1983. 1:14:14doesn't really work without doing math.
  1984. 1:14:18You can appreciate math passively. You
  1985. 1:14:20know, you could watch Grant or you could
  1986. 1:14:21watch me talking about the beauty of
  1987. 1:14:23math or blah blah blah. It doesn't it's
  1988. 1:14:26not the same. It doesn't produce the
  1989. 1:14:28necessary thing that makes a person get
  1990. 1:14:33it unless they do it. Now, it doesn't
  1991. 1:14:35have to be advanced math. It could be so
  1992. 1:14:38basic. I mean what I often use as the
  1993. 1:14:40first activity is is a problem where
  1994. 1:14:42there's a triangle drawn in the middle
  1995. 1:14:44of a piece of paper and it's a triangle.
  1996. 1:14:50Actually the the first activity is I
  1997. 1:14:52would show you an equilateral triangle
  1998. 1:14:54and then I give you a scissors and say
  1999. 1:14:58your goal is to cut out the triangle but
  2000. 1:15:00you can only make a single straight cut.
  2001. 1:15:03Have you ever heard this activity?
  2002. 1:15:05>> I don't think so. No.
  2003. 1:15:06>> Okay. So there's a triangle. I mean, I
  2004. 1:15:08could draw one, but I give a blank piece
  2005. 1:15:09of paper, except it's got a big fat
  2006. 1:15:11triangle. It's equilateral. Here's your
  2007. 1:15:13scissor. Cut out the triangle, but you
  2008. 1:15:15have to cut in a straight line. And then
  2009. 1:15:18the student thinks, "That's impossible."
  2010. 1:15:20And then another student says, "Are we
  2011. 1:15:22allowed to fold the paper?"
  2012. 1:15:24>> And then you say, "Go ahead." So then
  2013. 1:15:27the kids are all holding up the paper to
  2014. 1:15:29the light and get and folding it to get
  2015. 1:15:31the lines on top of each other. Then
  2016. 1:15:33they cut and everybody can do it and the
  2017. 1:15:36triangle drops out and then you hand
  2018. 1:15:39them another piece of paper that has a
  2019. 1:15:41square on it
  2020. 1:15:42>> and then they're kind of actually like
  2021. 1:15:44it because they did it. They do it
  2022. 1:15:46again. The square drops out anyway. You
  2023. 1:15:48do a few simple shapes and everyone can
  2024. 1:15:50do it. But then
  2025. 1:15:53you give them a scaling triangle. All
  2026. 1:15:56three sides are different length.
  2027. 1:15:59No symmetry. no obvious an you know
  2028. 1:16:03axis of symmetry or any obvious thing to
  2029. 1:16:05do with it. And I did this myself in a
  2030. 1:16:10in a class learning how to teach in this
  2031. 1:16:12inquirybased style. Um I had never been
  2032. 1:16:16taught this way. And next to me was my
  2033. 1:16:18colleague John Gugenheimer who's very
  2034. 1:16:20fast and smart. and
  2035. 1:16:24and John is doing something with the
  2036. 1:16:25paper and he cuts it out and it's it
  2037. 1:16:27worked
  2038. 1:16:28>> and I can't figure out what to do and I
  2039. 1:16:30feel myself getting embarrassed and my
  2040. 1:16:32face is getting red because I'm really
  2041. 1:16:34slow and I'm always the slowest and I
  2042. 1:16:37start feeling what people who hate math
  2043. 1:16:40feel.
  2044. 1:16:41Okay. So, it's really good to go through
  2045. 1:16:43that and then John is now doing a
  2046. 1:16:45quadrilateral and then he's doing a
  2047. 1:16:47concave quadrilateral and he everything
  2048. 1:16:50they give him, he could do it and I'm
  2049. 1:16:52still stuck on the scaling triangle.
  2050. 1:16:55Now, um
  2051. 1:16:58when I do this with the students and I
  2052. 1:16:59give them the scaling triangle after
  2053. 1:17:02they've had several successes, nobody in
  2054. 1:17:05the room can do the scaling triangle.
  2055. 1:17:06And it like a half hour goes by
  2056. 1:17:09>> and
  2057. 1:17:11The interesting thing that happened the
  2058. 1:17:13first time I taught this was I say I'm
  2059. 1:17:15like running out of time and the the
  2060. 1:17:18bell's going to ring and I think okay so
  2061. 1:17:21I say would you like a hint and then a
  2062. 1:17:23bunch of students say yes and then all
  2063. 1:17:26the rest of the students say no
  2064. 1:17:29>> that's great [laughter]
  2065. 1:17:30>> because they are actually having a
  2066. 1:17:32mathematical moment they knew they
  2067. 1:17:33should be able to do this godamn it they
  2068. 1:17:36had done these other shapes
  2069. 1:17:38>> and and so I thought You guys are the
  2070. 1:17:40best because that's exactly you're
  2071. 1:17:42already on the right track now that you
  2072. 1:17:44know that you want to do this and
  2073. 1:17:47there's no reason this isn't going to do
  2074. 1:17:49any important thing in the world. This
  2075. 1:17:51is just a game.
  2076. 1:17:52>> Yeah.
  2077. 1:17:53>> I had a kid then write to me and and you
  2078. 1:17:56have to understand these are all
  2079. 1:17:57traumatized people. On the first day we
  2080. 1:17:59have them write on the board what's the
  2081. 1:18:01first word that comes to mind when they
  2082. 1:18:03think about math. I got responses like
  2083. 1:18:06sick, ugly, hate it, embarrassed, you
  2084. 1:18:10know, some people say beautiful, but
  2085. 1:18:13um mostly this a class that has a lot of
  2086. 1:18:17built-in trauma about whatever happened
  2087. 1:18:19to them in math class. So, but over the
  2088. 1:18:21weekend I got emails from one student
  2089. 1:18:23saying, "I thought about this for hours
  2090. 1:18:26and I find and I fiddled with it and I
  2091. 1:18:28finally got it to work and I can't tell
  2092. 1:18:30you the the feeling I'm having right
  2093. 1:18:33now." But of course he doesn't have to
  2094. 1:18:34tell me because it's the feeling you're
  2095. 1:18:36talking about.
  2096. 1:18:38>> So my goal in this class math
  2097. 1:18:40explorations is to give everybody
  2098. 1:18:43find some way to get let them get that
  2099. 1:18:45feeling because that's the genuine
  2100. 1:18:47mathematical experience and it doesn't
  2101. 1:18:50matter that it's such an easy I mean
  2102. 1:18:51it's a very it's not a deep problem but
  2103. 1:18:55it gives them the deep experience.
  2104. 1:18:58>> That's okay. That's great. And I think a
  2105. 1:19:00perfect example of maybe how to use
  2106. 1:19:02classroom time effectively for that
  2107. 1:19:05because the other struggle of course
  2108. 1:19:06every educator is having is um what to
  2109. 1:19:09do about homework um when when more and
  2110. 1:19:12in some sense maybe I'm just a naive
  2111. 1:19:15outsider. I feel like why are we grading
  2112. 1:19:17homework anymore? Um at the very least
  2113. 1:19:19stop grading it. And then and then the
  2114. 1:19:21question is you know how do you how do
  2115. 1:19:22you motivate people to want to practice
  2116. 1:19:24or maybe how do you shift that practice
  2117. 1:19:26time to be in a in a communal
  2118. 1:19:27environment instead of relying on
  2119. 1:19:30someone's like internal motivation to to
  2120. 1:19:33do that practice just for its own sake
  2121. 1:19:35or just for the sake of the proctored
  2122. 1:19:37quiz that you'll take the next day. Um
  2123. 1:19:39these kinds of experiences though that
  2124. 1:19:40this feels like just a much better use
  2125. 1:19:42of time in the classroom to
  2126. 1:19:44>> well yes and no because it's very slow.
  2127. 1:19:48The students come out after after a
  2128. 1:19:50whole semester of doing this. I mean, I
  2129. 1:19:52have all these Let me say this comes
  2130. 1:19:54from a series of books that you can look
  2131. 1:19:57up on the internet, they're free, called
  2132. 1:20:01Discovering the Art of Mathematics.
  2133. 1:20:04All right, discovering the Art of
  2134. 1:20:05Mathematics. If you type that exact
  2135. 1:20:09phrase into your search engine, you'll
  2136. 1:20:11be led to a place called Westfield State
  2137. 1:20:13College.
  2138. 1:20:14And um West maybe you're doing it as we
  2139. 1:20:18speak.
  2140. 1:20:19>> Yeah, I was curious.
  2141. 1:20:20>> They they have uh like 11 PDFs of um
  2142. 1:20:25math and music, math and dance. It's all
  2143. 1:20:28about art. It's for liberal arts
  2144. 1:20:29students and it's constant. I mean, it's
  2145. 1:20:33so many brilliant activities of this
  2146. 1:20:35type that are really hands-on. You could
  2147. 1:20:38do it at high school level. You could
  2148. 1:20:40even probably do it at middle school
  2149. 1:20:42level, but we use it at college and it's
  2150. 1:20:44meant for college students. Uh, and
  2151. 1:20:48there's a whole psychology explained
  2152. 1:20:50about inquirybased learning. But at the
  2153. 1:20:52end of the semester, you could ask, have
  2154. 1:20:54the students learned how much math have
  2155. 1:20:56they learned? And by conventional
  2156. 1:20:58measures, you would say very little.
  2157. 1:21:01>> But I would say they've learned a lot.
  2158. 1:21:04>> And I've the main thing is I've changed
  2159. 1:21:06their attitude. They're now ready.
  2160. 1:21:08They're now ready. And some of them say,
  2161. 1:21:11"I don't still don't want to do math."
  2162. 1:21:13But now I understand why people love
  2163. 1:21:14math. They get it. They do get it. They
  2164. 1:21:18all get it.
  2165. 1:21:19>> It's I mean that that strikes me as much
  2166. 1:21:21more useful than whatever because the
  2167. 1:21:23major requirement you named it. So like
  2168. 1:21:24quantitative reasoning or something
  2169. 1:21:26called as an this is this is
  2170. 1:21:29categorically not quantitative. At least
  2171. 1:21:31the the example at the beginning
  2172. 1:21:33>> the word quantitative wouldn't apply
  2173. 1:21:34there. And in fact, I actually think
  2174. 1:21:37almost all of what happens in a math
  2175. 1:21:39department at a college level, I
  2176. 1:21:42wouldn't call quantitative reasoning.
  2177. 1:21:44Um, I mean, of course, some of it is,
  2178. 1:21:46but if if if someone wants to justify
  2179. 1:21:48like what is it that someone's getting
  2180. 1:21:49out of the the math classes or a math
  2181. 1:21:51major or that kind of training that's
  2182. 1:21:52brought into the rest of the world, like
  2183. 1:21:55everybody usually goes towards that word
  2184. 1:21:58quantitative, you know, this is this is
  2185. 1:22:00what makes it a transferable skill and
  2186. 1:22:02everything. I think there
  2187. 1:22:03[clears throat] are many better paths
  2188. 1:22:03towards quantitative reasoning.
  2189. 1:22:05>> Well, we could do that. I mean, you
  2190. 1:22:07could say, why why am I not teaching
  2191. 1:22:08them financial literacy? Well, that's
  2192. 1:22:10useful, too. But this is something else.
  2193. 1:22:12I'm trying to teach them
  2194. 1:22:14>> what they missed and and what it is that
  2195. 1:22:18people who love math love about it.
  2196. 1:22:20>> They do get that. Is that worth
  2197. 1:22:22anything? I don't know. I think it is.
  2198. 1:22:25>> I agree. I agree. I also think this is a
  2199. 1:22:27great way to get at it where you
  2200. 1:22:28especially if there's trauma going in,
  2201. 1:22:30you want to make sure to uh like put a
  2202. 1:22:34balm over that trauma before you proceed
  2203. 1:22:37forward in whatever it is that you're
  2204. 1:22:38trying to get out rather than just like
  2205. 1:22:40hammering in more problems of a certain
  2206. 1:22:42type.
  2207. 1:22:42>> Yeah.
  2208. 1:22:43Um
  2209. 1:22:46I think this might have some
  2210. 1:22:47relationship with the other questions on
  2211. 1:22:50what is it that we're doing math for or
  2212. 1:22:52what is it that in some sense this is
  2213. 1:22:55not does not have direct bearing on what
  2214. 1:22:57do the mathematicians of the future do
  2215. 1:22:58or a perspective student right now
  2216. 1:23:00contemplating if they should go into a
  2217. 1:23:02PhD and wondering if they should be
  2218. 1:23:04optimistic or pessimistic. you know, a
  2219. 1:23:06vision of uh teaching the liberal arts
  2220. 1:23:08majors to maybe barely appreciate what
  2221. 1:23:10they find beautiful by like folding
  2222. 1:23:12paper in the right way. To some people
  2223. 1:23:14that would be a, you know, a positive
  2224. 1:23:16aspect of it. But I think to some people
  2225. 1:23:18maybe they would they would fear like oh
  2226. 1:23:20if this is all about sharing the
  2227. 1:23:22flourishing of math and if uh uh if this
  2228. 1:23:25is an example of what that looks like
  2229. 1:23:27somehow that might somehow that might
  2230. 1:23:31not quite leave the taste in their their
  2231. 1:23:32mouth that they they were hoping for as
  2232. 1:23:34far as like existing at the frontier and
  2233. 1:23:36and really really wallowing in that um
  2234. 1:23:39and enjoying that side of it. I'm I'm a
  2235. 1:23:41little bit curious for you because you
  2236. 1:23:44because you walk so many different
  2237. 1:23:46lines. You educate and in college you
  2238. 1:23:50have done phenomenal research. You have
  2239. 1:23:52done various bits of popularization like
  2240. 1:23:54how these how these weave together for
  2241. 1:23:56you. How important is the education side
  2242. 1:23:59and doing classes like this to more um
  2243. 1:24:02more applied research that you might do?
  2244. 1:24:05Or how important are [clears throat]
  2245. 1:24:06like you just wrote this book big math.
  2246. 1:24:08Um you've wrote many excellent books
  2247. 1:24:09through your past. How important is that
  2248. 1:24:12act of writing and and really turning
  2249. 1:24:13math outward and kind of in some sense
  2250. 1:24:16stepping below where you could be as far
  2251. 1:24:18as you know uh proximity to the
  2252. 1:24:20frontier. Um how how related are those
  2253. 1:24:24other activities to the the applied
  2254. 1:24:27research that you will do or have done
  2255. 1:24:28throughout your career?
  2256. 1:24:29>> Yeah. Uh my answer is peculiar literally
  2257. 1:24:33peculiar to me you know it's it's
  2258. 1:24:36idiosyncratic. It's not this wouldn't be
  2259. 1:24:38the standard answer but but I always
  2260. 1:24:42wanted to be a teacher. That's you know
  2261. 1:24:45if I have to start writing my own eulogy
  2262. 1:24:48or putting thinking about what goes on
  2263. 1:24:49my gravestone I was a a teacher not a
  2264. 1:24:53researcher in my heart. I mean a re to
  2265. 1:24:56do research is to teach myself and to
  2266. 1:24:59teach the world whatever I discovered or
  2267. 1:25:02my colleagues and I discovered together.
  2268. 1:25:05But I think of the fundamental activity
  2269. 1:25:06as teaching and learning. I did have
  2270. 1:25:09this one experience where I was working
  2271. 1:25:10at a college at one point where the
  2272. 1:25:13students weren't getting what I was
  2273. 1:25:15trying to teach. And I found that very
  2274. 1:25:17disappointing. No matter what I any
  2275. 1:25:19trick I use, it just wasn't working. And
  2276. 1:25:22that made me feel I have to be at a
  2277. 1:25:25place where the students can get what
  2278. 1:25:28I'm trying to impart. And so for that
  2279. 1:25:32reason I felt I have to be I mean this
  2280. 1:25:35is going to sound very crass
  2281. 1:25:38that I have to be a good enough
  2282. 1:25:39researcher that I can end up at the kind
  2283. 1:25:41of place I want to be at.
  2284. 1:25:44>> And
  2285. 1:25:47um so I had seen very good teachers in
  2286. 1:25:52college at Princeton who didn't get
  2287. 1:25:54tenure because in my mind I thought they
  2288. 1:25:56didn't publish enough. probably wasn't
  2289. 1:25:58exactly that. They probably didn't
  2290. 1:26:00publish good enough stuff,
  2291. 1:26:04but but whatever. I knew that their
  2292. 1:26:07research was what sank them.
  2293. 1:26:09>> And so I always felt
  2294. 1:26:12I have to try to be the best researcher
  2295. 1:26:14I can be so that I can teach the way I
  2296. 1:26:16want to teach.
  2297. 1:26:18>> That's very interesting. I had no idea.
  2298. 1:26:19It was it was such a twisted teaching.
  2299. 1:26:22That's such a twisted way of what's the
  2300. 1:26:24research for so that I can teach
  2301. 1:26:26[laughter] good enough students. And
  2302. 1:26:29>> that was really in my head. I'm not
  2303. 1:26:31kidding. Now
  2304. 1:26:33>> I I don't want to put too much of an
  2305. 1:26:36emphasis on it because I do love
  2306. 1:26:38research. I don't want to oversimplify.
  2307. 1:26:41I love the mystery. I'm deeply in love
  2308. 1:26:44with math and science and the universe
  2309. 1:26:48and you know all of it. All of learning
  2310. 1:26:50in fact. I mean not just the science and
  2311. 1:26:52math part
  2312. 1:26:54just really loved being a student my
  2313. 1:26:56whole life and I just wanted a chance to
  2314. 1:26:58do that to teach to learn and research
  2315. 1:27:01is a big part of that and so is writing
  2316. 1:27:03for the public and so is doing this
  2317. 1:27:05conversation you know I mean it's all to
  2318. 1:27:08me this it's the thing I want to do with
  2319. 1:27:10my life with my my short time
  2320. 1:27:13so that's it I mean but the research has
  2321. 1:27:17been really thrilling along the way
  2322. 1:27:18because I've had such good students I
  2323. 1:27:20That's the other nice thing. When you
  2324. 1:27:22work at a topflight place, you get
  2325. 1:27:25really brilliant, creative, ambitious,
  2326. 1:27:27hungry, mountain climbing. In some
  2327. 1:27:29cases, literally, I had mountain
  2328. 1:27:31climbers. My most famous student, Duncan
  2329. 1:27:33Watts, really was an outdoors person who
  2330. 1:27:36would hang by his fingertips off of
  2331. 1:27:39deathdeying cliffs. I mean, he was like
  2332. 1:27:41not quite the guy in Free Solo, but I
  2333. 1:27:44mean, he's a crazy rock climber.
  2334. 1:27:46And um so I got to have adventures with
  2335. 1:27:49people like him. and you know had
  2336. 1:27:51something like 25 PhD students and lots
  2337. 1:27:54of postocs and and brilliant
  2338. 1:27:57collaborators. My friend Renie Moro my
  2339. 1:27:59lifelong friend I mean we've had great
  2340. 1:28:01adventures which is what research is but
  2341. 1:28:04we had them together. I mean it really
  2342. 1:28:06is about going through life with people
  2343. 1:28:09you care about.
  2344. 1:28:11Keep coming back to that.
  2345. 1:28:13>> Yeah. I mean the the fact that you keep
  2346. 1:28:15coming back to that speaks to something
  2347. 1:28:17um both in terms of just what you want
  2348. 1:28:18what you personally want mathematics to
  2349. 1:28:20be but what I expect a lot of other
  2350. 1:28:22people would too.
  2351. 1:28:22>> Yeah.
  2352. 1:28:23>> I think the the last line of questioning
  2353. 1:28:25I want to get at here would be
  2354. 1:28:28>> on on this topic of mathematicians kind
  2355. 1:28:31of get to decide what the field might be
  2356. 1:28:32or if we if we if we run with that for a
  2357. 1:28:35moment um and it's in this tumult
  2358. 1:28:38because some of the traditional proxies
  2359. 1:28:39are no longer as useful as they once
  2360. 1:28:42were. Um I mean you you set a very good
  2361. 1:28:44example here on all of the other things
  2362. 1:28:47that you can pursue while like in the
  2363. 1:28:52service of valuing these these more
  2364. 1:28:54human aspects of math and it's not
  2365. 1:28:56necessarily about the significance of a
  2366. 1:28:58theorem that was proved um you know can
  2367. 1:29:00maybe focus on more application but is
  2368. 1:29:02it what I'm hearing here is it's not
  2369. 1:29:03even as much about that as it is you
  2370. 1:29:05just wanting to wallow in the knowledge
  2371. 1:29:07and help impart that to others whether
  2372. 1:29:08it's your students directly or the
  2373. 1:29:10people reading your books. What do you
  2374. 1:29:12think the
  2375. 1:29:14what if you were, you know, in charge of
  2376. 1:29:16maybe one math department or could sweep
  2377. 1:29:18sweep a magic wand and instill the
  2378. 1:29:20culture with a sense of what to value?
  2379. 1:29:22What what do you think should be valued
  2380. 1:29:25in making decisions around hiring,
  2381. 1:29:27making decisions around tenure, deciding
  2382. 1:29:29what people pursue, what people what is
  2383. 1:29:32a math PhD, right? Just five years from
  2384. 1:29:34now, let's do student entering now, like
  2385. 1:29:36publish the PhD. What is what does it
  2386. 1:29:38actually entail?
  2387. 1:29:40uh what comes to your mind as uh as
  2388. 1:29:44emblematic of of all of these things
  2389. 1:29:46that we want to value?
  2390. 1:29:47>> That's very very baffling question. I I
  2391. 1:29:49mean I have an instinctive answer and
  2392. 1:29:51it's going to sound evasive but it's
  2393. 1:29:53what clearly comes to my mind first
  2394. 1:29:56which is um
  2395. 1:30:00I have a very profound respect for
  2396. 1:30:02individuality of people's taste. I don't
  2397. 1:30:06it's I'm escaping really answering. I
  2398. 1:30:09don't want to be prescriptive. I know it
  2399. 1:30:11when I see it. If if a person is given
  2400. 1:30:14the freedom to do math that's meaningful
  2401. 1:30:16to them, whatever that means, and that's
  2402. 1:30:19the part that's so nebulous.
  2403. 1:30:23Um, but if they're somehow their heart
  2404. 1:30:25and soul and mind in maybe AI tools are
  2405. 1:30:29all put in the most powerful way and the
  2406. 1:30:33most incisive and penetrating and,
  2407. 1:30:37you know, offbeat. I just want to see
  2408. 1:30:39that person express themsself
  2409. 1:30:43in their unique way to do something with
  2410. 1:30:46math. That's what I want. And I want to
  2411. 1:30:48have everyone have the freedom to do
  2412. 1:30:50that. Now, you could say that's not a
  2413. 1:30:52requirement at all. I know that's why
  2414. 1:30:55it's such a bad answer, but that's
  2415. 1:30:56actually what I would want. It's
  2416. 1:30:58actually a great answer because I think
  2417. 1:31:00it's one of the reasons for optimism in
  2418. 1:31:02in making the case like why is this not
  2419. 1:31:04only is it a fine time to go into math,
  2420. 1:31:05I think it's arguable this is one of the
  2421. 1:31:07best times to go into math precisely
  2422. 1:31:09because the culture is in such an
  2423. 1:31:10upheaval on people are deciding what
  2424. 1:31:12even is this. Therefore, if you are an
  2425. 1:31:14entering PhD student, you get to
  2426. 1:31:16basically you have more you might not
  2427. 1:31:18have infinite freedom, but you have more
  2428. 1:31:20freedom than you
  2429. 1:31:20>> have more freedom than ever before
  2430. 1:31:22>> to say like I'm going to plant a flag
  2431. 1:31:25that says this is what I think it should
  2432. 1:31:26be. Like had I had I um decided, you
  2433. 1:31:31know, when I was starting three blue and
  2434. 1:31:32brown, I want to do this under the guise
  2435. 1:31:35of this being my PhD thesis in a pure
  2436. 1:31:37math department, you know, 10 or 15
  2437. 1:31:39years ago. That never that just never
  2438. 1:31:41would have worked. it would have
  2439. 1:31:42required a very peculiar department to
  2440. 1:31:44even like consider that. I don't know if
  2441. 1:31:46I could now, but if it was a younger
  2442. 1:31:48version of me and I was heading out
  2443. 1:31:49doing the same thing, I actually think I
  2444. 1:31:52could basically take the kind of stuff
  2445. 1:31:53that I've been doing and make a case for
  2446. 1:31:56like
  2447. 1:31:56>> uh hey, we're deciding what match.
  2448. 1:31:58>> It's a very remarkable thing actually. I
  2449. 1:32:00mean, you did you did create a whole
  2450. 1:32:02genre. I mean, you made a whole life and
  2451. 1:32:04I can remember when we used to talk
  2452. 1:32:06about this near the beginning and we
  2453. 1:32:08were thinking about different ways for
  2454. 1:32:10you to live this life that you were
  2455. 1:32:12imagining and you've you seem to be
  2456. 1:32:16pulling it off
  2457. 1:32:18thanks to YouTube, thanks to the
  2458. 1:32:20internet and thanks to you.
  2459. 1:32:22>> I had I had various lucky things that
  2460. 1:32:25happened such that this whole thing
  2461. 1:32:26could exist outside of um you know
  2462. 1:32:28traditional funding mechanisms or
  2463. 1:32:30academia or things like that. But as far
  2464. 1:32:32as other things that being a
  2465. 1:32:34mathematician can be or pushing forward
  2466. 1:32:36human understanding whatever that means
  2467. 1:32:37can be and maybe for some people that
  2468. 1:32:40really is they want to stay at the
  2469. 1:32:41forefront of knowledge and what a PhD
  2470. 1:32:43looks like. They spin off their AIs to
  2471. 1:32:46discover like hundreds and thousands of
  2472. 1:32:47theorems in a particular domain and they
  2473. 1:32:49are the taste maker to decide what is
  2474. 1:32:51the network between these and their
  2475. 1:32:53thesis looks like a book that is an
  2476. 1:32:54entirely new field and they are trying
  2477. 1:32:56to like caress it into a sort of
  2478. 1:32:58understanding that's compelling to
  2479. 1:32:59others but it covers a hundred times as
  2480. 1:33:01much as what
  2481. 1:33:02>> that's amazing that is actually a vision
  2482. 1:33:05>> it could be that it could be that
  2483. 1:33:07>> I think one analogy I often turn to is
  2484. 1:33:09and this is near and dear to your work
  2485. 1:33:11also is like the origins of chaos theory
  2486. 1:33:13where we think of that as being you
  2487. 1:33:15could have defined the theorems of chaos
  2488. 1:33:17theory without um computers existing but
  2489. 1:33:19somehow observing the phenomena required
  2490. 1:33:21to even realize this is a theory worth
  2491. 1:33:24uh defining required automated
  2492. 1:33:27computation such that you could run
  2493. 1:33:28millions or billions of computations and
  2494. 1:33:31>> it's so interesting this example because
  2495. 1:33:32it was invented by someone without a
  2496. 1:33:34computer
  2497. 1:33:36>> I mean pankare had this problem that it
  2498. 1:33:39was in his head and hardly anybody could
  2499. 1:33:41understand what was in
  2500. 1:33:43Even when he explained it, they still
  2501. 1:33:45didn't get it. That's why it took
  2502. 1:33:47>> 60 years till Loren could put it on the
  2503. 1:33:50computer. And so now we understood what
  2504. 1:33:52Ponare was saying.
  2505. 1:33:54>> But actually Pankare saw most of it. We
  2506. 1:33:56could see it in his writing.
  2507. 1:33:58>> I guess maybe the the case then is not
  2508. 1:34:00so like the poner might exist, but who
  2509. 1:34:02is the Loren for a
  2510. 1:34:04>> he's a tree falling in the forest that
  2511. 1:34:06nobody hears, right? That's the thing.
  2512. 1:34:08Plonare was so early and so far ahead
  2513. 1:34:12that only Burkoff could understand him.
  2514. 1:34:15You know, I mean those guys really plus
  2515. 1:34:17they were doing something that was so
  2516. 1:34:19wrong in terms of this was when
  2517. 1:34:22relativity was happening. This is when
  2518. 1:34:23quantum mechanics was being born. Nobody
  2519. 1:34:25wanted to hear about classical
  2520. 1:34:27mechanics. I mean that was so yestery
  2521. 1:34:29year.
  2522. 1:34:30>> But in fact they were kind of inventing
  2523. 1:34:32>> Okay. Sorry I got distracted by the
  2524. 1:34:35history of this example.
  2525. 1:34:36>> Yeah. No, no. Like I love it. Getting
  2526. 1:34:39near and dear to your your particular
  2527. 1:34:41field. I mean, so I think
  2528. 1:34:43>> the analogy I'm making is not as
  2529. 1:34:45entirely apt thing because what I what I
  2530. 1:34:47would want to say is whatever it is No,
  2531. 1:34:49no, no. It's actually good because maybe
  2532. 1:34:50we can shape it in. I think
  2533. 1:34:52>> you know
  2534. 1:34:53>> there's a thing that was unlocked by
  2535. 1:34:54being able to do just millions of
  2536. 1:34:56computations at a time. Yes. And here
  2537. 1:34:59maybe it's um it is bringing to life
  2538. 1:35:01what Ponare had already discovered. But
  2539. 1:35:02it in so far as maybe there are some
  2540. 1:35:04other observations that not just Loren
  2541. 1:35:06but but others uh following in his
  2542. 1:35:08footsteps made that would be much harder
  2543. 1:35:10to make without the like
  2544. 1:35:13>> well I mean certainly Mandelro and
  2545. 1:35:14fractals a lot of the work on fractals
  2546. 1:35:17>> you really and that that was the problem
  2547. 1:35:19that Puanker had the thing that he
  2548. 1:35:21discovered at the essence of chaos
  2549. 1:35:23called a today in today's language would
  2550. 1:35:25be a homo clinicic tangle he even says
  2551. 1:35:27in his writing that I I struggle to even
  2552. 1:35:31describe what
  2553. 1:35:32what I'm picturing in my mind
  2554. 1:35:34>> and I won't attempt to draw. He says
  2555. 1:35:37something like an infinite grid, an
  2556. 1:35:39infinite lattice or some kind of
  2557. 1:35:41trellis. What word does he use? He's
  2558. 1:35:43talking about something that's like this
  2559. 1:35:45and like this.
  2560. 1:35:46>> And if you ever draw a picture, maybe
  2561. 1:35:48you could do it on three blue, one brown
  2562. 1:35:50of a homoclinic tangle.
  2563. 1:35:52It's a really nightmarish shape. And
  2564. 1:35:54without a computer, there was no hope of
  2565. 1:35:56drawing it properly. But Plankare was
  2566. 1:35:58imagining it. Nobody else could
  2567. 1:36:00understand it. and he didn't draw it. So
  2568. 1:36:03for like I say for 60 or 70 years nobody
  2569. 1:36:06really knew what he was talking about
  2570. 1:36:08>> but now we can draw it and we could see
  2571. 1:36:10he pictured it perfectly [laughter]
  2572. 1:36:12>> but Mandelro you know when Mandlerro can
  2573. 1:36:14draw fractals with his technology at IBM
  2574. 1:36:18um that opened up a whole universe
  2575. 1:36:20starting in 1985 then people had
  2576. 1:36:23personal computers everybody was drawing
  2577. 1:36:25a Mando broad set on their screen saver
  2578. 1:36:28I mean the visualization should not be
  2579. 1:36:30underestimated
  2580. 1:36:32So broadly, whatever whatever people
  2581. 1:36:34want the math PhD to be, there's not
  2582. 1:36:36infinite freedom, but there's much more
  2583. 1:36:38freedom than there ever has been.
  2584. 1:36:39>> There actually is. Yep.
  2585. 1:36:42If if if departments see it that way. I
  2586. 1:36:45mean, we're all wrestling with this. I
  2587. 1:36:46mean, every department is asking itself,
  2588. 1:36:48what should be our requirements? What
  2589. 1:36:50what does count as a PhD in this era?
  2590. 1:36:53And we haven't really seriously had
  2591. 1:36:56those discussions yet, but people are
  2592. 1:36:57aware that we need to.
  2593. 1:37:00And sometimes people just need good
  2594. 1:37:02examples to even look to. And I think as
  2595. 1:37:04a, you know, if I was a secondy year
  2596. 1:37:06grad student or something, I might be
  2597. 1:37:07thinking one of the things I can do
  2598. 1:37:09right now is at the very least provide
  2599. 1:37:11an example that can be an element of
  2600. 1:37:13discussion happening here rather than
  2601. 1:37:15waiting for others to speculate to tell
  2602. 1:37:17me what to do. I'm just going to do a
  2603. 1:37:19thing and then let them, you know, maybe
  2604. 1:37:20they reject it. But you can guide a
  2605. 1:37:23conversation through creation in a way
  2606. 1:37:26that um is often underappreciated. I
  2607. 1:37:29think just the person to actually make a
  2608. 1:37:30thing or do something new ends up just
  2609. 1:37:32guiding how people even talk
  2610. 1:37:34>> rather than
  2611. 1:37:35>> just put the facts on the ground. We
  2612. 1:37:36don't have to talk about it. Look at
  2613. 1:37:38this.
  2614. 1:37:39>> Yeah, something like that. So, as a very
  2615. 1:37:41last question, um all of this discussion
  2616. 1:37:45around math and a certain spotlight from
  2617. 1:37:47the broader world turning to it and
  2618. 1:37:49whether you know people saying like, oh,
  2619. 1:37:51isn't math solved and and things like
  2620. 1:37:53that misconception or not?
  2621. 1:37:55>> How does this influence the
  2622. 1:37:56popularizations that you'll do? you
  2623. 1:37:58know, the the you know, you just wrote a
  2624. 1:37:59new book or or if you're giving talks to
  2625. 1:38:01the public or if you're on podcasts.
  2626. 1:38:03Does any of that surrounding
  2627. 1:38:05conversation recolor anything that
  2628. 1:38:08you're writing or that you're saying?
  2629. 1:38:11[snorts]
  2630. 1:38:12>> H I don't know why I can't feel I find
  2631. 1:38:15it hard to engage with that question.
  2632. 1:38:18Part of it, let me give the reason maybe
  2633. 1:38:21that is uh doesn't want to be named,
  2634. 1:38:25which is that the labor of writing this
  2635. 1:38:27book and
  2636. 1:38:30all books before it
  2637. 1:38:32has been so problematic for my family
  2638. 1:38:37[laughter]
  2639. 1:38:39and and the time it takes and the um
  2640. 1:38:43lack of presence I show in my house. I
  2641. 1:38:46mean, I should be sitting in the room,
  2642. 1:38:48but I'm not there.
  2643. 1:38:49>> I shouldn't laugh. It's just too
  2644. 1:38:51relatable, I think. But go ahead.
  2645. 1:38:52>> Okay. Oh, wow. All right. That's why
  2646. 1:38:54you're laughing. Good. Well, it's made
  2647. 1:38:57me a bad partner. Um, my wife has
  2648. 1:39:00enabled me to do this for so long. Uh,
  2649. 1:39:04it's now getting to be I mean, I started
  2650. 1:39:06doing math popularization in earnest.
  2651. 1:39:11Say, let's say around the year 2000.
  2652. 1:39:14So, it's now whatever that is. It's now
  2653. 1:39:1726 years. And that's a big fraction of
  2654. 1:39:20my life up till this point. And
  2655. 1:39:24I don't think I'm going to do it
  2656. 1:39:26anymore. Not much. I mean, I have other
  2657. 1:39:29things in my life that I care about
  2658. 1:39:31more. I really want to be with Carol. I
  2659. 1:39:34want to
  2660. 1:39:36live in the youth of my old age to
  2661. 1:39:38travel with her and do crosswords with
  2662. 1:39:40her and watch dumb TV and you know just
  2663. 1:39:44hold hands and go out and what you know
  2664. 1:39:46what we did actually it does have a
  2665. 1:39:48connection to AI. We're walking in the
  2666. 1:39:50Botanic Gardens at Cornell, which has
  2667. 1:39:53marvelous specimens of every tree and
  2668. 1:39:55shrub and flower you could imagine. And
  2669. 1:39:58you could take a photograph of the, you
  2670. 1:40:01know, uh, a Norway spruce. And I don't
  2671. 1:40:05know a spruce from a hemlock,
  2672. 1:40:08but Chachi PT does. [laughter]
  2673. 1:40:11And I could get a guide, but I I like to
  2674. 1:40:14just take a picture of the tree that's
  2675. 1:40:15right in front of me and do a little
  2676. 1:40:17quiz to the machine and tease it and it,
  2677. 1:40:20you know, playfully joke around with it.
  2678. 1:40:21But Carol's right there. It's not just
  2679. 1:40:23me and the machine. We're having fun
  2680. 1:40:25with the machine and we're looking at
  2681. 1:40:26nature and we're outdoors
  2682. 1:40:28>> and we're learning stuff and it's fun
  2683. 1:40:30and we're doing it together. So,
  2684. 1:40:33[laughter] it's not about math
  2685. 1:40:35popularization, but it's about me being
  2686. 1:40:37a perpetual student. I I think that's
  2687. 1:40:39what's next.
  2688. 1:40:41Well, you you mentioned everything
  2689. 1:40:43circles back to the meaning of life. I
  2690. 1:40:44feel like that that's a perfect note to
  2691. 1:40:46end it on that uh actually brought some
  2692. 1:40:50tears to my eyes. I think that's that's
  2693. 1:40:52just incredibly [laughter] sweet as the
  2694. 1:40:54>> that's what that's what matters to me
  2695. 1:40:56the most right now.
  2696. 1:40:57>> So, uh yeah, I've written some other
  2697. 1:40:59books. You could read those, too, if you
  2698. 1:41:01want more. I think as we all um yeah, as
  2699. 1:41:06as I'm sitting in a drought of wishing
  2700. 1:41:07that I had more of your stuff to read, a
  2701. 1:41:09part of me will smile knowing the reason
  2702. 1:41:11for it. And so
  2703. 1:41:12>> that is the reason. Thank you. But yeah,
  2704. 1:41:15I I um I've sort of promised to not
  2705. 1:41:18write anymore
  2706. 1:41:20because it's too
  2707. 1:41:22takes too much ju I mean, it's both
  2708. 1:41:24innervating and energizing. I'm as happy
  2709. 1:41:27as I can be when I'm creating that
  2710. 1:41:29stuff. And in this last book, so big
  2711. 1:41:31math is written with my really dear
  2712. 1:41:35friend Alex Townend. I mean, I have had
  2713. 1:41:38such a good time. This is my first book
  2714. 1:41:40with a co-author. He's much younger than
  2715. 1:41:42me. He could be my son. He's 28 years
  2716. 1:41:45younger. And um we had the best time
  2717. 1:41:49thinking about this subject together for
  2718. 1:41:51the past two years. That's a whole new
  2719. 1:41:53deal. I never wrote a book with someone
  2720. 1:41:55else. I've done papers with other people
  2721. 1:41:57and that's been fun. But to spend that
  2722. 1:41:59much time that intensely with with one
  2723. 1:42:01person for years,
  2724. 1:42:04Carol's not that happy about it because
  2725. 1:42:07it's not her, it's me and Alex. And
  2726. 1:42:09she's seeing me having so much fun
  2727. 1:42:12>> making this thing with him, figuring
  2728. 1:42:14stuff out. And it seems it never ends.
  2729. 1:42:17There's writing it, there's publicizing
  2730. 1:42:19it,
  2731. 1:42:20>> there's talking about it.
  2732. 1:42:22>> Tell you what, I [laughter] will Let's
  2733. 1:42:24end it here, Stephen. This has been an
  2734. 1:42:26utter delight. I could happily chat with
  2735. 1:42:27you at night.
  2736. 1:42:28>> I'm sorry. I didn't mean that to be a a
  2737. 1:42:30shutdown, but okay.
  2738. 1:42:31>> On the contrary, nothing would bring me
  2739. 1:42:33more joy than to let you go into the
  2740. 1:42:34botanical gardens with Carol now and not
  2741. 1:42:36keep you on the mic for one second more.
  2742. 1:42:38So, thank you so much for taking the
  2743. 1:42:39time. This was
  2744. 1:42:40>> You're a good man, Grant.

About this transcript

This page contains the full transcript of Steven Strogatz on the Humanity of Math by Grant Sanderson, generated from the public captions YouTube serves with the video. The transcript has 18,667 words across 2,744 segments, with the original timestamps preserved so you can click any line to jump to that moment in the embedded player.

What you can do with it

Use the transcript to take notes, quote the speaker, build a study guide, generate a summary with ChatGPT or Claude via the YouTube Summary tool, or export it as a timed subtitle file with YouTube to SRT. You can also re-open it in the transcriber to translate the transcript into 100+ languages.

Free YouTube transcript tool

YouTube2Text is a free YouTube transcript generator — no signup, no daily limit. Paste any YouTube link and get the full transcript instantly, with timestamps, click-to-jump, translation to 100+ languages, AI prompts for ChatGPT, Claude, and Gemini, and exports to TXT, SRT, VTT, or Markdown.