The Joy of Why - How Did Geometry Create Modern Physics?

Episode Date: May 15, 2025

Geometry is one of the oldest disciplines in human history, yet the worlds it can describe extend far beyond its original use. What began thousands of years ago as a way to measure land and build pyramids was given rigor by Euclid in ancient Greece, became applied to curves and surfaces in the 19th century, and eventually helped Einstein understand the universe.Yang-Hui He sees geometry as a unifying language for modern physics, a mutual exchange in which each discipline can influence and shape the other. In the latest episode of The Joy of Why, He tells co-host Steven Strogatz how geometry evolved from its practical roots in ancient civilizations to its influence in the theory of general relativity and string theory — and speculates how AI could further revolutionize the field. They also discuss the tension between formal, rigorous mathematics and intuition-driven insight, and why there are two types of mathematicians — “birds” who have a broad overview of ideas from above, and “hedgehogs” who dig deep on one particular idea.

Hey, Ira Plato here from Science Friday. Each episode we give you surprising facts. There's a whole phenomenon of moths visiting eyes of mammals. Expert insights. It doesn't take a lot of brain to run a lion, actually. And we tackle the big questions. How is this going to affect the future? From space to climate to tech to medicine,

get a new view on the world around you. That's Science Friday, wherever you get your podcasts. I'm Steve Strogatz. And I'm Jan 11. And this is The Joy of Why, a podcast from Quantum Magazine exploring some of the biggest unanswered questions in math and science today. Hey. Hey, Jana. Good to see you. Good to see you. I wanted to talk to you about something I think you're going to like.

Okay. I'm intrigued already. Yeah. I think this is right up your alley, geometry. Oh, nice. Yeah. Everywhere we look, there's geometry. Well, there is, right?

My wife likes to do art, and she was asking me one time, if our room has a seven-foot ceiling and I have an eight-foot canvas, and I stick it in the corner, how far out is it going to stick on the floor? Right. Now, did you really impress her when you came up with a tangent? Pulling out Pythagoras? Yeah. That's good for a marriage.

Pythagoras did help us out in our marriage a little bit. Because she did wonder how cumbersome is it going to be? Is this thing going to take up a lot of floor space? Right, right, exactly. Have you ever seen those paintings that when you look at them nearly edge on, the picture resolves? Yeah, yeah.

You see an image of a face? Right. And so these ideas of projecting geometries, I mean, I think that's probably in a lot of art practices. Maybe it's not in the forefront of their mind that that's what they're doing, but that is ultimately geometry. Yeah.

No, it's all part of our experience as visual beings. Oh, yeah. It's really funny. I think some friends of mine might imagine that we're just talking about triangles, but Einstein replaced the entire theory of gravity with a theory of geometry. It's very sophisticated. The universe is a geometry. Well, I'm not surprised that you're an easy sell on geometry.

Right, exactly. But so I recently had a chance to speak with someone who feels the same way. He is a theoretical physicist, Yang Wei He, who loves geometry, and he sees geometry as a kind of unifying language for modern physics. Hmm. Oh neat I I think you're gonna enjoy hearing from him. This is young way huh from London Institute of Mathematical Sciences and University of Oxford awesome Hi young really happy to see you here pleasure great to see you tell me where are you right now? I'm now at the London

Institute for Mathematical Sciences, which is the rooms that Michael Faraday is to live and work in. So these are very special, very exciting places. I'm so privileged to be here. That's incredible. Michael Faraday, you want to remind us who was that? Michael Faraday is arguably the greatest scientist of the Victorian times. Faraday Cage, the pioneer of the electric motor. He met Maxwell, who is my great hero, because Faraday was the experimentalist, and Maxwell was the mathematician. And together they started this theory of electricity and magnetism. So very exciting place. They met just the room behind this wall. We have a beautiful set of exciting rooms to work in. Very exciting. I can already tell that you're interested in the history of science. I can

only imagine how thrilling it must be for you to be in that kind of sacred territory. I find myself extremely lucky because I'm either in this 18th century building here where Faraday is, or I'm in my college in Oxford, which is Merton College, where so many great people were there. And I'm into hero worship. That's why I love history so much. Well, I noticed you spent some time at Princeton, where there are also many great heroes of math and physics.

But one in particular, I'm wondering if you may have made a pilgrimage to his house or anything like that. Oh, absolutely. In fact, the very first thing that I ever did as a freshman in Princeton, literally I dropped off my bags and I ran to 112 Mercer Street to find Albert Einstein's old house and just went in and asked very boldly and say, is this a museum? The lady kindly opened the door and said, unfortunately, it's a private home. It's only years later that I found out that lady was actually the wife of Frank Wilczek,

