Main

Grant Sanderson (3Blue1Brown) - Past, Present, & Future of Mathematics

I had a lot of fun chatting with Grant Sanderson (who runs the excellent 3Blue1Brown YouTube channel) about: - Whether advanced math requires AGI - What careers should mathematically talented students pursue - Why Grant plans on doing a stint as a high school teacher - Tips for self teaching - Does Godel’s incompleteness theorem actually matter - Why are good explanations so hard to find? - And much more Apple Podcasts: https://podcasts.apple.com/us/podcast/grant-sanderson-3blue1brown-past-present-future-of/id1516093381?i=1000631087010 Spotify: https://open.spotify.com/episode/0u05TKwP8pozY4ojY4e0fH?si=SfRvmI-8R4q-jBPogrpMBw Transcript: https://www.dwarkeshpatel.com/p/grant-sanderson 3Blue1Brown: https://www.youtube.com/@3blue1brown Timestamps: (0:00:00) - Does winning math competitions require AGI? (0:08:24) - Where to allocate mathematical talent? (0:17:34) - Grant’s miracle year (0:26:44) - Prehistoric humans and math (0:33:33) - Why is a lot of math so new? (0:44:44) - Future of education (0:56:28) - Math helped me realize I wasn’t that smart (0:59:25) - Does Godel’s incompleteness theorem matter? (1:05:12) - How Grant makes videos (1:10:13) - Grant’s math exposition competition (1:20:44) - Self teaching

Dwarkesh Patel

5 months ago