whose condition of moving to Princeton was that he got Einstein's house. So years later, actually made friends with the family and I told Frank that story and he thought it was very amusing. It is. Now, let me tell you, so when I was a freshman at Princeton. You were, I thought, great, go Tigers. I also made a pilgrimage to Einstein's house and did the same thing as you. I knocked on the door and an elderly woman came to the door and said to me, this is a private residence. But this was Einstein's secretary. This was Helen Dukas. Oh, no way. Oh, wow. You know, the other crazy thing I did, I spent many of my Sunday afternoons

studying in the Princeton cemetery because there's a plot of grass between Gödel and von Neumann who were buried next to each other. So I would just go and did my quantum problem sheets or measure theory problem sheets in that plot of grass, just trying to rub off some energy. I never got any. Are they literally side by side graves? They're literally side by side. Yeah. Oh, I didn't know this. It's an incredible little space there.

Well, all right. I could talk to you all day long about all kinds of things. I think we're going to become very good friends. I would love to. So yes, this is our first time having a chance to meet and talk. But let's dive into the question of a very classical subject. Many of our listeners may be thinking of geometry from their high school geometry class. It's not something that is an obvious subject for today's research mathematician in the popular mind. Tell us a little about your own backstory. Did you know that you were interested in geometry from a young age?

In the beginning, I was really drawn to mathematical physics because of Newton and Einstein and also trying to understand and learn special relativity, general relativity. And then I found that we have to study advanced geometry. And the irony is that the more I got into it, the more and more I became interested in the actual geometry rather than mathematical physics that I got started doing. So if I hear you then, when you're speaking of geometry, you put that adjective in front of it, advanced geometry. So you're not talking about the triangles and parallel postulate geometry. Maybe you're talking about differential geometry

or something. You're absolutely right. I wanted to study differential geometry when I was in my teens. This was a thing that I was told that I needed to study in order to understand things like general relativity and all these advanced theories of modern contemporary physics. And I didn't really have much of a taste for Euclidean geometry at the time. In this division between algebraist and geometer, I always found manipulating symbols in algebra, I liked that more. But now, you know, I got into this path, studied differential geometry, and then as I grew, I realized the most beautiful thing is actually the crystal clear thing of Euclid's classical geometry, you know, absolute gold of mathematics in terms of axiomatic formulation. So it's a long journey. Oh, that is very interesting that it was only with greater maturity that you began to

appreciate the more elementary subject. Exactly. I think at the time it was just too naive to see the absolute beauty of this. That's very interesting to me because I asked to be let out of my high school geometry course. I thought it was so tedious. I started to get bad grades because I was so bored. The school was so nice that they said, you shouldn't be getting the grade you're getting in geometry. We think you're bored. So starting tomorrow, you're in

pre-calculus. And so to this day, there are certain basic things in geometry that I should know that I never actually studied. I mean, it's the same here. And I'm going back to poor over, you know, the classical axioms and I find them just so clean and so beautiful. Uh-huh. Well, so we've already used this bit of jargon, differential geometry. So help us understand what is that and why do you regard it as an important subject? In terms of modern physics, by modern I mean post 20th century physics as opposed to Newtonian physics. One of the key ideas is to break away from Euclidean geometry, from planes and intersection of lines in planes according to Euclid's axioms. And I think that was Einstein's great insight in realizing that to formulate

this consistent theory of general relativity, you needed this tool which is non-Euclidean. You needed curved space-time, this continuum of space-time. And then of course with Riemann and Lobachevsky and Bollein, the three of them, really formulated by the end of the 19th century, this idea of local geometry, curved geometry, which we now call differential geometry, which was completely crucial. Einstein's insight was just to recognize that was exactly the tool he needed. There's so much good stuff here. Before we dismiss Euclidean geometry, I want to appreciate with you how much that did for the history of the world. You have an appreciation for

geometry done in Mesopotamia, in Egypt, all around the world. So where did geometry come from originally? Why were people doing geometry in the really ancient times, maybe like even 3000 BC or something? Yeah, that's an extremely good question. The word itself is Greek, literally from measuring the earth. But of course, the subject itself is predated, you know, that Babylonian tablets that you find now with Pythagoras' theorem and, you know, ancient Chinese carvings and Indian carvings as well. These very basic things that we just see the world

around us. And I think it's very instinctively human. The first thing we see around us is inherently geometrical. We see shapes and sizes and distances and gradually evolved this need to understand the relations. But I think really to truly formulate it from a rigorous point of view, that credit goes to the Greeks. Euclid, you know, he had his 13 books of the elements where he collected all of the then known knowledge of ancient mathematics.

And I think nine of the 13 books were devoted to geometry because that's a very intuitive subject. Let me see if I get the distinction you're making there. There's geometry in the pre-Euclidean time of building sacred temples, whether in India or building the pyramids in Egypt, geometry for architecture, for land measurement, surveying, maybe a little bit for astronomy. But then at some point, Euclid introduces this idea of rigor and axioms. High school teachers love to make a big deal about that, that geometry is where you learn

about proof. You don't see so much about proof in more elementary courses, but in geometry we all get exposed to it. Why is that such a big thing in the history of human thought? I mean, I think that's really what makes mathematics. Because, you know, mathematics is nothing unless you have rigorous and precise definitions and precise proofs and precise derivations. And prior to Euclid, of course, there's this entire school of thought, but Euclid somehow needed to collect everything and then formulate all of this in this precise language. And geometry was this very intuitive way toward that language. That's what makes the elements

so special. And that was really the foundations of what we now call mathematics. I mean, certainly there are other parts of it, you know, elementary number theory, the famous proof of the infinite number of primes in the elements. But somehow the geometric ones, you can see it, right? Literally here's a triangle, and then I'm going to try to define this triangle that we've always known about in a rigorous way. And that's a truly amazing thing. That's interesting.

So we were talking about Euclid and the legacy of Euclid on education and on human culture, certainly Western culture, but really world culture. You mentioned some names like Lobachevsky, Boliai. For people who aren't so sure who those gentlemen were, tell us about where geometry went after Euclid. So 300 BC we have Euclid, then what? Yeah, and then every culture started catching up in some ways. There must be some kind of communication between them. Interestingly, this classical Euclidean approach was central even to as far in time as Newton. When Newton was

formulating his laws, when he was deriving the planetary motions, he certainly didn't have the notation of the calculus that we're using today. A lot of his derivations in Principia were purely geometrical. I think he was able to derive Gauss's law by summing up little pieces in a sort of brute force geometrical way, which is quite a feat. I mean, that was a really rather definitive way for not only pure mathematics, but also for mathematical physics, this grounded way of thinking about a geometric approach. So Gauss is probably the greatest mathematician of all time. So Gauss is probably the greatest mathematician of all time. And Lobachevsky and Bollier, they were contemporaries to Gauss, and they had this idea even before Gauss.

What if they were to relax one of the axioms of Euclid, you know, the so-called parallel postulate, that if I give you a fixed line and a point not on this line, in Euclidean geometry there would exist one and only one line that is parallel to this that passes through that line. So they were thinking about trying to get rid of that postulate. They formulated possible alternative axioms to this and they were able to formulate a new form of geometry. Gauss got very inspired by this and he and then Riemann laid the foundations. In fact, I think Riemann's Habilitation thesis defense was entitled on the foundations of geometry and Gauss was one of the examiners in that defense. Riemann was doing what we now call differential geometry, which is a generalization of this

classical Euclidean approach to geometry. Uh-huh. And so you mentioned, zooming a little bit closer to our own time, that Einstein was somehow influenced by this geometry of Riemann. So what is it that Einstein is going to do with this math that comes from Riemann? This is truly Einstein's genius. He has this intuition that's almost superhuman, just how to find the right pieces of stuff. Special relativity came out of nowhere. What you needed in special relativity was essentially high school algebra. But he somehow realized just by playing around with clocks and measuring rods in his Gdunkin

experiments, this was the right thing to do. I don't know the time sequence. Did he have this intuition? Then he approached a mathematician friend like Grossman or maybe even his wife, Mileva, who could teach him the right piece of mathematics so that he could deep dive. And that stuff happened to be formulated by Riemann. Oh, you make me think of so many different directions for us to go now. Like you talk about rigor in Euclid,

and often people associate geometry with rigor, with proof, absolute certainty, theorems that stand for thousands of years and we know they'll never be overturned because they're proven. However, there's this other aspect of math and physics, intuition. Tell us about that. There is this wonderful essay. I think it is Milner, the great Fields Medalist. John Milner. Milner gives an excellent essay about how people thought

mathematicians work by this very dry process of formulating and definition. And yet, he says, what mathematicians really do is have this intuition and then go sometimes backwards towards these definitions. So he had this very intuitive approach to mathematics, which I think Vladimir Arnold is a great fan of.