Today I have the pleasure of interviewing  Grant Sanderson of the YouTube channel, [3blue1brown](https://www.youtube.com/c/3blue1brown).  You all know who Grant is and I'm really excited about this one. By the time that an AI model can get gold in the  International Math Olympiad, is that just AGI? Given the amount of creative problem solving  and chain of thought required to do that. To be honest, I have no idea what people mean when they use the word AGI. I think if you ask  10 different peopl
e what they mean by it, you're going to get 10 slightly different  answers. And it seems like what people want to get at is a discrete change that I don't  think actually exists. Where you've got, AIs up to a certain point are not AGI.  They might be really smart, but it's not AGI. And then after some point, that's the  benchmark where now it's generally intelligent. The reason that world model doesn't really  fit is it feels a lot more continuous where GPT-4 feels general in the sense that you
have  one training algorithm that applies to a very, very large set of different kinds of tasks  that someone might want to be able to do. And that's cool. That's an invention that  people in the sixties might not have expected to be true for the nature of how  artificial intelligence can be programmed. So it's generally intelligent,  but maybe what people mean by “Oh, it's not AGI.” is you've got certain  benchmarks where it's better than most people at some things, but it's not  better at most
people than others. At this point, it's better than most people at  math. It's better than most people at solving AMC problems and IMO problems. It’s just not  better than the best. And so maybe at the point when it's getting gold in the IMO, that's a sign  that, “Okay, it's as good as the best.” And we've ticked off another domain, but I don't know, is  what you mean by AGI that you've enumerated all the possible domains that something could be good  at and now it's better than humans at all o
f them? Or enough that it could take over  a substantial fraction of human jobs. It’s impressive right now but it's not  going to be even 1% of GDP. But in my mind, if it's getting gold in IMO, having seen  some of those problems from your channel, I'm thinking “Wow, that's really coming  after podcasters and video animators.” I don't know. That feels orthogonal because  getting a gold in the IMO feels a lot more like being really, really good at Go or Chess.  Those feel analogous. It's super cr
eative. I don't know chess as well as the people who are  into it, but everything that I hear from them, the sort of moves that are made and  choices have all of the air of creativity. I think as soon as they started generating  artwork, then everyone else could appreciate, “Oh, there's something that deserves  to be called creative here.” I don't know how it would look when people get  them to be getting golds at the IMO but I imagine it's something that looks a little bit like  how AlphaGo is
trained, where you have it play with itself a whole bunch. Math lends itself  to synthetic data in the ways that a lot of other domains don't. You could have it produce a lot  of proofs in a proof checking language like Lean, for example, and just train on a whole bunch  of those. And ask, is this a valid proof? Is this not a valid proof? And then counterbalance  that with English written versions of something. I imagine what it looks like once you get  something that is solving these IMO level
things, is one of two things. Either it writes  a very good proof that you feel is unmotivated, because anyone who reads math papers has this  feeling that there are two types. There are the ones where you morally understand why the result  should be true and then there are the ones where you're like, “I can follow the steps. Why would  you have come up with that? I don't know. But I guess that shows that the result is true.” And  you're left wanting something a little bit more. And so you could
imagine if it produces that to  get a gold in the IMO, is that the same kind of ability as what is required to replace jobs?  Not really. The impediments between where it is now and replacing jobs feels like a whole  different set of things like having a context window that is longer than some small thing  such that you can make connections over long periods of time and build relationships and  understand where someone's coming from and the actual problem solving part of it. It's  a sign that i
t would be a more helpful tool, but in the same way that Mathematica can help  you solve math problems much more effectively. Tell me why I should be less amazed by  it or maybe put it in a different context but the reason I would be very impressed  is… With chess, obviously this is not all the chess programs are doing, but there's a  level of research you can do to narrow down the possibilities. And more importantly,  in the math example, it seems that with some of the examples you've listed on
your  channel, the ability to solve the problem is so dependent on coming up with the right  abstraction to think about it, coming up with ways of thinking about it that are not evident in  the problem itself or in any other problem in any other test, that seems different from just a chess  game where you don't have to think about what is the largest structure of this chess game in  the same way as you do with the IMO problem. I think you should ask people who know a lot  about Go and Chess and
I'd be curious to hear their opinions on it because I  imagine what they would say is, if you're going to be as good at Go as  AlphaGo is you’re also not doing tree search, at least exclusively. It's not dependent on that,  because you get this combinatorial explosion, which is why people thought that game would  be so much harder for so much longer. There sort of has to be something like a higher  level structure in their understanding. Don't get me wrong, I anticipate  being very impressed wh
en you get AIs that can solve these IMO problems, because  you're absolutely right, there's a level of creativity involved. The only claim I'm making is  that being able to do that feels distinct from the impediments between where we are now and the AIs  take over all of our jobs or something. It seems like it's going to be another one of those  boxes that's this historic moment analogous to chess and Go, more so than it's going to  be analogous to the Industrial Revolution. I'm surprised you wo
uldn't be more compelled. I am compelled. Or you just don't think that skill  of — this problem is isomorphic to this completely different way of thinking  about what's happening in the situation and here's me going through the 50 steps to  put all that together into this one proof. I'm surprised you don't think that's  upstream of a lot of valuable tasks. I think it's a similar level  of how impressed I was with the stable diffusion type stuff, where you  ask for a landscape of beautiful mounta
ins, but made out of quartz and gemstones.  And it gives you this thing which has all of the essence of a landscape, but it's not  literally a landscape. And so you realize that there's something beyond the literal that's  understood here. That's very impressive. In the same way, to solve one of these math  problems that requires creativity you can't just go from the definitions. You're 100% right.  You need this element of lateral thinking, which is why we find so much joy in finding the  solut
ions ourselves or even just seeing other people get those solutions. It's exactly  the kind of joy that you get out of good artistic analogies and comparisons and mixing  and matching. I'm very impressed by all of that. I think it's in the same category. And maybe I don't have the same opinions as a lot  of other people with this hard line between pre-AGI and post-AGI. I just don't know what  they mean by the word AGI. I don't think that you're going to have something that's this  measurable dis
crete step, much less that a math tournament is going to be an example  of what that discrete step would look like. Interesting. Applied mathematicians. Where do we  put them in society where they can have the biggest benefit? A lot of  them go into computer science and IT and I'm sure there's been lots of benefits  there. Where are there parts of society where you can just have a whole bunch of mathematicians  go in and they can make things a lot better? Transportation or logistics or manufactu
ring?  But where else do you think they might be useful? That's such a good question. In some ways,  I'm like the worst person to ask about that. [Laughter] This isn't going to answer your question, but instead is going to fan the flames  of why I feel it's an important question. I have actually been thinking recently about if  it's worth making an out-of-typical video that's specifically addressed at inspiring people to  ask that, especially students who are graduating. Because I think this thi
ng happens when you fall  in love with math or some sort of technical field, by default in school, you study that. And when  you're studying that, effectively you're going through an apprenticeship to be an expert in  that or a researcher in that. The structure of studying physics in a university or math in  a university, even though they know that not all majors are going to go into the field. The  people that you're gaining mentorship from are academics and our research is in the field.  So it
’s hard not to be apprenticing in that. And I also have noticed that when I  go and give talks at universities or things like this and students come  up after and they're saying hi, there's a lot of them like, “Grant, the  videos were really inspiring. You're the reason that I studied math. You're  the reason I’m going into grad school.” And there's this little bell in the back of my  mind that's like, “Cool, cool. I'm amazed. I don't know if I believe that I was wholly responsible  for it, but
it’s cool to have that impact.” But … do I want that? [Laughter] Is this a good thing to get more people  going into math PhDs? On the one hand, I unequivocally want more people to self identify  as liking math. That's very good. But those who are doing that necessarily get shuffled into  the traditional outlets like math academia. I think you highlighted it very right. Math  academia, finance and computer science, data science, something in there in general are  very common things to go to. And
as a result, they almost certainly have  an over allocation of talent. All three of those are valuable, right? I'm  not saying those are not valuable things to go into. But if you were playing God and shifting  around, where do you want people to go? Again, I'm not answering your question. I'm just asking  it in other words because I don't really know. I think you should probably talk  to the people who made that shift of which there aren't a huge number, but [Eric  Lander](https://en.wikipedia
.org/wiki/Eric_Lander) is maybe one good example. [Jim Simons](https://en.wikipedia.org/wiki/Jim_Simons_(mathematician))  would maybe be another as people who were doing a very purely academic thing and  then decided to shift to something very different. Now I have sort of had this thought that it's  very beneficial to insert some forcing function that gets the pure mathematicians to spend some  of their time in a non pure math setting. NSF grants coming with a requirement that 10% of your  time
goes towards a collaboration with another department or something like that. The thought  being these are really good problem solvers in a specific category of problems and to just  distribute that talent elsewhere might be helpful. When I run this by mathematicians, sometimes  there's a mixed response where they're like, “I don't know if we'd be all that useful.”  There's a sense that the aesthetic of what constitutes a good math problem is by its nature  rooted in the purity of it such that i
t's maybe a little elitist to assume that just because  people are really, really good at solving that kind of problem that somehow their abilities are  more generalizable than other people's abilities. Why ask about the applied mathematicians  rather than saying shouldn't the applied biologists go and work in logistics and  things like that because they also have a set of problem solving abilities  that are maybe generalizable. In the back of my mind I think “No, but the  mathematicians are spe
cial. There really is something general about math.” So I don't have  the answers. I will say I'm actually very curious to hear from people for what they think the  right answers are or from people who made that switch. Let's say they were a math major or  something adjacent like computer science physics. And then they decided that they wanted to pour  themselves into something not because that was the academic itch that they were scratching by  being good at school and getting to appreciate tha
t. But because they stepped back and said  what impact do I want to make on the world? I'm hungry for more of those stories because  I think it could be very compelling to convey those specifically to my audience who is probably  on track to go into just the traditional math type fields and maybe there's room to have a little bit  of influence to disperse them more effectively. But I don't know. I don't know what  more effectively looks like because at the end of the day I'm like I'm  a Math You
Tuber. I'm not someone who has a career in logistics or manufacturing or  all of these things in such a way that I can have an in tune feel for where there is a need for  this specific kind of abstract problem solving. It might be useful to speculate on how an  undergrad or somebody who is a young math whiz might even begin to contemplate  — here's where I can have an edge. I'm actually remembering a  former podcast guest [Lars Doucet](https://www.dwarkeshpatel.com/p/lars-doucet),  he was a game
designer and he started learning about Georgism which is this  idea that you should tax land and only land. And so he got really interested in not only  writing about those ideas but also with — well, if you're going to tax land you have to figure  out what the value of land is. How do you figure out the value of land? There's all these  algorithms of how you do this optimally based on neighboring land and how to average across  land. And there's a lot of intricacies there. He now has a startup
where he just contracts  with cities to implement these algorithms to help them assess the value of their  land which makes property taxes much more feasible. That's another example where  the motivation was more philosophical but his specialty as a technical person  helped him make a contribution there. I think that's perfect. Probably the true  answer is that you're not going to give a universal thing. For any individual is going  to be based on where their life circumstances connect them int
o something either because  he had an interest in Georgism for whatever reason. But if someone I don't know their dad  runs a paper mill and they're connected to the family business in that way and realize they can  plug themselves in a little bit more efficiently. You're going to have this wide diversity of  the ways that people are applying themselves that does not take the form of general advice  given from some podcast somewhere but instead takes the form of simply inviting people to  think
critically about the question rather than following the momentum of what being  good at school implies about your future. We were talking about this before the interview  started but we have a much better grasp on reality based on our mathematical tools.  I'm not talking about anything advanced. Literally being able to count in the decimal  system that even the Romans didn't have. How likely do you think it is that something  that significant would be enjoyed by our descendants in hundreds of th
ousands of  years or do you think that that kind of basic numeracy level stuff those kinds  of thinking tools are basically all gone? Just so I understand the question right, you're  talking about how having a system for numbers changes the way that we think that then  lends itself to a better understanding of the world like we can do  commerce, things like that. Or we can think in terms of orders of magnitude  that would have been hard to think about. We have the word “orders of magnitude” in a
way  that is hard to write down, much less think about if you're doing Roman numerals. Is there  something analogous to that for our descendents? Fluency with a programming interface really  can help with understanding certain problems. I think when people mess around in a notebook  with something and it feels like a really good tool set. There's a way that has the same  sensation as adopting a nice notation in that you write something with a small  number of symbols but then you discover a lot
about the implication of that. In the  case of notation, it's because the rules of algebra are very constrained and so when you write  something you can go through an almost game-like process to see how it reduces and expands and  then see something that might be non-trivial. And in the case of programming, of course the  machine is doing the crunching and you might get a plot that reveals some extra data. I think we're  maybe at a phase where there's room for that to become a much more fluid p
rocess such that rather  than having these small little bits of friction like you've got to set up the environment,  and you got to link it in the notebook, you've got to find the right libraries, that there's  something that feels as fluid as when you are good at algebra and you're just at a  whiteboard kind of noodling it out. I think there's something to be said for the fact  that there's still so much more value in paper. if you and I were going to go into some math  topic right now. Let’s s
ay you ask me something that's a terrible question for a podcast but I'm  like “Oh. Let's actually dig into it.” The right medium to do that is still paper. I think I would  break out some paper and we would scribble it out. Whenever it becomes the case that  the right medium to do that lends itself to simulation and to programming  and all that, that feels like it would get to the point where it shifts the  way that you even think about stuff. What's up with [miracle years](https://www.dwarkesh
patel.com/p/annus-mirabilis)? This is something that has happened throughout  science and especially with mathematicians, where they have a single year in  which they make up many, if not most, of the important discoveries that they  have in their career. Newton, Einstein, Gauss they all had these years. Do you  have some explanation of what's going on? What's your take? I think there's a bunch of possible  explanations. It can't just be youth because youth lasts 10 years not one year  so it mus
t have something to do with.. Every 35 year old right now is  like, “How dare you.” [Laughter] You know what I mean. Maybe 20 years.  So yeah, it can't just be that. I don't know there's a bunch of possible  things you could say. One is you're in a situation in life where you have nothing else  going for you or you're just really free for that one year and then you become successful  after that year is over based on what you did. But what is your take? I don't know. I agree that's probably multi
ple  factors, not one. One thing could be that the miracle year is like the exhalation and  there's been many, many years of inhalation. The classic one is Einstein's where his  miracle year were also some of the first papers springing onto the scene, and I would  guess that a lot of the ideas were not bumping around his head only in that year but it's many  many years of thinking about it and coalescing. And so you might be in a position where you can  build up all of this potential energy and
then for whatever reason there's one time in life that  lends itself to actually releasing all of that. If I try to reflect on my own history with what  I'm doing now I think I didn't appreciate early on how much potential energy I had simply from  being a student in college where there's just a bunch of ways of thinking about things, or empathy  with new learners, or just cool concepts right? The basic concept behind a video that in fact  it was many many years of like all of my time having lea
rned math before I started putting  out stuff online that I was able to eat into. The well never runs dry there's always  a long list of things that I want to cover but in some sense like I recognize  that the well was at risk of running dry in a way that I never thought that it could  and without being a little deliberate about devoting some of my day not just of output and  producing but to stepping back and like learning new things and touching something I never  would have that doesn't happe
n by default. I don't know if this is all also the case  for the people who have had genuine miracle years where they were like letting  out all of this stuff and then it takes a decade to build up that  same level of potential energy. The other thing is you have everything  to gain and nothing to lose when you are young. So even if it's not merely youth,  there's a willingness to be creative and there's also none of the obligations that  come from having found success before. There's certain ac
ademics who made an extremely  deliberate effort not to let the curse of success happen or there's some term for it but I  think maybe James Watson had this standard reply to invitations for you know talks and interviews  and things like that. It was basically like, “No to everyone because I just want to be  a scientist.” It was much more articulate than that and he has all these nine  points but that was the gist of it. Short of doing that I think it's very  easy for someone to have a lot of ot
her things that eat into their mind share  and time and all of that such that even if it's just 20 hours a week, that  really interrupts a creative flow. Were you a student when you started the channel? Technically, yeah. The [very first video](https://www.youtube.com/watch?v=F_0yfvm0UoU)  was made when I was a senior at Stanford. Basically I had been toying around with  just a personal programming project in my last year of college that was the beginnings  of what is now the animation tool I wo
rk with. I didn't intend for it to be a thing that I would  use as a math YouTuber. I didn't even really know what a YouTuber was. It was really just like a  personal project. It was March of that year that I think that I published the first ever video.  It was kind of right at that transition point. Would you have done it if you  had become a data scientist? Data scientist and Math PhD were the  two like 50-50 contenders basically. Is there a role in which you started  doing that but then later
on made [Manim](https://github.com/3b1b/manim) or  do you think that that was only possible in a world where you had some  time to kill in your senior year? If the goal was to make Math YouTube videos it  would have been a wild thing to do it by making [Manim](https://github.com/3b1b/manim)  as the method for it because it's so strikingly inefficient to do it that way. At the very least I probably would have built  on top of an existing framework. There's so many things that I would tell my pas
t self  if I could go back in time even if the goal was to make that. Certain design decisions that  caused pain that could have been fixed earlier on. But if the goal was to make videos, there's  just so many good tools for making videos I probably would have started with those or if  I wanted to script things, maybe I would have first learned After Effects really effectively  and then learn the scripting languages around after effects that might have even been  better for all I know. I really
don't know. I just kind of walked into it because the  initial project was to make something that could illustrate certain ideas in math  especially when it came to visualizing functions as transformations, mapping inputs  to outputs, as opposed to graphing. The video output was just a way of knowing that I had  completed that personal project in some sense and then it turned out to be fun because  I also really enjoy teaching and tutoring. Then again there's a lot of other people  who make thei
r own tools for math GIFs and little illustrations and things which  on the one hand feels very inefficient If people come across a math GIF on Wikipedia  there's a very high probability it comes from this one individual who is just strangely  prolific at producing these like Creative Commons visuals and he has his own like  home baked thing for how he does it. And then there's someone I came across on Twitter  [Matt Henderson](https://www.matthen.com/) who has these completely beautiful math GI
Fs  and such and again it's a very home baked thing. It is built on top of shaders  but he kind of has his own stuff there. Maybe there's something to be said for the level  of ownership that you feel once it is your own thing that just unlocks a sense of creativity and  feeling like, “Hey. I can just describe whatever I want because if I can't already do it I'll just  change the tool to make it able to do that”. For all I know, that level of creative  freedom is necessary to take on a wide vari
ety of topics but your guess is as  good as mine for those counterfactuals. This is personally interesting to me because  I also started the podcast in college and it was just off track of anything I was planning on  doing otherwise. And this is many, many orders of magnitude away from 3Blue1Brown I don't want  the audience to you know cringe in unison, but I just think it's interesting like  these kinds of projects how often something later on ends up being  successful is something that was sta
rted almost on a whim as a  hobby when you're in college. I will say there's a benefit to starting it in a  way that is low stakes. You're not banking on it growing. I had no anticipation of much less an  expectation of 3Blue1Brown growing. I think the reason I kind of kept doing it was, in the fork  of life where I did the Math PhD and all that, I thought it might be a good idea  to have a little bit of a footprint on the internet for Math exposition. I  was thinking of it as a very niche thing
that maybe some math students and some  people who are into math would like, but I could sort of show the stuff as a portfolio,  not as an audience size that was meaningful. I was surprised by what an appetite there was for  the kind of things that I was making and in some ways maybe that's helpful because I see a lot  of people who jump in with the goal of being a Youtuber. I think it's the most common at desired  job among the youth is to be like a tiktoker or a Youtuber, which think of that
what you will, but  when you jump in with that as a goal you kind of aim for too large an audience and end up making  the content which is best for no one because one, you're probably not that good at making videos  yet and if it’s a generally applicable idea, you're competing with like all of  the other communicators out there. Whereas, if you do something that's almost  unreasonably niche and also you're not expecting it to blow up it's like one  you're not going to be disappointed, it's like
outstanding when a thousand people view  it as opposed to being disappointing and then two, you might be making something that is the best  possible version of that content for the audience who watches it because no one else is making  that for them because it's too narrow a target. The beauty of the internet is that there's  an incentive to do that and I don't know if this is the case with your podcast when you're  starting out, but not thinking about how can I make this as big as possible actu
ally made it  more in depth for those who were listening to it. Is it surprising to you that prehistoric  humans don't seem to have had just basic arithmetic and numeracy? To us  with the modern understanding that kind of stuff seems so universally useful and so  fundamental that it's shocking that it just doesn't come about naturally in the course of  interacting with the world. Is that surprising? You're right that it's so in our bones that  it's hard to empathize with not having numeracy. If
you think, “Okay. What's the first place  that most people think about numbers in their daily lives?” It's linked to commerce and money.  Maybe in some ways the question is the same as, is it surprising that early humanity didn't  have commerce or didn't deal with money? Maybe when you're below Dunbar's  number in your communities, a tit for tat structure just makes  a lot more sense and actually works well and it would just be obnoxious  to actually account for everything. Have you come across
those studies where  anthropologists interview tribes of people that are removed enough from normal society  that they don't have the level of numeracy that you or I do? But there's some notion of  counting. You have one coconut or nine coconuts like you have a sense of that. But if you ask  what number is halfway between one and nine, those groups will answer three whereas  you or I or people in our world would probably answer five and because  we think on this very linear scale. It's interesti
ng that evidently the natural  way to think about things is logarithmically, which kind of makes sense. The social dynamics of  as you go from solitude to a group of 10 people to a group of 100 people have roughly equal  steps in increasing complexity more so than if you go from 1 to 51 to 102 and I wonder if  it's it's the case that by adding numeracy in some senses we've also like lost some numeracy or  lost some intuition in others, where now if you ask middle school teachers what's a difficu
lt  topic to teacher for students to understand they're like logarithms. But that should be deep  in our bones right so somehow it got unlearned and maybe it's in the formal sense that it's  harder to relearn it, but there's maybe a sense of like numeracy and a sense of quantitative  thinking that humans naturally do have that is hard to appreciate when it's not expressed  in the same language or in the same ways. Yeah, I have seen the thing from [Joseph Henrich](https://heb.fas.harvard.edu/peop
le/joseph-henrich) where there's still existing tribes where  they're in this kind of situation. They can do numeracy and arithmetic when it's  in very concrete terms, if you're talking about seeds or something but that the abstract  concept of a number is not available to them. Do you think the abstract concept  of a number is useful to your life? Oh yeah. In what ways? It's almost like asking — how is the  concept of the alphabet useful? It comes up so often. For example, how many  lights do I
set up for this interview? Is that the concept of an abstract number  though? Because it's like two people, two lights. One to one correspondence. Did you leverage the abstraction of two as  an object which is simultaneously a rational and a real and an integer. Is in the  context of a group that has additive structure but also multiplicative. It was  just there's light for you light for me. I'm pretty sure the abstract idea of a number is  important for all of us but I don't think it's immedia
tely obvious. It's more  that it shapes the way we think, I'm not sure if it actually  changes the way we live. Assuming you don't work in STEM right where  you literally are using it all the time. Yeah, I'm trying to go through my day and  think through where am I using them? There's the obvious stuff like the commerce examples  you mentioned where you go to a restaurant and you're figuring out what to pay or what to  tip but that seems a very particular example. Do I really use numbers that  i
nfrequently? I don't know. Many people listening are probably screaming out  of their head with much more apt examples but it's hard to say. When a mathematician is working on a  problem, what is the biggest mental constraint? Is it the working memory?  Is it the processing speed? Plants are limited by nitrogen usually, what is the  equivalent of nitrogen for a mathematician? That's a fun question. I'm not a research  mathematician, I shouldn't pretend like I am. The right people to ask that que
stion  would be the research mathematicians. I wonder if you're going to get consistent answers  as with so many things there's not one answer. Maybe it’s the number of available analogies to  be able to draw connections? The more exposure you've had to disparate fields such that you  could maybe see that a problem-solving approach that was used here might be useful here.  Sometimes that's literally codified in the forms of connections between different fields,  as functors between categories or
something. But sometimes it's a lot more intuitive. Someone's  doing a combinatorics type question and they're like, “Oh. Maybe generating functions are a  useful tool to bring to bear.” and then in some completely different context of studying  prime numbers they're like, “Oh. Maybe it could take a generating function type approach.  Maybe you have to massage it to make it work. One of the reasons I say this is that one of  the tendencies that you've seen in math papers in the last 200 years i
s that the typical number  of authors is much bigger now than before. I think people have this misconception that math is a  field with lone geniuses who are coming up with great insights alone next to a blackboard. The  reality is that it's a highly collaborative field. I remember one of the first times that I was  hearing from a mathematician, I was a young kid and was in this math circles event and someone  was asking this person, "What surprised you about your job?” The first thing he said w
as how much  travel was involved. He wasn't expecting that. And it's because you know if you're  studying some very specific niche field, the way that you make progress in that  is by collaborating with other people in that field or maybe adjacent to that  field and there's only so many that they probably aren't at your university.  So you travel a lot to work with them. These days a lot of that I think happens on  Zoom but conferences are still super important and these sorts of events that bri
ng people all  under one roof like MSRI, is maybe an example of a place that's trying to do that systematically.  You could say that's a social thing but I think it's maybe hitting on this idea that what you  want is exposure to as many available analogies. So the short answer to your question, what is  nitrogen for mathematicians, is the analogy. This actually is an interesting question I wasn't  planning on asking you but it just occurred to me. Is it surprising how new a lot of mathematics  i
s? Even mathematics that is taught at the high school level. Whereas with physics or  biology, that's also new but you can tell a story where we didn't have the tools to look  at the cell or to inspect an electron until very recently but we've had mathematicians  for 2000-3000 years, who were doing pretty sophisticated things, even the ancient Greeks.  Why is linear algebra so new given that fact? I wouldn't have thought of math as being  new in that way, especially at the high school level. I r
emember there's always  a sensation that it's frustrating that all of the things are actually way more  than a hundred years old, in terms of the names attached to the theorems that you're  doing, none of them are remotely modern. Whereas in biology, the understanding we have  for how proteins are formed is relatively much more modern and you might be just a couple  generations away. To some extent there's a raw manpower component to it. How many people did pure  math for most of history? For mo
st of history, no one. No one was a pure mathematician. They were  a mathematician plus something else or they were a physicist or they were a natural philosopher.  And in so far as you're doing natural philosophy, one component of that is developing math  but it's not the full extent of what you do. Even the ones who we think of as like  very, very pure mathematicians in the sense that a lot of their most famous  results are pure math like Gauss, actually a lot his output was also  centered on
very practical problems, Maybe since then is when you start to get an  era of something more like pure mathematicians. The raw number available that you have the man  hours that are being put into developing new theorems, is probably just got this huge spike as  the population grows and then also the percentage of the population that has the economic freedom  to do something as indulgent as academia grows. Maybe it's pretty reasonable that most of it is  much, much more recent. That would be my
guess. Some of these things seem actually pretty modern  like information theory. It is less than 100 years old and is pretty fundamental. Theoretically, you  could have written that paper a long time ago. That's a really good example and maybe this  is a sign that the math that's developed is more in the service of the world that  you live in and the adjacent problems that it's used to solve than we typically  think of it. On the one hand information theory sets a good example because it's so 
pure that you could have asked the question, you could have defined the notion of a bit,  but evidently there wasn't a strong enough need to think in that way. Whereas when you're  doing error correction or you're thinking about actual information channels over a wire and  you're at Bell Labs, that's what prompts it. Another maybe really good example for that would be Chaos theory. You could easily  ask why is Chaos theory so recent? You could have written the Lorenz equations since  differentia
l equations existed. Why didn't anyone do that and understand that there was this  sort of sensitivity to initial conditions? In that case it would maybe be the opposite,  where it's not that you need the existence of computers as a problem to solve or the  problems that they introduce are the problems to solve but instead you need them to even  discover the phenomenon in the first place. A lot of original concepts in chaos theory came  from basically running simulations or doing things that req
uired a massive amount of computation  that simply wouldn't be done by hand. Someone could ask the question but they wouldn't have  observed the unexpected phenomenon and there, even if it's questions that are as relevant to  a pre-computer world as to a post-computer world like the nature of weather modeling, or just  the nature of three-body problem, all of that kind of stuff, somehow without the right tools  for thought it just didn't come into the mind. So yeah maybe there's other things lik
e that where  those questions or pieces of technology that start to fundamentally shape everyone's life will then  invariably also shift the mathematician's focus. This actually reminds me of the first day of Scott  Aaronson’s quantum information class. He said, “What I'm about to describe to you could  have been discovered by a mathematician before quantum physics existed. If only they  had asked the question of we're going to do probabilities but we're only allowed  to use unitaries.” They cou
ld have just discovered quantum mechanics  or quantum information from there. The thing about math, especially if you're  talking about pure axiomatized math, the experience as an undergrad is that  you are going through a textbook and it starts with saying here's the axioms  of this field and then we're going to deduce from those axioms various different  lemmas and theorems and proceed from that. With that as the framing you get the  impression that you could have just come up with any axioms.
Just  make up some pile of axioms, deduce what follows from them and the space  of possible math is unfathomably huge. So you need some process that culls down what  are the useful things to maybe pursue. So one of the things that I think is all too  often missing in those pure math textbooks is the motivating problem. Why is it that  this was the set of axioms people found to be useful and not something else? The  framework for quantum information theory, you married together linear linear alg
ebra and  probability that's great, but there's all sorts of other things where you could kind of try to cram  them together and maybe get some sort of math out. The question becomes is it  worth your time to do that? Knot theory is something that emerged because  Lord Kelvin had a theory that all of the elements on the periodic table had structures  which were related to a knot. A knot being if you have a closed loop in 3D space but if you  wanted to continuously deform it without it ever cross
ing itself, you ask the question  Could you get back to say an open loop? Or if you can't get back to an open loop, what  are the set of all other loops in 3d space that could be deformed into that? And you end up  categorizing what all the different knots are. This was started with a completely incorrect  theory for what's going on at the atomic level that gives atoms this very stable structure  because I think he found with smoke rings like if you're somehow very dexterous, you  can get them t
o form knots in 3D and they're very stable. In that it'll never cross over  itself. So it has all those properties now that was irrelevant for understanding the  periodic table but it was an interesting mathematical question and people kind of ran  with it and in that case it was an arbitrary reason that someone thought to ask the question  and then some people ran with it and frankly it's probably fewer people who run with it than would  if it turned out to be a more useful question. So really,
you want to ask what are the  things that prompt people to ask what turns out to be a mathematical question given  that the space of what would be mathematical questions is so unfathomably huge that it's just  impossible to explore it through a random walk. Wait, are you saying that Lord  Kelvin's apple story was that he was smoking a lot of pipe and he  categorized his puffs. [Laughter] You and other creators have changed how pedagogy  happens via animated videos. What would it take to do some
thing similar for video games, text,  and all these other mediums? Why hasn't there been a similar sort of broad-scale adoption and  transformation of how teaching happens there? I'm not sure I understand the question.  You're saying where there's been a rise of explanatory videos, why is there not a  similar rise in pedagogical video games? I don't play enough games so I can't really  speak to it in the way that well-versed game designers can but one thing to understand is that  games are very
hard to make. It takes a lot of resources for a given game and whenever people  seem to try to do it with pedagogy as a motive it seems to be the case that they are not fun  in the way that people would want them to be fun and then the ones that are actually most  effective are not as directly educational. The one game that I actually have played  because enough of my friends told me hey you should really do this it seems relevant to  Math explanation in the last like decade was [The Witness](ht
tps://store.steampowered.com/app/210970/The_Witness/).  Have you played it? I've heard about it. As someone who doesn't play games and then  did play it, it's fantastic. It's absolutely well done in every possible way that you  could want something to be well done. Critical on that is the nature  of how problems are solved. The reason people are recommending  it to me is because the feeling of playing the witness is a lot like the  feeling of doing math. It's non-verbal, you come across these li
ttle puzzles where the  simple mechanics of one puzzle inform you about the fundamental mechanics that become relevant  to much much harder ones such that if you do it with the right sequence you have the feeling of  epiphany in ways that are very self-satisfying. You come away feeling like you should be able  to do something like this for math and maybe you can. It's just that it's so hard to make  a game at all that there's just not the rate of production that you would need to explore to  get
enough games out there that one of them hits. There's a lot of math videos on YouTube. It's okay  that most of them suck. It's okay because you just need enough that when someone searches for the  term that they want they get one that is good and scratches that itch. Or that you know they  might get recommended something that is bringing a question to their mind that they wouldn't have  thought about but they become really interested once it's there. Whereas with video games, you're  also spend
ing a lot more time as a user on each one. Rather than a five minute average experience  it's a many, many hour average experience. You ask the same question on text. I don't know  if I accept the premise that there's not the same advances and innovation in the world of textual  explanations. [Mathagon](https://mathigon.org/) is a really, really good example of this.  It’s like the textbook of the future. It's basically an interactive textbook. The  explanations are really good. In so far as it
doesn't have more of an impact or more of a reach  it's maybe just because people don't know about it or don't have an easy means of accessing something  that recommends to them like the really good innovations happening in the world of textual  explanations in the way that youtube has this recommending engine that tries its hardest to  get more of these things in front of people. In the world of actual written textbooks,  there's so many that I like so much that I think it would be a disservice
to talk  about that medium as not making advances in terms of more and more thought put towards  empathy to the learner and things like that. Should the top 0.1% of educators  exclusively be on the internet because it seems like a waste if you were  just a college professor or a high school professor and you were teaching 50 kids a  year or something. Given the greater scale available should more of them be trying  to see if they can reach more people? I think it's not a bad thing for more  edu
cators who are good at what they're doing to put their stuff online for  sure. I highly encourage that even if it's as simple as getting someone to put  a camera in the back of the classroom. I don't think it would be a good idea to  get those people out of the classroom. If anything I think one of the best things  that I could do for my career would be to put myself into more classrooms. Actually  I'm quite determined at some point to be a high school math teacher for some number  of years. The
re's such an opportunity cost that it’s probably something I would plan  on notably later as long as there's not other life logistics that occupy a  lot of mind share because everything I know about high school teaching is like it  just kicks your ass for the first two years. One of the most valuable things that you  can have if you're trying to explain stuff online is a sense of empathy for what possible  viewers that are out there. The more distance that you put between yourself and them in te
rms  of life circumstances. I'm not a college student so I don't have the same empathy with college  students. Certainly not a high school student, so I've lost that empathy. That distance just  makes it more and more of an uphill battle to make the content good for them and I think keeping  people in regular touch with just what people in the classroom actively need is necessary for  them to remain as good and as sharp as they are. So yes, get more of those top 0.1% to put  their stuff online b
ut I would absolutely disagree with the idea of taking them out  of their existing circumstances. Maybe for a year or two so they don't lose that  sharpness but then put them right back in because it makes them better  at the online exposition. The other thing I might disagree with is  the idea that the reach is lower. Yes, it's a smaller number of people  but you're with them for much, much more time and you actually have the  chance of influencing their trajectory through a social connection i
n a way  that you just don't over Youtube. You're using the word education in a way that  I would maybe sub out for the word explanation. You want explanations to be online but the word  education derives from the same root as the word educe, to bring out, and I really like that as  a bit of etymology because it reminds you that the job of an educator is not to like take their  knowledge and shove it into the heads of someone else the job is to bring it out. That's very,  very hard to do in a vi
deo and in fact even if you can kind of get at it by asking intriguing  questions for the most part the video is there to answer something once someone has a question. The teacher's job, or the educator's job,  should be to provide the environment such that you're bringing out from your  students as much as you can through inspiration through projects through little  bits of mentorship and encouragement along the way that requires you know eye contact  and being there in person and being the tru
e figure in their life rather than  just an abstract voice behind a screen. Then should we think of educators  more as motivational speakers? As in the actual job of getting the content  in your head is maybe for the textbooks or for Youtube but why we have college  classes or high school classes is that we have somebody who approximates Tony  Robbins to get you to do the thing. That would be a subset of it but there's more  than just motivational speech that goes into it. There's um facilitatio
n of projects or  even coming up with what the projects are or recognizing what a student is interested  in so that you can try to tailor a question to their specific set of interests  or you can maybe act as the curator. Where, “Hey, there's a lot of online explanations  for what a Poisson distribution is. Which of these is the right one that I could serve?” and  based on knowing you as a particular student what might resonate. You might be in a  better position to do that. All of that goes bey
ond being a Tony Robbins saying, “Be the  best person that you can be.” and all of that. One thing I might say is that anytime  that I'll chat with mathematicians and try to get a sense for how they got  into it and what got them started, so often they start by saying there was this  one teacher and that teacher did something very small — like they pulled them aside and  just said, “Hey. You're really good at this. Have you considered studying more?” or  they give them an interesting problem. An
d the thing that takes at most 30 minutes  of the teacher's time, maybe even 30 seconds, has these completely monumental rippling  effects for the life of the student they were talking to that then sets them  on this whole different trajectory. Two examples of this come to mind. One  is this woman who was saying she had this moment when she got pulled aside by the teacher  and he just said, “Hey, I think you're really good at math. You should consider being a math  major.” which had been complet
ely outside of her purview at that time. That changed the way she  thought about it. And then later she said she learned that he did that for a large number of  people. He just pulled them and was like, “Hey, you're really good at math.” So  that's a level of impact that you can have as a figure in their lives  in a way that you can't over screen. Another one which was very funny. I was asking  this guy why he went into the specific field that he did. It was a seemingly arbitrary thing  in my mi
nd but I guess all pure math seems to be. He said that in his first year of grad school  he was sitting in this seminar and at the end of the seminar the professor, who was this old  professor who he had never met him before, they didn't have any kind of connection. He  seeks this guy out and comes up and he says, “You. I have a problem for you. A good  research problem that I think I think might be a good place for you to start in the next couple  months” and this guy was like “Oh, okay” and he
gets this research problem and he spends some  months thinking about it and he comes back and then it later came to light that  the professor mistook him for someone else that was someone he was supposed to be  mentoring. He was just the stereotypical image of like a doddering old math professor who's not very  in tune with the people in his life that was the actual situation but nevertheless that moment of  accidentally giving someone a problem completely shifted the research path for him, whi
ch if  nothing else, shows you the sensitivity to initial conditions that takes place when you are  a student and how the educator is is right on that nexus of sensitivity who can completely swing  the fences one way or another for what you do. For every one of those stories there's going  to be an unfortunate counter balancing story about people who are demotivated from math.  I think this was seventh grade. There was this math class that I was in and I was  one of the people who was good at ma
th and enjoyed it and would often help the people  in the class understand it. I had enough ego built up to have a strong shell around things.  For context, I also really liked music and there was this concert that had happened where I had a  certain solo or something earlier in that week. There was a substitute teacher one day who didn't  have any of the context and she gave some lesson and had us spend the second half of the class  going over the homework for it. All of the other students in t
he class were very confused  and I think I remember like they would come to me and I would try to offer to help them and the  substitute was going around the class in these circles and basically marking off a little star  for how far down the homework people were just to get a sense are they progressing. That was kind of  her way of measuring how far they were. When she got to me I had done none of them because I was  spending my whole time trying to help all of the others and after having writt
en a little star next  to the same problem like three different times she said to me like, “Sometimes music people just  aren't math people.” and then keeps walking on. I was in the best possible circumstance  to not let that hit hard because one, I had the moral high ground of “Hey, I've just  been helping all these people. I understand it and I've been doing your job for you.” This was  my little egotistical seventh grade brain. I knew that I knew the stuff. Even with all of the  armor that wa
s put up, I remember it was just this shock to my system, she says this thing and  it just made me strangely teary-eyed or something. I can only imagine if you're in a position  where you're not confident in math and the thing that you know deep in your heart is  actually you are kind of struggling with it, just a little throwaway comment  like that could completely derail the whole system in terms of your  relationship with the subject. So it's another example to illustrate the  sensitivity to
initial conditions. I was in a robust position and wasn't as sensitive. I was  gonna love math no matter what but you envision someone who's a little bit more on that teetering  edge and the comment, one way or another, either saying you're good at this you should  consider majoring in it or saying, “Sometimes music people aren't math people” which isn't  even true. That was the other thing about it that niggled at my brain when she said it. All of that is just so important for people's  develop
ment that when people talk about online education as being valuable or revolutionary or  anything like that, there's a part of me that sort of rolls my eyes because it it just doesn't  get at the truth that online explanations have nothing to do with all of that important stuff  that's actually happening and at best it should be like in the service of helping that side  of things where the rubber meets the road. I had [Tyler Cowen on the podcast](https://www.dwarkeshpatel.com/p/tyler-cowen-2)  a
nd he obviously has Marginal Revolution and these youtube videos where he explains economics  and he had a similar answer to give. I asked him, should we think of you as a substitute for  all these economics teachers? And in his mind as well he was more a complement to  the functions that happen in the class. And to your point about the initial conditions,  I'm sure you remember the details of the story but I just vaguely remember hearing this,  wasn't there a case where a mathematician who late
r ended up becoming famous? He arrives  late to a lecture…. Do you want to tell the story I don't remember it beat for beat but I think  it was a statistics class and [he was a grad student](https://en.wikipedia.org/wiki/George_Dantzig)  and he comes in late and there's two problems on the board that the professor  had written. He assumed that those two problems were homework and so he goes  home and works on them and after a couple weeks he goes to the professor's  office and turns in his homew
ork. He's like, “I'm sorry. I'm so late. This one  just took me a lot longer than some of the others.” And the professor's like “Oh,  okay.” and just shuffles it away. Then a couple days later when the prophet had  the time to like go through and see them, he realized that the student had fully answered  these questions, what the student didn't know is that they were not homework problems  written on the chalkboard they were two unsolved problems in the field that the prof put  up as examples of
what the field was striving. I don't remember what problems they were so  that would be more fun color to add to the story but then as the anecdote told to me  however many years ago goes, the prof then finds the students' housing and knocks on the  door “Do you realize that these were actually unsolved problems?” and then he gets to basically  make those his thesis. So yeah, that idea of just being given something for completely random  reasons and it shifts the course of what you do. It's the
thing where if you  know a crossword is solvable, you just keep going at it until you solve it. Or the four-minute mile, right? Exactly. That's a great example. Another valuable experience,  at least one I had, was taking Aaronson’s classes in college  and realizing I am at least two standard deviations below him and that was actually a  really valuable experience for me not because it increased my confidence in I didn't have a  moment where I was like, “Oh wow. I'm good at this” but it was use
ful to know. Podcasting is  an easier thing to do right so then it's good to know that there are actual technical things  out there where knowing that you can get really deep into something and people are just gonna  be way above you having that sort of awareness. Do you think it's fair to have a mental model that  has a static g-factor type quality here such that your two standard deviations below and that is  forever the state of things? Or do you think that the right mental model is something
that  allows for flexibility on where contributions actually come from, or where intuitions come from.  That through many years of experience in certain kinds of problem solving maybe what seemed like  a flash of insight was actually like the residue of just years of thinking about certain kinds  of puzzles that he had, that you maybe didn't. Can I tell you a story from that class actually? Yeah, go for it. He was giving a proof of a very important method  in complexity theory that helped to pr
ove the bounds of the complexity of different problems and  he explains it and he says, “You know, in 1999, I approved this myself but I realized that six  months before somebody had already published a paper with this method and I realized I'm  catching up to the frontier now. But when I was a kid I was doing Euler, that's 2000  years in regress. Now I’m six months behind.” And then so later on in the day I'm like,  “Wait, 1999. How old was Scott Aaronson in 1999?” and I think he was 18 or 19 a
nd he  was basically proving frontier results in complexity theory. At that point you're like,  “All right. Aaronson’s a special animal here.”. You are right. He's probably a special animal. But it’s just broadly good to have  that sort of upper constraint on your Dunning-Kruger that this exists in the world. Maybe the thing that I would want to say is that whatever the scale is on which he's two standard  deviations above you, that might not be the one scale that matters and that contributions
to  these fields don't always look like genius insights and that sometimes there's fruit to be  born from say becoming kind of an expert in two different things and then finding connections  between them. The people who make contributions are not necessarily the Scott Aaronson’s of the  world. Still. You are probably right it is true that there are people like that. Von Neuman’s  another example of one of these, right? How much does Godel’s Incompleteness theorem  practically matter? Is it somet
hing that comes up a lot or is it just an interesting thing to know  about the bounds that isn’t applicable day to day? You've asked me another question where I'm not  the best one to answer and I should throw that as a caveat to begin. From what I  understand, it really doesn't come up. The paradoxical fact that it's conveying, the idea  that you can't have an axiom system that is both that will basically prove all of the  things that are true and which is also self consistent. The contradictio
n that you  construct out of that has the same feeling as the sentence. “This statement is a lie.”  We think about the statement. If it's false, then it must be true. If it's true, it must be  false. It's that same flavor. And you might ask, does the existence of that paradox mean that  it's hard to speak English. [Laughter] It's so rare that you would come up with something that  happens to have a bit of self reference in it. One of the first times that there  was something that came up that di
dn't feel quite as pathological in that way, if the curious listener wants to go into it,  that search term would be [Paris Harrington theorem](https://en.wikipedia.org/wiki/Paris%E2%80%93Harrington_theorem)  . It's a little pathological. wasn't the really  question that came up that didn't seem like it was deliberately constructed to be one of these  self-referential things where, you know, it shows itself to be outside the  bounds of whatever axiom system you were starting with. It was shown t
o  be unresolvable in a certain sense. But it was asking a… I don't want to say  natural because a lot of these math questions aren't natural. It was asking a question  where you wouldn't expect that to be true. So maybe at the edges of theory, there are  sometimes when the paradoxes that are possible, show. The impression I get is that  no mathematician is thinking about it. They're not actively worrying  about it. It’s not like “Oh god, can I be sure that the stuff  that I'm going to show is t
rue.” For all the practical problems like the Riemann  hypothesis or twin primes, almost everyone's like, “No, there's going to be an answer.” It may  be that they turn out to be unresolvable in one of these ways but there's just a strong  sense that that theorem came from a pathology in a way that natural questions that  people actually care about don't. That's really interesting that something  from the outside and in popularizations seems to be a very fundamental thing where  people have defi
nitely heard about this. A good analogy here is the halting  problem in computer science. One of the first things you learn in  a computer science course is the proof of the halting problem and it's  another one of those things where you don't really need to be able to prove that  you have that sort of program available. No more comments. [Laughter] Why are good explanations so hard to find, despite  how useful they are? Obviously, other than you, there's many other cases of good explanations. 
But generally, it just seems like there aren't as many as there should be. Is it just a story  of economics where it's nobody's incentive to spend a lot of time making good explanations? Is  it just a really hard skill that isn't correlated with being able to come up with a discovery  itself? Why are good explanations scarce? I think there's maybe two explanations. The first less important one is going  to be that there's a difference between knowing something and then remembering  what it's lik
e not to know it. And the characteristic of a good explanation is  that you're walking someone on a path from the feeling of not understanding  up to the feeling of understanding. Earlier, you were asking about  societies that lack numeracy. That's such a hard brain state to put yourself in, like what's it like to not even know numbers?  How would you start to explain what numbers are? Maybe you should go from a bunch of concrete  examples. But like the way that you think about numbers and addin
g things, it's just you have to  really unpack a lot before you even start there. And I think at higher levels of abstraction,  that becomes even harder because it shapes the way that you think so much that remembering  what it's like not to understand it. You're teaching some kid algebra and the premise of like  a variable. They're like, “What is X?” It's not necessarily anything but it's what we're solving  for. Like, yeah, but what is it? Trying to answer “What is X?” is a weirdly hard thing
because it  is the premise that you're even starting from. The more important explanation probably is  that the best explanation depends heavily on the individual who's learning.  And the perfect explanation for you often might be very different from the perfect  explanation for someone else. So there's a lot of very good domain specific explanations.  Pull up in any textbook and like chapter 12 of it is probably explaining the content in  there quite well, assuming that you've read chapters one
through 11, but if you're coming  in from a cold start, it's a little bit hard. So the real golden egg is like, how do you  construct explanations which are as generally useful as possible as generally appealing as  possible? And that because you can't assume shared context, it becomes this challenge. And I think  there's like tips and tricks along the way, but because the people that are often making  explanations have a specific enough audience, it is this classroom of 30 people. Or it's  thi
s discipline of majors who are in their third year. All the explanations from the people  who are professional explainers in some sense are so targeted that maybe it's the economic  thing you're talking about. There's not, or at least until recently in  history, there hasn't been the need to or the incentive to come up with  something that would be motivating and approachable and clear to an extremely  wide variety of different backgrounds. Is the process of making your  videos, is that mostly y
ou? Yes. Given the scale you're reaching,  it seems that if it was possible, a small increase in productivity  would be worth an entire production studio. And it's surprising to me that the  transaction cost of having a production setup are high enough that it's better to  literally do the mundane details yourself. I mean, this could honestly just be a personal  flaw. I'm not good at pulling people in and then I've struggled to do this effectively in the  past. But a part of it is that the seemi
ngly mundane details are sometimes just how I even  think about constructing it in the first place. The first thing that a lot of YouTubers will  do if they can hire is hire an editor. And this will be because they film a lot of things.  And so a lot of the editing process is removing the stuff that was filmed that shouldn't be  in the video and just leaving the stuff that should be in the video. And that's time  consuming and it's kind of mundane. And it's probably not that relevant to what  th
e creator should be thinking about. The editing process for me, I start  by laying out all of the animations and stuff that I want in a timeline  and then once I record the voiceover, the actual editing is like a day. I guess  I could hire someone and gain a day back of my life but the communication back and  forth for saying what specifically I want, all of the little cuts that I'm making along  the way are my way of even thinking about what I want the final piece to be and are such  that it wo
uld be hard to put it into words. It's similar for why I maybe find it quite  hard to use Co-pilot and some of these LLM tools for the animation code. It can be  super great if you're learning some new library and it knows about that library that you don't.  But for my library that I know inside it out, if I'm just using it, it feels like, “Oh. This  should be the most automatable thing ever. It's just text.” I should be the first YouTuber  who can actually do this better because the substance b
ehind each animation is text, it's not  like an editing workflow in quite the same way. But it doesn't work. And I think it's  because maybe it's just because you need a multimodal thing that actually understands  the look of the output. Like the output isn't something that is consumable in text.  It's something about how it looks. But at a deeper level, I can't even put into words  what I want to put on the screen, except to do so in code. That's just the way that I'm thinking  about it. And if
I were to try to put into English the thing that I want as a comment that  then gets expanded, that task is actually harder than writing it in the code. And if it's clunky to  write in code, that's a sign that I should change the interface of the library such that it's less  clunky to be expressive in the way that I want. And it's in that same way where a lot of  the creative process that feels mundane, those are just the cogs of thought slowly turning  in a way that if they weren't turning for
that part, they would have to be turning during the  interface of communication with a collaborator. On the point of working with Co-pilot where we can visualize the changes you  wanted to make. The [Sparks of AGI paper](https://www.microsoft.com/en-us/research/publication/sparks-of-artificial-general-intelligence-early-experiments-with-gpt-4/) from Microsoft Research had an actually really  interesting example where it was generating LaTeX and they generated some output and  they say “Change t
his so that the visual that comes up in the rendering is different  in this way.” And it was actually able to do that, which was their evidence that it can  understand the higher level visual abstraction. I guess it can't do that for Manim. There's a couple reasons why it might not be  as fair a comparison. There are two versions of Manim. There's a community version that is by  the community for the community and then mine, the interfaces are largely similar. The rendering  engines are quite di
fferent, but because of slight differences in that and it might have a  tendency to learn from one or its examples from one and it's intermixing them. So stuff just  doesn't quite run when there's discrepancy. Maybe I shot myself in the foot because I  don’t really comment my code that much for my videos. It's like a one and done deal. The  way that I'm making it feels much more like the editing flow. If you were to look at the  operation history of someone in After Effects. It's a little bit mo
re like that where there's  not a perfect description in English of the thing that I want to do and then the execution  of that. It's just the execution of that. It's not meant to be editable in hindsight as  much because I'm just in the flow of making the scene for the one video. Maybe I could have  given it a better chance to learn what it's supposed to be happening by having a really well  documented set of — This is the input. This is the output. This is the comment describing  it in English
. But even then that wouldn't hit the problem. I would have to articulate  what the thing I want is in the first place. And the program language is just the right  mode of articulation in the first place. This is something I was really curious about ever since I learned about it. I  watched many of the [Summer of Math Exposition](https://www.youtube.com/watch?v=F3Qixy-r_rQ)  prize videos and it was shocking to me how good they were. Many of them looked like  entire production studios were dedica
ted to making them. And it was shocking to me that  you could motivate and elicit this quality of contribution given the relatively modest prize  pool, which was like five winners, $1,000 each. What is your explanation of just running prizes like this? Why were you able to get  such high quality contributions? Is the prize pool irrelevant? Is it  just about your reputation and reach? I do wonder how relevant the prize pool  is. We've been thinking about this because we did it first in 2021 and t
hen we  plan to continue doing it annually. If I was a mover and a shaker, I probably could  raise much more if I wanted to get a big prize pool there. I don't think it would change the  quality of the content because the impression I get is that people aren't fundamentally  motivated by winning some cash prize. Certainly, they're not investing that time with  an expected value calculation. If they are, that's a terrible, terrible plan. And if anything,  a higher prize pool might be a problem. L
et's say it was a hundred thousand dollar prize for each of  the winners, then it would be a real problem where someone would, and people do, delusionally think  that they're very likely going to be the winner and they might actually pour a lot of their own  resources into it with the expectation of gaining it. And then that's just a messy situation. I  don't want to be in a situation where someone asks “Why wasn't mine chosen as a winner?!” Because the  whole event is not supposed to be about w
inners. Maybe for the listeners who don't know, I  should describe the summer of math exposition. Actually, the history is a little bit funny  because it started with an intern application where in 2021 I wanted a couple interns to  do a certain thing on my website basically and I put out a call for people to apply.  I got 2,500 applicants and somewhere in the application I mentioned that during the summer,  in addition to the main task I wanted them to do, I'd give them freedom to do something
relevant  to math exposition online that was their own thing and that I'd be happy to provide some  mentorship or just give them the freedom to do that one day a week. And I asked them to give  me a little pitch on what their idea would be. As I went through all of the  applications, which was a lot, I felt so bad because so often the  person would have a little pitch and like what they would want to make. And in  my mind, I think, “Cool. You should make that! You don't need me to do that. Just 
spend your summer making that.” Why not? And people were clearly inspired by the thought  of adding something and like I said earlier, being a youtuber is the most common job  aspiration among the youth these days. And so as a consolation of sorts to those 99% that  I had to reject for the internship, I said we're going to host this thing called the Summer of  Math Exposition where we'll give you a deadline. I'll promise to feature five of you in a video.  And if you feel like the thing that yo
u were going to do, like with me as your 20 project  as an intern is something you're excited about, make it a hundred percent project. Just do it  anyway and like I can give you this little carrot in the form of featuring it in a video and give  you a deadline, which let's be honest is what actually makes the difference between people doing  something and procrastinating on it sometimes. Brilliant.org said they would be happy to  put some cash prizes in. So I said, sure, why not? I don't think
the cash prize is super  important, but it's nice. It shows that someone actually cared and put some real thought into  doing something that wasn't just a made up gold star, but they put some material behind saying  that you were selected as a winner of this thing. But all in all, it was never supposed to be about  choosing winners. It was just to get more people to make stuff. And if anything, I'd actually I  love it when I see stuff from existing educators and teachers where it's maybe not the
youth who  want to be youtubers pouring their hearts and souls into it, but it's the educator who built a  lot of intuition over the course of their career for what constitutes a clear explanation  and they're just sharing it more broadly. So, to your question on — What is it that  caused there to be such high production quality in some of the entries there? Part of  the answer might just be that like tooling is so good now that individuals can actually  make pretty incredible things sometimes.
I misphrased if I said production quality, I  just meant the whole composition as a whole. Yeah, well there's a selection filter too,  right? In that first year, there were 1200 submissions and I featured five of them in the  winning video. So of course, they're necessarily unrepresentative of the norm by the very  nature of who I was choosing to feature. But the fact that something that  high quality was even in the pool. I think it hits a little bit to your miracle year  point where I think w
hat might be happening is you have people with a ton of potential energy for  something that they've kind of been thinking about making for a long time. And the hope was to give  people a little push. Here's a deadline. Here's a little prize. Here's a promise that maybe if  you make it, it won't just go into the void, but there's a chance that it could get exposed to more  people, which I think is absolutely played out. And not for the reason that someone might  expect where I choose winners and
I feature those winners and people watch them.  A huge amount of viewership happens before I even begin the process of looking at  them. And this was an accident too, where in this first year, we got 1200 submissions. I said expect  judges who are reviewing it to spend at most 10 minutes on each piece. So it could be longer,  but don't rely on someone watching it for more. But realistically, when I'm reviewing  something, I want to watch the whole piece. I absolutely do not have time to watch t
hat many.  I've learned it takes me about two weeks of just full time work to watch 100 of these pieces  and give the kind of feedback that I want. To manage that problem of more than we  could manually review, we put together this peer review system that would basically  have an algorithm feed people pairs of videos. And they would just say which one is better  and then it would feed them another one. And in the first two years, we just used  a tool that was common for hackathons that did this.
And what that did is one,  it gave us a partially ordered list of content by quality loosely. We didn't need it  to be perfect. We just needed there to be a very high chance that the five most deserving  videos were visible somewhere in that top 100. So there the algorithm doesn't have to be perfect. A thing I've learned about the YouTube algorithm  is — in theory, you would want to just use machine learning for everything. You have some  massive neural network where on the input of it, it's go
t five billion videos or however  many exist. And the output decides what seven are best to recommend to you. That  is completely computationally infeasible. I think this is all public knowledge. What  you have to do instead is use some sort of proxies as a first pass to nominate a  video to even be fed into the machine learning driven algorithm. So that you're  only feeding in like a thousand nominees. So the real difference that it can make  if you've made a really good video, between it getti
ng to the people who would  like it and not getting there. It's not the flaws in the algorithm. The algorithm is  probably quite good. It's the mismatch between the proxies being used to nominate stuff  to see whether it's even in the running. One of the things used for nomination is  understanding the co-watch graph where if you've watched video A and you've also  watched video B and then I watch video A. Your watching both of those gives a little link  between them, or maybe you and a ton of o
ther people watching both of them gives a little  link between such that once I watch video A, B is potentially nominated in that phase because  it's recognized that there's a lot of co-watching. That's something that I'm sure is still  quite challenging to do scale but it's more plausible to do at scale than like  running some massive neural network. And so I think what might have happened is  that by having a bunch of co-watching happening on this same pool of videos, all  you need is for some
of them to have decent reach and get recommended, right?  Because then that’s like igniting a pile of kindling where then if others are good,  if they're going to give people good experiences, they get not only nominated but then recommended  which then kicks back in the feedback loop there. That turns out to be as close to a guarantee  as you can get of saying if you make something that's good, it's a good piece that will satisfy  someone, they come away feeling like they learned something tha
t they otherwise didn't know and  it was well presented, if you can get it into this peer review process, it will reach people.  It's not just going to be shouting into the void And in this case, last year there were over a  hundred videos where after the first two weeks they had more than 10,000 views. Which I know is  small in the grand scheme but for a fresh channel, talking about a niche mathematical topic, to  be able to put it out and get 10,000 people to watch it is amazing. And the idea
that that  it happen for over a hundred people is amazing That had nothing to do with the prize pool,  right? In that the motive might have been a hope of actually getting some reach and having some  sense of a guarantee of there being some reach Ironically the reason to do the whole peer  review system in the first place is in the service of selecting winners. If you just  said “Hey, we're having a watch fest where everyone watches each other's things.”  Somehow it wouldn't quite have the same
pull that gets people into it. So I think  it still makes sense to have winners and to have some material behind those winners. It  doesn't have to be much though. And if anything, I think it might ruin it to make it too much.  I will also say it's $15,000 actually because we give $500 to 20 different honorable mentions,  at least this year. Still pretty modest in the scheme of how much money you can invest to  try to get more math lessons in the world. I watched many of the honorable mentions 
as well because they were just topics that were interesting to me. It's  like the thing that the president of Chicago University said. He said we  could discard the people we admitted and select the next thousand for our  class and there would be no difference. By the way, I really admire not only  the education that you have provided directly with your videos which  have reached millions of people, but the fact that you're also setting up this  way of getting more people to contribute and get t
o topics that you wouldn't have time to get to  yourself. I really admire that you're doing that. If you're self teaching yourself a field that  involves mathematics, let's say it's Physics or some other thing like that, there's problems  where you have to understand how do I put this in terms of a derivative or an integral and from  there, can I solve this integral? What would you recommend to somebody who is teaching themselves  quantum mechanics and they figured out how to put how to get the
right mathematical equation here.  Is it important for their understanding to be able to go from there to getting it to the end result  or can they just say well, I can just abstract that out. I understand the broader way to set  up the problem in terms of the physics itself. I think where a lot of self learners shoot  themselves in the foot is by skipping calculations by thinking that that's incidental to  the core understanding. But actually, I do think you build a lot of intuition just  by pu
tting in the reps of certain calculations. Some of them maybe turn out not to be all  that important and in that case, so be it, but sometimes that's what maybe shapes your sense of  where the substance of a result really came from. I don't know it might be something you  realize like “Oh, it's because of the square root that you get this decay.” And if  you didn't really go through the exercise, you would just come away thinking like instead  of coming away thinking like such and such decays bu
t with other circumstances, it doesn't  decay and not really understanding what was the core part of this high level result that is the  thing you actually want to come out remembering. Putting in the work with the calculations is  where you solidify all of those underlying intuitions. And without the forcing function  of homework, People just don't do it. So I think that's one thing that I learned as a big  difference post college versus during college. Post college, it's very easy to just acci
dentally  skip that while learning stuff and then it doesn't sink in as well. So I  think when you're reading something, having a notebook and pencil next to you should  be considered part of the actual reading process. And if you are relying too much on reading  and looking up and thinking in your head, maybe that's going to get you something but it's  not going to be as highly leveraged as it could be What would be the impact of more self teaching  in terms of what kinds of personalities benef
it most? There's obviously a difference in the kind  of person who benefits most. In a situation where it's a college course and everybody has to do  the homework, but maybe some people are better tuned for the kind of work that's placed  there versus all this stuff is available for you on youtube and then textbooks  for exercises and so on but you have to have the conscientiousness to  actually go ahead and pursue it. How do you see the distribution of who  will benefit from the more modern way
in which you can get whatever you want  but you have to push yourself to get it. There's a really good book that's actually kind of relevant to some of your early  questions called [Failure to Disrupt](https://www.amazon.com/Failure-Disrupt-Technology-Transform-Education/dp/0674089049)  that goes over the history of educational technology.  It tries to answer the question of why you have these repeated cycles of people saying such  and such technology that almost always is getting more explanat
ions to more people,  promises that it'll disrupt the existing university system or disrupt the existing  school system and just kind of never does. One of the things that it highlights is how  stratifying these technologies will be in that they actually are very very good for those who are  already motivated or kind of already on the top in some way and they end up struggling the most  just for those who are performing more poorly. And maybe it's because of confounding  causation where the same
thing that causes someone to not do poorly in  the traditional system also means that they're not going to engage as well  with the plethora of tools available. I don't know if this answers your question, but  I would reemphasize that what's probably most important to getting people to actually  learn something is not the explanation or the quality of explanations available  because since the printing press that has not been true. Not literally true because maybe  access to libraries it’s not a
s universal as you would want. But people had access to  the explanation once they were motivated. But instead, it's going to be the social  factors. Are the five best friends you have also interested in this stuff and do  they tend to push you up or they tend to pull you down when it comes to learning  more things? Or do you have a reason to? There's a job that you want to get or  a domain that you want to enter where you just have to understand something or is  there a personal project that yo
u're doing? The existence of compelling personal projects and encouraging friend groups probably does way way  more than the average quality of explanation online ever could because once you get someone  motivated, they're just they're going to learn it and it maybe makes it a more fluid process if  there's good explanations versus bad ones and it keeps you from having some people drop  out of that process,which is important. But if you're not motivating  them into it in the first place, it does
n't matter if you have the  most world-class explanations on every possible topic out there. It's  screaming into a void effectively. And I don't know the best way to get more people  into things. I have had a thought and this is the kind of thing that could never be done in  practice but instead it's something you would like write some kind of novel about, where if  you want the perfect school, something where you can insert some students and then you want  them to get the best education that y
ou can, what you need to do is — Let's say  it's a high school. You insert a lot of really attractive high schooler plants  as actors that you get the students to develop crushes on. And then anything that  you want to learn, the plant has to express a certain interest in it. They're like,  “Oh, they're really interested in Charles Dickens.” And they express this interest and  then they suggest that they would become more interested in whoever your target student  is if they also read the dicken
s with them. If you socially engineer the setting in  that way, the effectiveness that would have to get students to actually learn stuff  is probably so many miles above anything else that we could do. Nothing like that in  practice could ever actually literally work but at least viewing that as this end  point of “Okay, this mode of interaction would be hyper effective at education. Is  there anything that kind of gets at that?” And the kind of things that get at that  would be — being cogniza
nt of your child's peer group or something which is something  that parents very naturally do or okay, it doesn't have to be a romantic  crush, but it could be that there's respect for the teacher. It's someone that they  genuinely respect and look up to such that when they say there's an edification to come from  reading Dickens, that actually lands in a way. Taking that as a paragon and then  letting everything else approximate that has, I would emphasize, nothing  to do with the quality of on
line explanations that there are out there that  at best just makes it such that you know, you can lubricate the process once  someone is sufficiently interested. You found a new replica use case. Yes. I mean, I'm not saying we should do it,  but think of how effective that would be. Final question. This is something I  should have followed up on earlier, but your plans to become a high  school teacher for some amount of years. When are you planning on doing that  and what do you hope to get out
of that? I would say no concrete plans. I would want to do  it in a period where I also have young children and therefore it would make sense to.  Maybe a lot of people will say this kind of thing but there's friends of  mine who think when their child is in high school, that's when they would  want to be a high school teacher. I think there are two things I would  want to get out of it. One of them, as I was emphasizing, I think you just lose  touch with what it's like not to know stuff or wha
t it's like to be a student and  so maintaining that kind of connection so that I don't become duller and  duller over time feels important. The other, I would like to live in a world  where more people who are savvy with STEM spend some of their time teaching. I just  think that's one of the highest leverage ways that you can think of to actually  get more people to engage with math And so I would like to encourage  people to do that and call for action. Some notion of spending, maybe not your
whole  career, a little bit of time. In teaching, there's not as fluid a system for doing that  as a going through a tour of service in certain certain countries where everyone  spends two years in the military Shy of having a system like that for education,  there's all these kind of ad hoc things where charter schools might have an emergency  credential system to get a science teacher in. Teach for America is something out there. There's enough ways that someone could spend  a little bit of ti
me that's probably not fully saturated at this point that the world would  be better if more people did that and it would be hypocritical for me to suggest that and then  not to actually put my feet where my words are. I think that's a great note to leave it  on Grant. Thanks so much for coming on the podcast and genuinely, you're one of the  people I really, really admire but what you've done for the landscape of Math education is really  remarkable. So this is a pleasure to talk to you. Thanks
for saying that. I had a lot of fun.

Comments

@timothyoh9715

If Grant becomes a high school teacher I'm going back to high school to learn from him.

@mahneh7121

the fact this guy exists is a miracle. as an aspiring math teacher, i feel amazing seeing him talk respectfully about being a good teacher.

@-drome

Grant really stands out to me for staying grounded in the face of people trying to overhype his own work. It's so inspiring to see a guy who has a legitimate claim to leading his field with respect to encouraging pure-math exploration that still values all that in the context of improving the world and helping young kids learn better.

@emmafountain2059

100% agree with his take that programming is useful, but not just for computers. Learning to program, especially under the lens of software development, teaches you to think about problems and models in terms of layers of abstraction in order to manage complexity. That is an incredibly useful skill that can reframe how you view the world

@coldlyanalytical1351

Physicist -> Research Scientist -> Software Engineer -> SW lead of a Smartphone manufacturer -> Retrained into medicine in my 40s.

@benjamindorsey2058

He nailed this entire interview. I especially love the repetitions of calculations. That is 100% accurate, in my case.

@haroldwhitney6130

He has an incredible ability to explain things clearly to people at all levels. He speaks with eloquence.

@hanshima_

That was great!!! On multiple times, I felt that Grant was questioning if a question was valid or not. Or at least giving an answer that you're not expecting. Anyway, you let the guest talk and explain his points. Multiple interviewers would interrupt and try to make their own points be heard. Glad to know your podcast!!

@Iamfafafel

on the issue reallocation of mathematical talent: i'm one of the guys that got duped by grant into doing a phd in pure math (haven't met him though), and i've been thinking about this issue one-and-off for a few years now. it's clear that there's a waste of talent at the phd+ level due to the undersupply of academic jobs. the training you get when studying math gives you a high level of insight for general problem-solving skills, but you lack the knowledge in any other field to make use of it. so effectively you're only good as a outside consultant, unless you want to dive into a whole new field. this (+ $$$) is why the two canonical non-academic paths are tech or finance, as those two fields have low barrier to entry in terms of content. if you can think well, you can float in those two fields much easier than e.g. biology

@Saveself99

I enjoy a conversation in which people are speaking genuinely and intellectually and happily. So much of the internet is out of context and mentally degrading.

@goclbert

Outside of financial transactions, a 24 hour clock leverages a more abstract understanding of numbers. Keeping track of time was a big motivation for early numerical developments. I also think back to those older society descriptions of measurements and its like "Take a square with 5 inch long edges..." wheras I can just think 5^2 = 25 sq inches or 5x5 square. More generally I think most people find it easier to think in terms of truncated real numbers rather than as q/p rational numbers.

@undeniablySomeGuy

The anecdote at ~52:00 resonates with me so strongly. I remember cringing so much growing up at loose-lipped teachers who are all-too-ready to say something slightly demeaning to students who are struggling. The littlest things can matter so much to kids, especially when it's coming from an authority figure. I don't mean to undermine the frustration and erosion to mental fortitude that being an educator entails, but it's just really scary how massive those effects can be.

@smokeybobca

I've seen a number of podcasts with Grant. This is by far one of the best, and all in all just a wonderful discussion.

@rtcomments

This interview is how I, a frequent YouTube watcher who happened to benefit from Grant’s videos during school, find out that Grant does his own animations 😂 so inspiring

@AnenLaylle7023

Funny story about mathematicians working in other fields. During graduate school for computational biology I focused on modeling agricultural systems. I found out during graduate school that I really liked farming. I'm a relatively talented mathematician, that was offered a job where I went to graduate school immediately upon graduating, a research position. I declined and asked if I could just be a mere lecturer, and they obliged. I have since started farming and sell at local markets. In about 10 years it is my intention to quit teaching mathematics and just farm. There is a lot of similarities in farming in mathematics, believe it or not.

@DwarkeshPatel

Please share if you enjoyed! Really helps out a ton! 😎

@ckq

This interview been in my recommendations for a while, but that clip you posted recently is what got me to watch. Good work

@AndreInfanteInc

I have to shout out Kerbal Space Program as by far the finest educational game ever made. There is no better curriculum for building an intuitive understanding of orbital mechanics than spending a couple of weeks doing a mars program in KSP. I think the best educational games are games that simulate (in a fun-focused way) the process that the student is meant to understand, rather than trying to use a game framework to do traditional teaching.

@johannguentherprzewalski

I am so happy to have found the time to listen to the whole thing. I was very intrigued by the idea of a potential since I am currently experiencing a small-scale miracle myself. In my research I feel like I finally found a spot where I can perfectly apply the knowledge I build up the last months. Naturally I stopped reading about the subject completely. I'll probably try to allocate some time to reading, I don't want to get out of touch with my subject.

@smittywerbenjagermanjensenson

Guests just keep getting better and better