In fact, I think Arnold even calls mathematics a branch of physics. He says mathematics is a branch of physics in which experiments are cheap, which is a great saying. I think he said it partially as a rebellion against the rise of the Babaki school. This purely hardcore formalization, dry definition way of mathematics that French school came about. I think Arnold and Mioner as well were like, this is not where the fun in mathematics is. But this is not how most mathematicians work anyway. It's a very interesting sociological question

because I feel like throughout the history of math, we see these two impulses. There are the people who say we should be intuitive and visual. And there's always reaction. Like I think Lagrange makes a big point of saying that in his book on mechanics, you will not see a single diagram. He's proud of that.

He doesn't want any diagrams because he thinks visualization is your enemy. You could convince yourself of something wrong from the picture. So there's always this drive and counter reaction, either towards more algebra or more geometry. So it's interesting to me that in recapitulating your own life, you say you started out and have always loved the algebraic manipulation side of things, and then later have come to

appreciate the more visual or geometric side. You know, you keep on oscillating in life. It's like what they say about music. When you're little, you listen to Mozart. And then when you're older, when you're teenage, you listen to all that romantic stuff. When you're mature, you listen to Bach. And then when you're about to die, you go back to listen to Mozart again. Which certainly happened to Mahler apparently, even on his deathbed. His last words were Mozart, Mozart. Really? Which has in some sense that purity of Mozart is like Euclidean geometry. It's so interesting because where does creativity come from?

I feel like part of what we're talking about is the genesis of math in the human mind because as beings who get to move around in the world who see things, we get to have intuition. We keep saying intuition. Let me ask you something hard. What do you mean by intuition? So you go back to the schools. I believe the intuitionist school of mathematics did exist. And then there is the formalist school of Hilbert. Hilbert and to the extreme Russell and Whitehead, that kind of formalistic building up. But intuition is, yeah, I guess I'm going to go to AI sooner or later. I was trying to think of these differences of what I

call bottom-up and top-down mathematics. Yeah, what do you mean by those? So yeah, bottom-up mathematics, this kind of Hilbert-Russell-Whitehead building line by line, axiomatic, Euclidean if you wish, this kind of way of building up mathematics from bottom up. And this top down is this intuition guided mathematical discovery, which is I'm going to look at all kinds of data, including formulae and sentences and papers, and I'm trying to get a rough idea of what's going on and then make some kind of a prejudice in my head and then that'll guide me down some path.

But then the great thing about mathematics is that I can check whether it's right or wrong. I can go back to this great example of a great intuition-guided mathematical discovery when Gauss plotted the prime counting function, the P of X, which is the number of prime numbers less than a given real positive X. And he just literally plotted it and he could look at this and it looks like X over log of X. It's very interesting that he got to this because there was no regression. I think historians have it that he actually invented the statistical method of regression in order to even formulate this. How did he do this?

The way you're describing it, I mean, here's Gauss. He looks at examples. So like there are 25 prime numbers less than 100 turns out. Then we could say how many are less than a thousand. So we could keep track of how many prime numbers are less 100, turns out. Then we could say how many are less than a thousand. So we could keep track of how many prime numbers are less than a given number. And that's the thing you're saying Gauss was able to guess an approximate formula for that. And so you want to call that intuition because he looked at a lot of data. In fact, the legend or probably the true story is that he compiled enormous tables of prime numbers by hand. I think he had to the tens of thousands in available data, but beyond 100,000, he didn't have any more.

And then he had to do that by hand. He's a poor guy. But you want to call that intuition rather than just like experimental evidence? But I think that is the intuition is built upon that kind of experiment. But first of all, just to think of defining the prime counting function, why would you want to do something like this? It's like primes are not

continuous things, but you have this idea, I'm going to play around with this continuous thing, and then I'm going to plot it, calculate it, and then make a guess that should be roughly the shape of x over log x. That's the kind of almost divine approach to mathematics, but that happens to all the greats. Then the distinction is that bottom up in your way of using the term means building from the foundations, the solid definitions, the axioms. You're like a machine grinding out theorems always on a secure footing because everything comes from the foundations. Whereas top down is more like you're a person in the world or a being in the world who sees things happening.

Maybe you're a little kid putting stuff in your mouth when you're a baby and you start to learn about different shapes because of the way it feels when they touch your lips. Like you get experience by being a person or by looking at tables of numbers like Gauss and gradually that gives you a feeling about the way the world works and that's what you're going to call top-down intuitive style of math, not building from definitions. Exactly. That's a great way of putting it. I guess I'm influenced again by the Russians.

I think they describe it as birds and hedgehogs. Ah, tell us what you're talking about. There's Freeman Dyson's essay about birds and frogs. Exactly. I think it all originated with a Greek parable of foxes and hedgehogs. The fox knows a bit of this, bit of that, and hedgehog really digs deep. But the version that I first heard was actually from my Russian professors in Princeton. I went to Princeton in the time when it was just after Para Stroyka. America was completely flooded by really top-notch former Soviet mathematicians and physicists. So in my generation, my professors, I was so lucky to have people like

Yakhov Sinai, Sasha Polyakov, Sasha McDowall, these people. So not only they teach us a lot of stuff, which to be fair, was completely over our head at the time, but they also taught a lot about the philosophy, because this Soviet school is very lively. I think it was very much influenced by Landau and Arnold and people like this, these great thinkers. So the version I heard from people like Sinai and McDowell

were they're the birds or eagles who fly very quickly and they have this glimpse of an overview of mathematics from the top. And then they're the hitchhikes that dig deep. And that kind of influenced my thought. I mean, they're both absolutely necessary. In all of science, we have these two and they're absolutely necessary. It's not just, you know, there's a school of this and there's a school of that. All of us as researchers, we must play both roles in different times.

I guess I'm trying to say sometimes the intuition comes by not digging deep, but just stepping back a bit. But of course, you can only do that after you've dug deep to be able to understand what the depth of the subject is about. I think it's really interesting to hear mathematicians talk about themselves. I don't think necessarily mathematicians do that that often. Self-reflect, right? There's the work and the work is all-consuming and there's not always a lot of self-analysis, you know? It doesn't really lend itself to that kind of a disposition. It's also kind of reassuring that it's not this

immediacy. There's some wandering in the dark, there's some intuition, and then there's some burrowing. I think that's really an interesting analogy. You had heard of Freeman Dyson's discussing this. I was not aware of this. Oh yeah, Freeman Dyson has a nice essay about this birds and frogs. It's close in spirit to foxes and hedgehogs. They're a little bit different animals being talked about, but the birds fly overhead. The birds are often what people refer to as theory builders. They see a whole subject, but they're not interested in minutia. They're not interested in solving specific concrete problems. They're interested in global structures that unify whole disciplines, whereas the frogs

are in the mud, down low, solving very concrete problems, one by one, and out of that a theory may emerge, but they're not interested in building theory. So you sometimes hear the distinction theory builders versus problem solvers, birds and frogs. Yeah. I hadn't really heard that breakdown before, but it makes sense. I can start to scan my neighborhood and say, oh yeah, it's a theory builder now. It's a charming essay.

One of the funniest things that Dyson says is he has his own take on various famous mathematicians. And if I remember right, he says von Neumann was a frog who thought he was a bird. I mean, isn't that an interesting thing to say about someone? Yeah, that's hilarious. I also just one other thing that it feels to me is that there's different types and that the mathematics community needs all types. Right. It's a big tent. Room for lots of different styles. We're going to be talking about another style of doing math after the break that is the way our artificially intelligent friends might do it. Hmm. Oh, I'm intrigued. Yeah. We'll be right back. Welcome back to the joy of why we're here with mathematical physicist, Yong Wei He. Let us switch gears here to start talking about our silicon friends, the AIs.

As everyone knows, like 2022, CHAT GPT took the world. By storm, we started to see artificial intelligence, not just as a thing to read about in magazines, but it was right there on your laptop and you could play with it. It's astonishing what it could do. But what about its relationship to physics or math? Do you see some role for AI in those domains?

Oh, absolutely. I mean, I think that really the future of mathematical discovery or theoretical discovery is a combination of human intelligence, human expertise with AI assisted discovery. It's already happening. I got into this whole business back in 2017. Before this, I knew nothing about AI or machine learning and all that stuff. But I happened to be working on geometrical problems related to string theory. I had been primarily working on spaces called Claveal manifolds because string theory is in 10 dimensions and we live in 4 dimensions, we need to reduce the 6 extra dimensions. One of the solutions for the 6 dimensions that will ultimately produce Einstein's equation was this paper by Whitten, Horowitz, Candelas, and Ströminger,

when they realized that these are particular shapes. That was in the mid-80s. And then for 20 years, mathematicians and physicists have been compiling databases of this geometry. The current most complete database of Clavier manifolds is about half billion. I happened to be working on these databases. My motivation at the time was to try to sift through them and find which one will give the particle content of the standard model of four-dimensional physics. So that was a fairly specialized task. But 2017, my son was born. That meant for at least three months I didn't sleep. Like literally, maybe an hour a day or something. I was completely

out of it. One night, I remember very well, the kids asleep, my wife's asleep, and I can't sleep. I have this data of tens of thousands, even millions of such manifolds, people were talking a lot about data science and big data. The word AI hasn't really seeped into it. But all I knew at the time, my former PhD students and postdocs were entering this field to learn about machine learning. I said, well, let me try to play around with some of the algorithms to see how some generic neural network would start computing invariants, which are quite complicated stuff.

The topological invariants of this manifold are not easy to compute. Would it just like kind of curve fit and give an answer? So if I'm following the story, you're saying there's a lot of different ways of dealing with those six extra dimensions and they're all somehow encoded in various Calabi-Yau manifolds. And you mentioned that there were invariants, numbers, maybe even whole numbers or other nice structures associated to these different manifolds. Were those already computed or was part of your job to compute them?

So part of my job was to compute them. When I was a postdoc, when I was a PhD student, I was doing a lot of this computer, because as a young scientist, these were things you can translate to precise things, like the number of generations of particles, the number of BPS particles in a gauge there. So they're very precise physical things like

Betti numbers or Hodge numbers. They literally count the number of BPS particles in a gauge there. So they're very precise physical things like Bedi numbers or Hodge numbers. They literally count the number of holes in these high dimensional things. And so I was involved in computing some of them, getting these quantities. But what I took was there are these manifolds whose representation is some way, and then you attach these topological invariants, which is in this case, whole numbers. That computation is hard because you have to really go through all the sequence chase, basically all that stuff in Hearthstone and all that stuff that Bubacki has

told us that you cry about to try to compute. I mean, luckily, a lot of this have been at least automated by computers. But then because I was half hallucinating. Right, it's the middle of the night. I was literally taking a manifold and representing it as a picture because it's this algebraic variety so you can record the multi-degrees. You can get them into some kind of tensor representation. But once you have this tensor representation, it's essentially a picture.

So now I have a labeled picture problem. And so, well, that looks cool. So I just fed it into some neural network, MNIST neural network, the standard ones. And I was expecting to get complete crap because in order to predict these things, you would really have to know some quite subtle algebraic geometry. Okay, I don't know where this story is going, but I like it.

Right, but then you train 50% and you validate, I mean, I was doing a frisk path and it was getting to very quickly 95% accuracy. And I was like, you've got to be kidding me. This is not possible. It can't be happening. The neural network clearly doesn't know any geometry. It doesn't even know any math. It's just basically doing handwriting recognition.

And it was getting the right answers. And now people have improved this. They're using sophisticated architectures to get into a 99.99% accuracy kind of prediction. That's really bizarre because you can't know what it's doing because I never told it what to do. It's a very good guesser. It's very good at spotting patterns and extrapolating. Yeah, exactly. So that's what got me thinking about this whole idea about what is intuition, what is mathematics, or what is this primitive version of AI doing.

Whoa. So this is circa 2017 AI doing this. And you say today's AI is much more accurate on this kind of problem. It's really helping people in string theory or other parts of algebraic geometry or whatever. So, at the time, I became a fanatic. I was like, this is awesome. Let's take every data set in mathematics you can get your hand on. So, I made like a hundred friends, just like, can I have some of your data and then can you explain to me from what branch of mathematics this is coming from? I am very grateful to being trained as a string theorist because I know string theory is now a quite controversial thing. But whatever it is, being

trained as a string theorist, what it gave him was the opportunities to talk to specialists in different branches of mathematics with somewhat of an ease. I had to learn a little bit of group theory, a little bit of representation theory, a little bit of number theory, a little bit of this, a little bit of that. And of course, not all string theorists are trained this way. But somehow my upbringing, and especially my PhD supervisor, Amir-e-Khanani, he always told me to just look at different problems, you know, just be curious all the time. So I basically spent like the last seven years just making friends and just asking them,

can you give me a data, can you explain to me why is it significant to your field of mathematics and let's see whether a newer network can do better than your computation and why would it be doing better than you and the general mathematics you know very open, very receptive to this idea. But I know that there are some mathematicians who feel that this could be a real distortion of our shared culture, right? The great legacy of Euclid is that we can understand what we're doing. When we build up from the axioms, we have clear insight into why theorems are true. We're not in Babylon just empirically noticing the Pythagorean theorem.

We're coming up with very clear proofs. And a lot of people champion this as the best thing about math is insight. And so I have friends, and I'm sure you do too, who feel that insight is the ultimate goal in math. For instance, there's an old quote that the goal of numerical analysis is not numbers, it's insight. And like you mentioned being in an office close to Michael Faraday, I'm in the office where Bill Thurston was, the great topologist. Oh, really? Oh, wow.

Yeah. So he wrote this nice article, Proof and Progress in Mathematics, arguing that it's not about churning out one theorem after another like a machine, like Hilbert would have us do. It's about one human being conveying insight to another human being. That's what we're trying to do. These AIs are not giving us insight. They're giving us patterns, but they can't explain themselves yet. They don't tell us how to think. So I'm not sure every mathematician likes this development.

What's your take on all that? You're absolutely right. So the initial experiments and the biggest criticism that I got from various people is that, well, fine. You've given me some neural network that can compute 99.99%, not 100. It still gets around sometimes, but 99.99% of a say a topology computation. So what? I learned absolutely nothing from this. It's not giving me any new tool that I can use. So because of this, over the years, gosh, eight years, oh, geez. Yeah, how old is your kid now? My son is now eight.

Yeah, he's eight. Exactly. I don't want to think about this. But that is why with my colleague here, Misha Burcev, we try to formulate a more precise and useful thing. So this came from a conference that I was running in 2023 in Isaac Newton Institute in Cambridge. We basically got some quantum field theorists, we got some number theorists, and we tried to run a three-month workshop to get everybody together to have a conversation about what's happening here.

And during this conference, we were listening to a lecture given by Brian Birch. And we wrote this quick correspondence for nature, which was entitled, The Birch Test. With all this AI guided discovery, we need something that's a little bit better than what ChachiPT can do. You know, ChachiPT passes the Turing Test, so we felt we needed something stronger for math. We called it the AIN for AI discovery. So AIN are the three components of the Birch test. It has to be A for automaticity, so that the conjecture raised by your neural network

can't be influenced by humans during its process. It has to be I, interpretable. So how do you interpret an actual human piece of mathematics out of it? And then N has to be non-trivial, in the sense that it has to galvanize an actual research topic precise enough for humans to work on. So, so far nothing has passed the Birch test in its entirety. But of course there are things that come close to it. There was this beautiful paper by the DeepMind collaboration in 2022 where they had this knot

invariance. They were using saliency tests and they got a new formula for the Jones polynomial. So that one is automatic because they got different things that did a saliency test. It was certainly interpretable because they got a formula out of it. It wasn't non-trivial enough in the sense that a conjecture that they raised, they were able to prove themselves within a month. So you test different things, like this memorization thing that I was working with Oliver and Lee and Posnikov, where we raised the conjecture in the distribution of L functions. That one passed the interpretability test because it was a precise formula. It was non-trivial in the sense that it's still open.

The parts of this conjecture have been proven but not all of it, but it fails the A test because we were kind of mucking around. We didn't say, well, here's the data for three million elliptic curves and hit the return button, do whatever we were guiding us. So we were choosing different algorithms, but ultimately it led to a conjecture that was very counterintuitive.

It was beyond what we could intuit because it was such high dimensions. led to a conjecture that was very counterintuitive. It was beyond what we could intuit, because it was such high dimensions. Even specialists like Peter Sarnak, the god of analytic number theory, when we wrote a letter to him, Sarnak said, I've never seen a conjecture like this. If Sarnak doesn't know the proof of this,

that's probably a hard one. So he's still working on it with his team of students, and we're still working on it together. So it's kind of interesting. So to your question about what merits a truly good AI assisted discovery, I think, you know, at least they must pass the Birch test. I had not heard about the Birch test before.

Well, as you may know, if you follow any of the discussions about math education, there's a movement these days to introduce more data science into education. People make the argument that what you need to be an informed citizen in the 21st century is an ability to work with numbers, read charts, have a feeling about probability and risk and uncertainty. And by this line of reasoning, since there's only so many hours in the day, something in

the classical math education may need to go. A lot of people are pointing their finger at things like trigonometry and even maybe geometry in favor of a more data-oriented curriculum. What do you think about any of that? I think it is certainly important to learn data science. To the modern human, it's inevitable. An education won't be complete without a basic understanding of machine learning algorithms

and a little bit of statistical inferencing from data. But there's something about teaching mathematical rigor, not necessarily at a university level, but just at a generalist level. There is value in teaching this mathematical rigor because it sharpens the human mind and teaches us about where we came from, about how we are human. You know, I had this wonderful conversation with the great Andrew Wiles about the advance of AI, when AI is going to replace mathematicians, and he gave a very good answer, which is he says, well, the calculator has made completely, effectively

obsolete any need for arithmetic. Why would you ever want to do that? And yet, we still teach four and five-year-olds arithmetic, because that's what makes us human. And of course, there's some other stuff that can do arithmetic better than us. And yet just in terms of shaping the neural pathways of our minds, teaching kids that is important.

It's a deep answer. Well, our show is The Joy of Why. What is it about your research or about being a mathematician and a physicist that brings you joy? Well, I mean, I'm going to give, of course, the stock answer, the beauty of the subject, the joy of understanding. It's interesting now that I got into this whole field as a teenager trying to understand the workings of the universe. But now I think the universe is so vast, I've given up trying to understand it.

But I've gotten more and more interested in just the pure beauty of the mathematics itself. What I do understand is, well, here's a theorem that I can try to prove, but here's a calculation that is very inherently beautiful. And I think the only thing more beautiful than doing mathematics is making a lot of friends to do mathematics together. Like here on a blackboard, you make a new friend or you catch up with an old friend just on this board and you just, you talk about this beautiful thing that Euclid would have done with chalk from centuries ago. And that sense of human community is

also an amazing feeling. It is community, right? And as you say, community across the centuries that you can feel like in a way you're communing with Euclid and Pythagoras and the Babylonians. Yeah, like when you write on your blackboard, you know, that was the blackboard that Thurston wrote on. That's a beautiful thing to do. Well, we've been speaking here with Yongwei He. I'm really glad to get to know you and wish we could have talked for hours more. Thanks again for being with us on The Joy of Life. Thank you very much. It's been great fun. That's a very sweet image, working at the chalkboard. It's still the best technology.

It really is. Chalk on a nice smooth board is magical. And the old boards, I don't know if you know this, but I actually salvaged one when Columbia was tearing apart some building. Our pressed glass, It's like a bottled glass, like crushed. And they're so smooth to write on and it's not like chalkboard paint or anything like that. They're just a pleasure and that is

still the best technology. Be curious to hear your reaction to this question of artificial intelligence and what it will do for a math and Let's say very arcane parts of physics Suppose the scenario does come to pass that the best theorems Some decades from now or maybe even sooner our Theorems proved and even created by machines the machines have left us so far in the dust Will it still be fun to do math? Will it be worth doing? in the dust, will it still be fun to do math? Will it be worth doing? Aye, aye.

I think that I do math that other people understand until I understand it, right? So it's not trying to learn just something as basic as geometry as we were discussing. I'm not satisfied with the fact that the world understands geometry, therefore I don't have to. That doesn't really work like that.

I still try to learn it. I still try to understand it. I still try to acquire it. It's not as though, oh, well, somebody else has it in their brain, therefore it doesn't need to be in my brain. It's almost the opposite. It should kind of be touching all of our minds, right? You know, it's this one thing we all can share.

And just by doing these thought experiments of trying to understand a circle or a triangle or a square. So, I guess if a superintelligence solves some quantum gravity problem or understands the space-time geometry of the whole universe, I'm not done. I've got to understand it too. All right. Well, good luck. That's optimistic. And I'll see you back here next time. All right. See, good luck. That's optimistic. And I'll see you back here next time.

All right. See you next time. Thanks for listening. If you're enjoying The Joy of Why and you're not already subscribed, hit the subscribe or follow button where you're listening. You can also leave a review for the show. It helps people find this podcast. Find articles, newsletters, videos, and more at quantamagazine.org. The Joy of Why is a podcast from Quanta Magazine, an editorially independent publication supported by the Simons Foundation. Funding decisions by the Simons Foundation have no influence on the selection of topics, guests, or other editorial decisions in this podcast or in Quantum Magazine.

The Joy of Why is produced by PRX Productions. The production team is Caitlin Faulds, Livia Brock, Genevieve Sponsler, and Merritt Jacob. The executive producer of PRX Productions is Jocelyn Gonzalez. Edwin Ochoa is our project manager. From Quanta Magazine, Simon France and Samir Patel provided editorial guidance with support from Matt Carlstrom, Samuel Velasco, Simone Barr, and Michael Canyungolo. Samir Patel is Quanta's editor-in-chief.

Our theme music is from APM Music. The episode art is by Peter Greenwood, and our logo is by Jackie King and Christina Armitage. Special thanks to the Columbia Journalism School and the Cornell Broadcast Studios. I'm your host, Steve Stroganz. If you have any questions or comments for us, please email us at quanta at simonsfoundation.org.