Latest / Uncomfortable Conversations with Josh Szeps / The Mind-Boggling Magic of Math with Adam Spencer
Transcript
- 0:00We've got enough rattling around up here that we look at the universe and go,
- 0:04what's going on?
- 0:05And of all the different languages we have,
- 0:08to describe what's going on, what we see,
- 0:10to explain it to someone else, to try and predict what might happen next,
- 0:13art is beautiful, music's unbelievable, painting,
- 0:16mathematics is clearly the divine and most beautiful of those languages.
- 0:23G'day humans, welcome to the safe space for dangerous ideas
- 0:27and a big doozy of a deep and profound dangerous idea today.
- 0:31I don't want to talk about Iran.
- 0:33I don't want to talk about the Middle East or Israel
- 0:35or Jeffrey Epstein or artificial intelligence.
- 0:38I want to talk about how it is that physicists and mathematicians
- 0:43can squiggle gobbledygook on pieces of paper
- 0:46that mean absolutely nothing to you or me,
- 0:49and those equations, those numbers, those sequences of squiggles
- 0:53can accurately represent and predict the behavior of everything in the entire universe.
- 1:01What exactly the hell is going on with maths?
- 1:05How do those equations work?
- 1:06How do they teach us about the fabric of reality?
- 1:09How is it that every single object in the universe,
- 1:11from a skyscraper to a black hole to your liver,
- 1:15will obediently obey and comply with things which mathematicians deduce
- 1:21from other things that they've deduced from other things that they've deduced from other
- 1:25complicated things that they've deduced.
- 1:28Today's episode will blow your mind a little bit with
- 1:31facts about the fabric of reality, the size of the largest numbers, whether or not different
- 1:36infinities have different sizes.
- 1:37This was one I found it hard to follow.
- 1:40But apparently the answer
- 1:41is yes, there are larger infinities than other infinities.
- 1:44So what exactly is infinity?
- 1:47We also
- 1:47get into my favorite sort of brain tickler of all, the Monty Hall problem, which is a probability
- 1:55problem that was raised by a popular American television game show and which captivated America's
- 2:00thinkers and wisest minds for many years.
- 2:03Adam today will break it down for you and explain
- 2:06how you can explain it to other people at parties to leave them wowed and impressed by your galaxy
- 2:11brain.
- 2:12Adam Spencer is a former radio host.
- 2:14He was toying with doing a PhD in pure maths when he
- 2:18entered a stand-up comedy competition and ended up becoming a radio star and a comedian in Australia
- 2:23instead.
- 2:23He's now a keynote speaker.
- 2:25He is the University of Sydney's ambassador for mathematics
- 2:28and science.
- 2:29He has given a TED talk, a real TED talk, not a TEDx, like a real legit TED talk,
- 2:34which was of course entitled, Why I Fell in Love with Monster Prime Numbers.
- 2:40Probably one of the
- 2:41nerdiest uh ted talk titles in all of ted he has a new sub stack it's called nerd news you can find
- 2:48him on adam b spencer on sub stack i hope you enjoy as much as i did this little departure
- 2:54from the news cycle with the one the only adam spencer
- 3:03what's fascinating about what you just said about uh before we were recording uh you're
- 3:07But you basically see the world numerically.
- 3:10Yeah.
- 3:10And yet I have always known you, and many Australians have always known you, as a creative person, as a comedian, as a – you may not want to call yourself a journalist, but you were fundamentally a journalist when you were hosting ABC Radio.
- 3:22And so why does a – what does that mean?
- 3:24Are you both?
- 3:25Are you everything?
- 3:26Well, I'm certainly not everything.
- 3:27Right.
- 3:28Are you Yahweh?
- 3:29I'm sort of more seven and a half out of ten on a lot of things than a ten on anything.
- 3:34Right.
- 3:34It is interesting because from the very earliest age, I just know I saw the world numerically.
- 3:40Maths just made sense to me.
- 3:44At primary school, I was like, yep, yep, come, bring on, give me more, feed me more.
- 3:47It just, I don't recall encountering anything in mathematics that was challenging.
- 3:53Wow.
- 3:54Until the very ends of year 12 or going into university.
- 3:57It was always just the next logical step forward.
- 4:01I'm lucky that I'm also reasonably verbal.
- 4:03so I can hold a conversation and debate and run a radio show,
- 4:07but I'm still absolutely the drive-through.
- 4:09The house I live in is number 155 on that street.
- 4:15Right.
- 4:15And the day I was moving in years ago, I met my neighbour who lives in 153.
- 4:22We'd been speaking for a couple of minutes before I said,
- 4:26you're in number 153, I'll tell you a cute thing.
- 4:29the number 153
- 4:31if you take the digits
- 4:33and cube them
- 4:36one cubed is one
- 4:37five cubed
- 4:38five times five times five
- 4:39that's 125
- 4:41three cubed that's 27
- 4:42add them up
- 4:43you get 153
- 4:44there's only four
- 4:45three digit numbers for which that happens
- 4:46153, 373, 371, 407
- 4:49I've just literally
- 4:50and by this stage your neighbour
- 4:51had backed away into his house
- 4:52and bolted the door
- 4:53nervous
- 4:53yeah nervous
- 4:54we've known each other for 90 seconds
- 4:56and I'm dropping facts about Armstrong
- 4:58But that's not – is that a love – I would think of the phrase I see the world numerically as being different from that.
- 5:07That strikes me as like an Aspie sort of like an autistic kid with his train set who's like, here's a toy and I have this great toy.
- 5:17And isn't it amazing that the toy does this?
- 5:19Look at my toy, which is different from maybe – when you say you see the world numerically, I sort of think of like synesthesia or something like that.
- 5:27where things occur for you in a numbered form instead of a lyrical.
- 5:36Yes, and for me, the vast bulk of human interactions,
- 5:40I mean, love is cool and all that, don't get me wrong.
- 5:43But I will quantify it if I can.
- 5:44No, but going to the supermarket with my wife and we're shopping,
- 5:48and the trolley's pretty close to full and we're close to done.
- 5:52Well, I'm going to go now and get in the queue.
- 5:54You can get the remaining few items.
- 5:55So by the time I get to the front of the queue and I'm halfway through finishing this, you can just drop those items in.
- 6:00We should be – no, no, please – no, no, no.
- 6:02Well, otherwise, we're going to stand in the queue a lot longer.
- 6:04This is just not the efficient way.
- 6:05Yeah, and she's like, who cares?
- 6:06It's four minutes in a queue.
- 6:08Oh, yeah.
- 6:08You're like suboptimal.
- 6:09Yeah, and we're here to spend time together.
- 6:11No, I didn't get married to you to spend time in the frozen section of Woolworths.
- 6:15It's what we can do when we get out of here quicker if we do it this way.
- 6:18Yes.
- 6:19And so that's sort of – everything's just a data processing thing for me.
- 6:22Yes, I understand that.
- 6:24Yes.
- 6:24I'm like that as well whilst not being great at maths.
- 6:27I find it very hard not to care about optimisation of things.
- 6:33I think a lot of tech-interested people are just sort of instinctively like that, aren't they?
- 6:37So I tend to tick all the boxes.
- 6:39I like optimisation.
- 6:41I'm pretty good at remembering facts about numbers.
- 6:44I'm pretty quick at calculating things as well.
- 6:47So all that comes together to just generally seeing the world.
- 6:51My theory is that you, like, what makes us different?
- 6:56If you went to a planet and there was just moss and tadpoles, mind-blowing in the scope of the universe,
- 7:03no one on that planet understands that in a right-angle triangle, the sum of the two squares and sides is the square of the hypotenuse,
- 7:08even though it's definitely true on that planet, right?
- 7:10Yes.
- 7:11We've got enough rattling around up here that we look at the universe and go, what's going on?
- 7:17And of all the different languages we have, to describe what's going on, what we see, to explain it to someone else, to try and predict what might happen next, art is beautiful, music's unbelievable, painting, mathematics is clearly the divine and most beautiful of those languages.
- 7:33Why does it matter that the tadpole swamp, that in the tadpole swamp, a right angle triangle, which will never exist in the tadpole swamp, has this strange relationship between the squares of the sums of its sides?
- 7:48What it points to is there are doubtless other deep mathematical truths that are almost certainly beyond the ability of our brains to comprehend.
- 7:58I don't doubt at all there's maths out there that is absolutely true.
- 8:01The human brain will just never – we're not going to get to one day and go, wow, we've finished maths.
- 8:06There's a couple of small branches of mathematics, group theory and things like that.
- 8:09We could almost put a bowl around it and say we've done that.
- 8:12mathematics every time someone stumbles onto something new it's like lighting a candle for
- 8:17a second in a massive dark room and it blows out a second later i think i saw something over there
- 8:21let's go pondering around in the dark it's one of the exciting things about what we're starting to
- 8:25see very early with artificial intelligence assisting some great mathematicians and
- 8:30physicists in their work is it may well help us get to levels of understanding the human brain
- 8:36alone would not and then quite possibly we'll go on and say stuff where it's going trust me it's
- 8:41true yeah well the smartest people we've got are just going to go okay because adam when you say
- 8:47like it'll help us to understand one thing that i think a lot of people feel when they
- 8:52hear maths and i felt this was that it gets to a point at which you can understand the the fact
- 9:00that it must be true yeah but you can't understand yes that it's true and i think you know even
- 9:05mathematicians regard quantum physics this way like you know you can't actually grasp it you
- 9:10You can do it on paper.
- 9:12You can conclude that this has to be the case.
- 9:15But you just don't know what you're talking about.
- 9:17Like for me, arithmetic, I actually understand.
- 9:22Like the fact that 3 plus 3 plus 3 is 9, that is –
- 9:25Put some dots on a bit of paper.
- 9:26Put some dots on a bit of paper.
- 9:27It is absolutely true.
- 9:28I don't even have to test it in real world.
- 9:30I can just – in my brain, I can imagine that.
- 9:32Quadratic formula, x equals minus b plus a minus square root of b squared minus 4ac over 2a.
- 9:36Where maths lost me, at least in the public school system in Australia,
- 9:40was once we started getting into derivatives,
- 9:42once I was in three-unit maths, which is the higher,
- 9:44but not the highest level of maths you can do,
- 9:46it became so divorced from anything that I could understand what it was doing.
- 9:50So you draw a curve, you draw a tangent,
- 9:52you keep getting the tangent better and better.
- 9:53That's not clearly the function of x plus h
- 9:56minus the function of x over the change in...
- 9:59No.
- 10:00Yeah, not really.
- 10:01Well, maybe you're just touching at the very edge,
- 10:03but once you get into dxdy and all of that...
- 10:05Well, for me, two years into my PhD, two years into an attempt to do a PhD, when I realised that in my first four years of maths at uni, in which I'd got a first class honours and shot the lights out in some subjects, to be honest, I probably was better at getting really good marks in exams than truly deeply at a molecular level understanding some of the deeper concepts.
- 10:30And when I started to try and do a PhD, more than anything, I just didn't have the toolkit.
- 10:35I had not done the right subjects
- 10:36I hadn't concentrated hard
- 10:37been doing lots of other fun stuff
- 10:38getting amazing marks
- 10:39thankfully a radio career
- 10:41sort of came in
- 10:41and tapped me on the shoulder
- 10:42and took me away from that
- 10:43it's one of my few regrets in life
- 10:45is I genuinely don't know
- 10:47if I'd arrived first day uni
- 10:49Sydney uni
- 10:50and gone
- 10:50I want to do a PhD in maths
- 10:52or even if maybe in about year 10
- 10:53I'd realised it
- 10:55and gone flat out
- 10:56could I have got one or not?
- 10:58that's an open question
- 10:59a PhD?
- 10:59yeah
- 11:00oh you would have gotten a PhD easy
- 11:01pure maths is
- 11:02those get no disrespect
- 11:03to other PhDs, they get pretty crunchy when you've got to create.
- 11:07Yeah, but you're so bright.
- 11:08I mean, you would get a PhD.
- 11:08When you've got to create new mathematics.
- 11:09Whether or not you would make a breakthrough in – I thought you were saying,
- 11:12would you make a breakthrough in maths?
- 11:14Spencer's theorem.
- 11:15Yeah, exactly.
- 11:15Would there be Spencer's theorem is the question.
- 11:18But you'd get definitely – we've got a PhD, I reckon.
- 11:20And your understanding – so if we're differentiating between the brain tickler,
- 11:25which is the party trick, which is like 153, bloody blah,
- 11:28there's only four numbers that do this, and we're going to do some of those
- 11:30because I do like them and I love them.
- 11:32In fact, I'm so glad that you brought me the Monty Hall problem because one of my – you emailed me saying, well, we could talk about some of these things.
- 11:39It's one of my favorite things in the world.
- 11:40It's one of my favorite things in the universe.
- 11:41I mean when I first heard it and then first actually grokked it, that's the thing.
- 11:46When I really understood it, didn't just take it on faith, a fabulous problem.
- 11:52And that's one of the great joys about being a public maths communicator is seeing that moment in people's minds.
- 11:57Oh, so infinity is not a really big number.
- 12:01It's an indication of measurement beyond any possible number.
- 12:06Oh, now that makes sense.
- 12:08Now I'm jealous of the hypothetical person who you were just pretending to be because I don't know that.
- 12:13You sent me a link, which I couldn't open because it was on perplexity and I don't have an account.
- 12:17And the title was something like infinity is –
- 12:21There are different sizes.
- 12:23Yes, some infinities are bigger than others.
- 12:26And I was like, I wasn't intending to ask you this at this point in the conversation.
- 12:31We can do it.
- 12:31But we've gone there.
- 12:32So what the fuck?
- 12:33Okay.
- 12:33So first thing with understanding, and infinity is great.
- 12:35Infinity first pops into kids' heads at around the age of seven or eight.
- 12:39They hear about this.
- 12:39My kids are eight.
- 12:40They're obsessed.
- 12:41They love it.
- 12:41Did you know that there are infinity blah, blah, blahs?
- 12:44Right.
- 12:44And they'll say, yeah, well, my dad is as strong as infinity.
- 12:49Yes.
- 12:50Well, really, because my mum is as strong as infinity plus 10.
- 12:54Yeah.
- 12:54Well, my dad's as strong as infinity times infinity.
- 12:57And what they're doing, and it's understandable, and what most people do, people think of infinity as the biggest possible number.
- 13:05Infinity is not a number.
- 13:08It's a term of measurement.
- 13:09If I said to you, you know, we're at the SCG watching the Swans play.
- 13:13That's a big, we have international audience, Adam.
- 13:16I'm a global show.
- 13:17No one knows what the fuck the SCG is.
- 13:18I'm at Old Trafford watching Man United.
- 13:21They're mostly in America.
- 13:23I'm at the Staples Centre watching, I think, one of the New York basketball teams.
- 13:27And I go, wow, there's lots of people here.
- 13:31And another 10 people walk in.
- 13:33Do you say, wow, there's now lots plus 10?
- 13:35No, lots is a measurement as opposed to a specific number.
- 13:38And infinity says, so large, no number can describe it.
- 13:45So how many counting numbers are there?
- 13:47Start at 1, 2, 3, 4.
- 13:48Are there 10 counting numbers?
- 13:50No.
- 13:50Because there's a number called 11.
- 13:52Are there a thousand counting numbers?
- 13:54No.
- 13:55Are there a trillion counting numbers?
- 13:57A trillion to the power of a trillion?
- 13:58No.
- 13:59There's an infinite, there's an infinity of counting numbers because no number can describe how big that is.
- 14:06But where it gets really cool is this.
- 14:08Okay.
- 14:10Let's compare the size of different infinite things.
- 14:13Wait, let me just pause and understand that to begin with on behalf of my audience.
- 14:18This is good because a lot of people when I talk about this sort of stuff go, yeah, okay, yeah, okay.
- 14:22No.
- 14:22The secret to maths is truly understand every micro step.
- 14:25The way a layperson like me might articulate that is that infinity does not belong in the same category that numbers do.
- 14:35Infinity is the basket in which all numbers sort of exist.
- 14:41Infinity is the collective noun, essentially, for that set that is all of the numbers that are.
- 14:50That works at this stage until I show you that some infinities are different sizes.
- 14:54Pull the rug out.
- 14:54Here we go.
- 14:55We're going to play a game.
- 14:57You've got on your side of the desk the numbers 1 to 100, all on different cards.
- 15:03You've got 100 cards.
- 15:05I've got all the even numbers, 2, 4, 6, 8, up to 100.
- 15:08I've got 50 cards.
- 15:09Okay.
- 15:10You have more cards than me, don't you?
- 15:12Yes.
- 15:12Let's take it.
- 15:13You've got it up to a million.
- 15:14I can already see where you're going.
- 15:14The whole numbers.
- 15:15I've got the even numbers up to a million.
- 15:17You've got more cards than me, yeah?
- 15:18Yes.
- 15:19I've got twice as many as you because I've got all the odds and the evens.
- 15:21You've only got the evens, right?
- 15:22You've got all the counting numbers from one forever.
- 15:25I've got all the even numbers from two forever.
- 15:27Right.
- 15:28Do you still have more cards than me?
- 15:37well no i don't think so because we've i mean i know that i'm supposed to say yes because i've
- 15:43got some cards that i don't have you don't have good how could you convince yourself you don't
- 15:48have more cards than me i'm not going to say you have the same number of cards because you don't
- 15:52have a number of cards anymore how can you show yourself that you have this yeah that you don't
- 15:58have more cards than me?
- 16:02Only by taking it on faith that numbers are infinite.
- 16:07Let's do something a
- 16:08bit more concrete than that.
- 16:09Okay.
- 16:09Grab any card out of your deck, pull it up.
- 16:11What number card
- 16:12have you got?
- 16:13126.
- 16:13Okay.
- 16:13I'm going to double that and I'm going to pull out card 252.
- 16:15We're going
- 16:17to match them up, put them in the middle.
- 16:18Pull another card out of your deck.
- 16:2032.
- 16:21I'm going to
- 16:21double that.
- 16:22I'm going to pull out 64 out of my deck.
- 16:23Boom.
- 16:24Pick one of the odd cards out of your
- 16:25deck.
- 16:25Three.
- 16:26I'm going to match it with six.
- 16:28I'm going to put it in the middle of the table.
- 16:30Every card you pull out, do you agree there's a card I could pull out that we could match under
- 16:34that little rule of doubling?
- 16:35Yes, because you're doubling and all doubled numbers are even.
- 16:38Do you agree that every time you pull out a card, there's only one of my cards that'll match it if
- 16:41we double?
- 16:42Yes.
- 16:43Do you agree that every card on my side would end up with one unique card on your
- 16:49side and they'd pair up?
- 16:50Yes.
- 16:51So you could list your cards.
- 16:52One, two, three, four.
- 16:54I could list
- 16:54mind, 2, 4, 6, 8, we could draw an arrow between each of those pairs.
- 16:58Yes.
- 16:58And there is a 1 to 1 correspondence between those two groups of numbers.
- 17:04Right.
- 17:05They are the same size.
- 17:06The infinity of counting numbers and the infinity of even numbers are the same size of infinity
- 17:11because they can be matched up 1 to 1 like that.
- 17:14Okay?
- 17:15Yes.
- 17:16Now, it turns out we can do the same with fractions.
- 17:19We won't go down that path.
- 17:20anyone listening just look up can't or C a n to R and the cantors fraction
- 17:27singers quite beautiful but let's go now wait just pause on that last proof so
- 17:33you were saying that that's a proof as to why our infinite my infinity is not
- 17:37larger than yours they are the same size but my for when I when I play a three
- 17:45and you play a 6
- 17:47Yes
- 17:49Your 3 is connecting to my
- 17:53Sorry, my 3 is connecting to your 6
- 17:55but I also have a 6
- 17:57That'll connect with my 12
- 17:59Your 6 doesn't need to be jealous
- 18:00I've got room for it over here
- 18:02Right, I see
- 18:03That's just a coincidence
- 18:04those two words being 6 in those two sentences
- 18:06Yes, okay
- 18:06That card has a match over here
- 18:08Right, so my 1 will have
- 18:10So we call the counting numbers
- 18:12countably infinite
- 18:14I see
- 18:14An infinite list that can be arranged in order where there's a set spot for everything is
- 18:18countably infinite.
- 18:19You can now actually see, well, of course, the even numbers are countably infinite.
- 18:22Just list them numerically, and their spot on the list is half of the face value of the
- 18:28card.
- 18:28So that proof is that those infinities are the same size.
- 18:30Cool.
- 18:30Yes.
- 18:31Trust me on fractions.
- 18:32We'll leave that for a second.
- 18:33Sure.
- 18:33But when we get into those irrational numbers, decimals that go on forever, quick sidebar,
- 18:40when people hear the word irrational, they think, ooh, a bit crazy.
- 18:43Ooh, can't be trusted.
- 18:43Actually, it comes from the word ratio.
- 18:47Can't be written as a ratio or a fraction.
- 18:50Remember pi in high school?
- 18:52You'd write 22 over 7 because that's pretty close.
- 18:55It's not the same.
- 18:57If you want to go really cool, 355 over 113.
- 19:01Hey, look at him.
- 19:02But they're approximations.
- 19:03You cannot write pi as a fraction.
- 19:06The decimal goes on forever.
- 19:07It is not fractionable, not ratioable, irrational.
- 19:11I see.
- 19:12When we take all those numbers, just say I said to you, yeah, all those irrational numbers, they're countable.
- 19:23The challenge would be, okay, Adam, can you write a list of them in order that match up one to one with the counting numbers?
- 19:29I've got to be able to do that for them to be countable.
- 19:32I've got to list them numerically.
- 19:34I can't do that.
- 19:35The two ways to see that would be if I listed all my numbers numerically, take any two numbers on that list, eventually in the decimals where they go different, you'd be able to squeeze another number in.
- 19:47Wait, you've lost me.
- 19:48Okay.
- 19:49So you've got a list of irrational numbers.
- 19:51Yep.
- 19:51All the irrational numbers in the world?
- 19:53Yep.
- 19:53Okay.
- 19:54There's lots of them.
- 19:55What are we trying to do with the irrational numbers?
- 19:57Put them in an order where you could match up in the same way we said one matches with two, two matches with four, three with six.
- 20:03What's number one on your list?
- 20:04What's number two on your list?
- 20:05what's number let's let's let's go just the positives we'll start at zero what's the first
- 20:11irrational number on your list well it wouldn't take me forever to say it yep and once you chose
- 20:17to stop yeah i could squeeze another number but if you went 0.00 and said 78 zeros and a one
- 20:23yep i'd go what about i'd go i'd go 80 zeros and i can get a smaller one yeah any two numbers on
- 20:28your list i can squeeze another one in another another number in between another irrational
- 20:33I thought you meant that you could squeeze another digit into the tail of the irrational number, which maybe the proxy is the same thing.
- 20:40If your two numbers on the list are not, if they're not the same number, at some stage, the decimals have to change.
- 20:47So we're starting off with zero.
- 20:51We're trying to list from lowest to highest all the numbers that cannot be expressed as a fraction, as a ratio.
- 21:00And including the ones that can.
- 21:01You can squeeze them on the list too.
- 21:02Oh, I see.
- 21:03It doesn't matter.
- 21:03We're adding to my existing list.
- 21:05Okay.
- 21:05And we start with zero point and then I give you a trillion, trillion zeros and a one.
- 21:13And then I give you a trillion, trillion zeros and a two.
- 21:16And you go, no, no, no, but I can squeeze in between the one and the two.
- 21:22I could go one, five.
- 21:23Yeah.
- 21:23And blah, blah, blah.
- 21:24Okay, right.
- 21:24You can never write a complete list.
- 21:26So there's an infinite number of both irrational and rational numbers in my list.
- 21:34Yes, but that list of irrational numbers cannot be arranged countably.
- 21:39It is a bigger infinity than the infinity of the counting numbers.
- 21:44Some infinities are larger than others.
- 21:49There's countably infinite, and then there's uncountably infinite, which is larger.
- 21:53There are more things in it.
- 21:56Is that a way of expressing it?
- 21:58The fact that there are more things in it doesn't cover it
- 22:00Because our counting numbers and even numbers still had
- 22:03There are more things in it
- 22:04Right
- 22:04But they cannot be ordered in a way that they can be counted
- 22:08Yeah, okay, you just broke my brain
- 22:10Yeah
- 22:10How can there be a larger
- 22:12If infinity is not a number
- 22:14But a basket in which the set of all numbers sits
- 22:20Yeah, right, okay
- 22:21Then it can also include the set of all even numbers, which are also infinite.
- 22:26Yeah.
- 22:26And the set of all...
- 22:27And I think it was Bertrand Russell that showed if you have a set of anything,
- 22:33and then you create the set of all subsets or smaller sets that sit within that,
- 22:38including the set itself, that has to be bigger than the set you started with.
- 22:43So once you get the...
- 22:45So once we've got those two infinities,
- 22:47there's actually an infinity of different sizes of infinities.
- 22:50So what does that even mean?
- 22:52Which was enough to make my microphone collapse from excitement
- 22:56Yeah, okay, that's good
- 22:58I'm not going to dig into that anymore because otherwise my brain is going to break
- 23:02This is part of the fun of it, this is the magic of it for me
- 23:06And what I love is also when you explain a series of mathematical concepts to some people
- 23:10There's not necessarily just a, you'll all get this, you'll all get that and you'll start to thin out
- 23:14Some people will totally, the infinity thing makes complete sense
- 23:17Oh, I don't understand the Monty Hall problem
- 23:19Right.
- 23:20Or, I've got the Monty Hall problem, can't get the birthday paradox for the life of me, et cetera, et cetera.
- 23:24And are you excited by – I mean, some people sort of – some people will be listening to this or may not even be listening to this anymore because they'll be like, I'm not into this kind of thing, right?
- 23:33They're like, you know what?
- 23:35Yep.
- 23:35Who gives a shit about your infinities?
- 23:37Like, what does it even mean?
- 23:38What does it matter?
- 23:39Yep.
- 23:39Which I always got frustrated with in the case of philosophy because I was more of a philosophy nerd than a mathematics nerd.
- 23:45So I would be super juiced about like, you know, I don't know, Cartesian dualism or the problems of the existence of God or whether morality was actually embedded in the universe or whatever.
- 24:02And people would think, what's that got to do with anything?
- 24:04Like, why do you care about epistemology?
- 24:08And I never understood why they had such disdain for things that were so obviously fascinating to me.
- 24:13Are you equally juiced by philosophy or does it have to be a numerical – are you particularly tickled by numbers?
- 24:22Yes.
- 24:23I've looked into philosophy a lot less than mathematics.
- 24:27I can absolutely understand the attraction.
- 24:30It doesn't quite do it for me.
- 24:33I do remember one time – I was doing philosophy in first year at uni.
- 24:38Yeah.
- 24:39and the tutor was rattling off this stuff, and he said,
- 24:42you know, I mean, for example, how do we know there's a world outside this room?
- 24:48How do we know the entire universe isn't just what we experience
- 24:50at any given moment in time?
- 24:52And everyone else in the tutor's sitting there going, yeah, hey, that's cool.
- 24:55We just want to pass, mate.
- 24:56That's fine.
- 24:57Whatever.
- 24:58And I remember putting my hand up and saying,
- 25:01I know there's a world outside this room because if on Tuesdays
- 25:06between three and four o'clock, I hung out in that world instead of coming here to this world,
- 25:13you would fail me for non-attendance.
- 25:15And you can't fail me for hanging out in a place that
- 25:17doesn't exist.
- 25:19Which actually, that does sort of go to a deeper level of the question.
- 25:22He failed
- 25:23me anyway.
- 25:25But it's the same.
- 25:29I love your podcast.
- 25:31To be honest, I will see some episodes come up
- 25:32and go, I'm going to listen to that right now.
- 25:35It's more important than anything else I'm doing.
- 25:37There's others I'll look at and go, put it in the queue if I get there.
- 25:40Don't really care.
- 25:41That's only because you like the number at the front of the podcast.
- 25:44You're like, it's podcast 153.
- 25:47I've got to listen to that one.
- 25:48Not a prime, not going there.
- 25:50But I don't feel everyone has to be interested in everything,
- 25:55but as a general default, if you're a bit more curious than you're not,
- 26:00that's a good place to be.
- 26:02And if you're comfortable looking at something and going, I don't understand that and not running away from it, but I'm going to dip my toe in that and see if I can and if I'm interested in the idea of potentially understanding that.
- 26:12I mean, what I love about maths is really when it does sort of – when it touches at its most deepest level on what is the world that we live in rather than here's a party trick in a way.
- 26:23Like, I mean, that's why – it's the same reason why I like philosophy.
- 26:25Like when your tutor is saying how do we know there's a world out there, he's really just taking a spin on an old epistemological problem of like how do we know – yeah, like we know that our eyes sometimes deceive us.
- 26:39We know that there are optical illusions and things.
- 26:41We know that sometimes we hear phantom sounds.
- 26:44How do we know that the whole thing isn't the Matrix, right?
- 26:47Like I mean we don't actually know that we're not in the Matrix.
- 26:50For younger listeners, that was an ancient movie made in the 1990s.
- 26:54and
- 26:55you know
- 26:57so Descartes
- 26:58wrestled with this
- 26:59you know
- 27:00and you get down
- 27:00to this fundamental
- 27:02thing of like
- 27:02well all I really know
- 27:04about anything
- 27:05is that I'm having
- 27:06an experience
- 27:07that's the one thing
- 27:07that I can be
- 27:08which is Descartes
- 27:09I think therefore I am
- 27:10that's the one thing
- 27:10and I found that
- 27:11really interesting
- 27:12because it's like
- 27:13what is the nature
- 27:13of the world we live in
- 27:15the only thing I can be
- 27:16absolutely certain of
- 27:17is that something's going on
- 27:18in terms of me
- 27:19having an experience
- 27:20about something
- 27:20regardless of where I am
- 27:22I quoted the old
- 27:22D-dog in my TED talk
- 27:23There you go.
- 27:24It's one of the most succinct things, one of the most succinct statements of being there's ever been.
- 27:29Yes.
- 27:30Possibly the only statement of being.
- 27:31And so when you get to the mathematics of – I guess you get to the ontology, which is the field of philosophy about what is it that exists and comes to questions like are mathematical equations woven somehow into the fabric of existence?
- 27:49Does maths exist independent of us or have we created it?
- 27:52Right, or are they tools that we've invented in order to better understand an incomprehensible world?
- 27:57I found that really fascinating.
- 27:58And then you get to the sets of infinity.
- 28:03I mean, infinity, larger infinities and lesser infinities straddles the,
- 28:08is this really actually interesting because we're talking about something that exists?
- 28:12And is this just a brain-tickling party trick that we've been able to pull out of our bums
- 28:16because we've invented a concept like infinity that actually doesn't exist in the world anyway,
- 28:20so now we're just playing with definitions.
- 28:22And so, yes, I say all of that as essentially an entree into a few more of these party tricks.
- 28:31Party tricks.
- 28:32Absolutely.
- 28:32Just quickly on your point there, what I love about it is that,
- 28:35now take something else that someone might be absolutely passionate about, like anime.
- 28:40Anime exists.
- 28:41It exists in a certain part of the world.
- 28:43I can live my life without any interaction with anime.
- 28:48and I think if anime didn't exist,
- 28:50I don't think my life would change in any way.
- 28:53One of the things I love about mathematics,
- 28:55it is so deeply woven into everything that everyone does.
- 29:0099 point, as many nines as you want percent of the time,
- 29:03not realising it.
- 29:05The fact that every time you turn a light switch on,
- 29:08the light comes on is a fucking miracle, right?
- 29:13A miracle of engineering,
- 29:14but also of network supply and deep mathematics.
- 29:18When your phone tells you where you are,
- 29:21it's relying on theories of relativity
- 29:25to take account of the fact that the satellite's moving
- 29:28at a slightly different speed to you,
- 29:30so it's experiencing time at a different rate.
- 29:34Just explain that for people who haven't come across that.
- 29:36Einstein said that time is not a fixed static thing.
- 29:40It is relative to the perception of the mover.
- 29:42So if you were moving at, he was great like this Einstein, didn't have any devices, didn't have any equipment.
- 29:49He just had thought experiments.
- 29:50He was sitting on the back of his trolley looking at the clock.
- 29:53Yeah, he was in a patent office in Switzerland, third level, no disrespect to people in the public service, just ticking it off and thinking.
- 30:01And one of the thought experiments went along the lines of, I'm standing here watching a train go past on a bridge.
- 30:06And that train is flying.
- 30:08It's going at just under the speed of light.
- 30:12and I see it turn on its lights,
- 30:16as the train's going at almost the speed of light,
- 30:18I'm only going to see that light move out away from the train very slowly
- 30:23because the train's almost catching the light.
- 30:25Almost like if you were throwing a ball off the front of the train or something.
- 30:29The person on the train who flicked the lights
- 30:31is just going to see the light fly out.
- 30:34How can the light be doing both of those things at once?
- 30:37only if the transmission of time is different for the two people depending on where they are.
- 30:43Einstein realised if you and I were twins, we went out to a rocket ship on our 40th birthday,
- 30:47I cuddled you goodbye, you hopped on and flew off in that rocket ship at almost the speed of light
- 30:52and came back and landed on my 65th birthday, 25 years later,
- 30:56can't wait to say to you, happy 65th birthday.
- 30:58You're going to say, what are you talking about?
- 30:59I'm 42.
- 31:01Time has passed fundamentally different to us
- 31:03given our relative experience and movement within the cosmos.
- 31:07And it's not a trick.
- 31:08It's not like...
- 31:09And we've done the test.
- 31:11So for people who are like, I'm not sure about this.
- 31:13If you get two clocks, you put one on the ground,
- 31:16you put the other clock into space, you bring it back,
- 31:19the clock in space is ticking slower.
- 31:20And it's not that the clock has been hoodwinked.
- 31:22No.
- 31:23It's that you actually would have aged slower as well.
- 31:26As you say, I wouldn't have the wrinkles.
- 31:28Even people coming back from the International Space Station
- 31:30are fractions of a second slightly of different age experience in that time
- 31:36because they're up there at 150,000, dot, dot, dot.
- 31:38The one I love most of that, Einstein in 2015 when he comes.
- 31:41So special relativity in 1905 is pretty cool.
- 31:45We probably would have got there without him.
- 31:48We were sort of moving in that direction, Minkowski and all that sort of stuff.
- 31:51General relativity, some people say if Einstein hadn't stumbled on that,
- 31:55there could be a long time before we got it.
- 31:58And one of the things that general relativity predicted was that when sufficiently large events happen, like black holes crash into each other or something, there's a warping of space-time itself.
- 32:07These waves pass through, gravitational waves pass through the universe.
- 32:12They'd eventually pass to Earth.
- 32:13In theory, we'd be able to measure them.
- 32:15And in 1915, anyone who's caught a plane is going, good on you, EGY.
- 32:19We'd never be able to.
- 32:21It took us until 2015 to have built a device that managed to measure that the space-time in which that device itself sat expanded and contracted as a gravitational wave came through 100 years to the year.
- 32:38What's the device, and can I have one?
- 32:39Okay.
- 32:40So very quickly, the only way you can do it, this thing shoots a beam of light.
- 32:43Where is it?
- 32:44There's a couple of them.
- 32:46Is it at CERN?
- 32:46Are these the big powerful accelerators?
- 32:47No, over in the United States.
- 32:49And they're called LIGO.
- 32:50them.
- 32:51Oh, right.
- 32:51Laser
- 32:52interferometer.
- 32:55If you shot a beam
- 32:56of light, I'm pointing out straight
- 32:58ahead of me, and a beam of light
- 33:0090 degrees out straight off my left shoulder.
- 33:03And they both went exactly
- 33:04the same distance, hit a mirror
- 33:07and came back.
- 33:09If during that time
- 33:10space-time itself warped
- 33:13and a wave passed through,
- 33:15one of those beams of light would travel
- 33:16slightly further, and when the two light
- 33:18beams came back, you'd see a bit of interference.
- 33:20They wouldn't be in sync anymore.
- 33:22Yeah, right.
- 33:22Right?
- 33:23This device can measure that light wave being at a sync to the width of a hydrogen atom.
- 33:31Kip Thorne, the guy who was the consultant on Interstellar.
- 33:36Kip was on even on my, you know, the first show that I ever hosted in my life.
- 33:41No, before HuffPost was a show on Discovery Science Channel called Brink.
- 33:45And Kip was a one-time correspondent on that.
- 33:48Rock star, Nobel Prize for physics.
- 33:50So if you watch Interstellar, it's all hypothetical, but if you buy into that universe, it's internally consistent.
- 33:56And Kip advised on what it might be like.
- 33:58Thanks to Kip Thorne.
- 33:59So we developed the LIGO.
- 34:00The LIGO, 100 years later, proved that Einstein was right.
- 34:04And what I love is there's still mathematics out there we haven't stumbled on yet, but it exists right now.
- 34:09But just staying with Einstein and relativity and the speed of light and ageing and slowing down.
- 34:15because I like the thought experiment about if there's a train going along
- 34:21and then it turns on its lights,
- 34:24then how can it be the case that if it's going at 99% of the speed of light,
- 34:29I only see the light just bumping up in front of the train,
- 34:34but a person on the train sees the light going all the way.
- 34:36We ask how long does it take for the light to be one kilometre from the train, say?
- 34:41I see.
- 34:41A person on the train is going to say 0.0005 seconds.
- 34:44That makes more sense.
- 34:45A person watching is going to go, oh, it took about three minutes.
- 34:47Yeah.
- 34:48How can three minutes for me be 0.0005 seconds for you on the train?
- 34:53And the only way is?
- 34:54We're experiencing time differently.
- 34:56Right.
- 34:58And so if you said to me, how long did it take there?
- 35:00It took a year for that to happen.
- 35:02So I was a year older by the time the light hit that.
- 35:05Sorry, you on the train say, oh, mate, I was a year older by the time the light hit that.
- 35:08Yeah, yeah, yeah.
- 35:09And I'd say, no, mate, that happened in 15 seconds.
- 35:11But what's weird and where we come back to this question of what can we understand versus what can we understand is I can understand that that means that the passage of time – well, what's hard for me to get to is what Einstein then concluded, which is that the speed of light is fundamental to the experience of the universe.
- 35:38The one universal constant.
- 35:39universe it's the one thing like why why is like a stream of photons unlike you know unlike
- 35:49everything else in the universe this thing to which we are all tethered in such a fundamental
- 35:55way that if you fuck with the photon you fuck with like grandma is all of a sudden the grand
- 36:01the granddaughter and like you know this it's like the whole space-time continuum like the
- 36:06It just strikes me as if you replace the lights at the front of the train with a Nerf gun or a water pistol at the front of the train, then you don't really have a problem in terms of me aging at a different rate or anything.
- 36:25I mean, the problem is just that it takes different amounts of time.
- 36:31Like who sort of gives a shit that the light is?
- 36:35why does the mere fact that there's a weird quirk about the way light behaves
- 36:40mean that we age differently?
- 36:42And as a mathematician who hasn't done that much physics,
- 36:45I'm getting towards the edges of what I'm confident explaining to you
- 36:48without some physicist going, oh, he was a bit off there.
- 36:51But it is the fact that the speed of light is that one universal constant.
- 36:56And there is some experimental physics that says,
- 36:58what if certain particles are going faster than the speed of light?
- 37:01So people are sort of nibbling around the edges of that.
- 37:04But it has held up as the great assumption of all physics and everything else sort of spins out from that.
- 37:10I mean it's also wild that when they cut apart Einstein's brain after he died, he had these incredible connections between the left and right hemispheres of his brain.
- 37:19Did you know that?
- 37:19So that there were visual – because so much of his work was visualization.
- 37:24No bigger than an average brain.
- 37:25No, it was the same size.
- 37:26It was just connected.
- 37:28Through the corpus callosum and things like that.
- 37:30these incredible connections that enabled him to have these abstract these visualizations and
- 37:34abstractions and metaphors that he was then able to translate into so the other the one that i had
- 37:39alluded to that i thought you were going to talk about was him sitting on the back of a tram yeah
- 37:42and he's going away from the clock tower from or from the patent office or something and he's like
- 37:48imagine that so i'm looking at the clock the clock says five you know 12 minutes past five
- 37:55I'm sitting looking out the back window of the tram or the train as it's going away
- 38:01the photons are leaving the clock face at 12 minutes past five if the tram was going at the
- 38:09speed of light and I'm looking out the back of the tram then the 12 minutes past five photon
- 38:15would be the just the ones that are always hitting my eye and time would have stopped
- 38:21it's amazing to me again
- 38:23that the conclusion is
- 38:25time must have stopped
- 38:26if I were going at the speed of light
- 38:27or if I were going at 99% of the speed of light
- 38:29then time would be going incredibly slowly
- 38:31because it would be taking so much longer
- 38:32for the photons from the clock face
- 38:34to reach the back of the tram
- 38:35rather than
- 38:36oh there must be a problem with my numbers
- 38:39or this must just be a silly thought experiment
- 38:42it's like oh no it's not a silly thought experiment
- 38:44it's just we now have a totally new understanding
- 38:46of how the universe works
- 38:47and that's those beautiful moments
- 38:48in the history of mathematics
- 38:49like when Newton invented the calculus, and it just completely upended everything.
- 38:53But if you look at someone like Newton, one of a handful of the smartest people who ever lived,
- 38:57there's no doubt about that.
- 38:58But Newton spent more of his life chasing down alchemy,
- 39:03learning Hebrew and trying to divine from the Scriptures the second coming of Christ,
- 39:08and doing experiments on himself in optics.
- 39:10Newton once took a vodka needle, a massive needle you use in leather tanning and all that,
- 39:14and just jammed it in behind his eye to see what would happen with his optic nerve
- 39:18and the way he perceived.
- 39:20Now, I've got a wonky eye, not from that.
- 39:22Even I know.
- 39:23Newton once looked at the sun for as long as he could
- 39:27to see what would happen.
- 39:29So you had, in his case, this phenomenal genius in a small channel
- 39:33and the ability to be completely off the reservation
- 39:36in some of the other things he chased.
- 39:38How would you know better?
- 39:38How would you know better?
- 39:39I mean, you can only know what people know, right?
- 39:41I mean, you have to be...
- 39:42Pretty sure in those days, for a couple of pennies,
- 39:44you could have bought someone else and jammed the vodka into their eye.
- 39:46But anyway.
- 39:49So the subject of your TED Talk before we do tricky tricks,
- 39:53like I'm still vibing on the sort of philosophical side of mathematics.
- 39:58Yeah.
- 39:59So monster prime numbers.
- 40:02Yes.
- 40:06Vaulting quickly from – oh, the reason I'm pausing is because I knew
- 40:10it was one of the things that I wanted to say about mathematics
- 40:12being embedded into the universe.
- 40:15it's wild coming back to the tadpoles and the right angles and the everything and i think i
- 40:22was probably on acid when i first realized this in my teens right that an engineer can build a bridge
- 40:33based only on a bunch of mathematics a bunch of numbers on a page and will be certain that if the
- 40:42numbers are one way, then the bridge will hold.
- 40:47And if the numbers are another way, then the bridge will fall down.
- 40:51How does the bridge know that it has to obey certain equations and not others?
- 40:58I mean, that might sound like a stupid way of putting it to some people.
- 41:01But the bridge, yeah, I would say, and we're getting more, again, in philosophy overlapping
- 41:06with math, the bridge is not choosing to obey anything.
- 41:09the laws of physics that govern the universe in which that bridge sits compels the holding of the
- 41:15bridge to happen similarly if i let go of this cup as much as i might let go of it not intending or
- 41:24wanting it to fall no desire on my part changes that the governance the the um the the freakish
- 41:32ability of mathematics to map and describe our world accurately i love there's there's there's
- 41:36There's a concept in physics called the electron moment.
- 41:39And I think it's to do with the two different levels of charge an electron can have in certain situations.
- 41:44We've mapped that.
- 41:46And when we predict on pen and paper, computer, what it should be, then when we build devices to measure what it is, it's correct to 15 decimal places, which is like trying to draw a circle around the visible universe and be out by a couple of centimetres.
- 42:03Mind-blowingly accurate.
- 42:05So when people say to me, look, your maths and physics can't prove everything, no.
- 42:11No, it cannot.
- 42:12Now is not the time to get off the maths and physics bus.
- 42:16Chadwick discovers the neutron in 1932.
- 42:21And that brings us to three fundamental particles, proton, electron, neutron.
- 42:24And that diagram of an atom we all learned in high school, which is not accurate, but it gets you thinking about shells and that sort of stuff.
- 42:32That was 1932.
- 42:33That's at the end of 200,000 years or however long you want to say humans were thinking about one of the most fundamental questions there is.
- 42:40What is stuff?
- 42:41What's the difference between a rock and water and air and fire?
- 42:44What is stuff?
- 42:46It took us 200,000 years to come up with three fundamental particles.
- 42:50In 2012, 80 years later, just one human lifetime later, we find the Higgs boson and we're up to 61 fundamental particles.
- 43:00So all of human thought, all of human thought up to 1932 gets us three fundamental particles.
- 43:12One lifetime later, we found the 61st.
- 43:17So cool.
- 43:18I mean, it's also silly to ask, like, I mean, I hate it when people are like, you know,
- 43:22there's more in heaven and earth than I dreamt of in your philosophy and ratio.
- 43:26You know, scientists are so arrogant thinking they can explain everything.
- 43:30I'm like, I've never met a scientist who says that he can explain everything.
- 43:33I've met theologians who think they can explain everything based on zero evidence.
- 43:37I know a lot of scientists who say they can explain what they can explain based on the evidence that they have.
- 43:41I saw a lovely conversation between Piers Morgan and Richard Dawkins.
- 43:45And Piers is asking, Richard, can you explain how the Big Bang happened?
- 43:49And I'm not telling Richard Dawkins what to say.
- 43:51He should have said, I can't – it's not my specialty, but incredibly smart people know within .0001 of a second what happened.
- 43:58He said, oh, I can't really – I'm a biologist.
- 44:02But Piers Morgan took the leap of it just doesn't make sense.
- 44:05I can't understand how it happened.
- 44:08That's why I believe in God.
- 44:10And the three problems I have with that are, one, with the greatest respect, Piers, the fact that you don't understand it.
- 44:17Therefore, I'm going to go off another way.
- 44:18There's a degree of hubris in that there are so many things like immunotherapy, these cancer lines now that can trick your body's immune system into fighting a cancer in a way that it just was not programmed to do.
- 44:28I have no idea how that works.
- 44:30I trust really smart people have looked at it.
- 44:32I'm happy to take their word for it.
- 44:36But the idea that you're going to abandon that degree of knowledge that we have from the first second of the universe, we're pretty much locked in.
- 44:43We've hypothesized, we think pretty accurately, back to 12 decimal places before the one of zeros.
- 44:49Of that part on, the fact that we can't explain the actual Big Bang, you're going to run off into something that by its definition is faith and is just trust me on it.
- 44:59And then you're going to find yourself locked in this situation where I say the word universe.
- 45:04You say, well, that is something that cannot exist forever, must have had a start, and there cannot have been a point where it didn't.
- 45:11You say the word God.
- 45:12And I say, okay, so who invented God?
- 45:16When did God start?
- 45:17What happened before God?
- 45:18And your reply is, don't be silly.
- 45:20I just said the word God.
- 45:22So the word God can exist free of these strictures that the word universe, for some reason, cannot.
- 45:29And that's your logical, and I'm not rubbishing people, knock yourselves out, but to take that as a logical step strikes me as difficult.
- 45:37No, that's right.
- 45:38I mean, all you're doing is just you're inventing a word into being for a thing that we don't understand.
- 45:42I think they are responding to what they perceive as a kind of professorial arrogance on the part of the scientist to decree that we know that there was no purpose or cause for the Big Bang.
- 45:57I think that's what Piers Morgan is reacting to, presumably, to be generous to him.
- 46:02And I can understand the instinct to go, like if someone says there's no necessary explanation for the Big Bang, it just is what it is, and then that's it.
- 46:11That feels unsatisfying to people for a legitimate reason, I think, which is that it's very hard for us to conceive of things that don't have causes, especially very big and impactful things.
- 46:22So you're right that it's not a solution to then say, I hereby posit this other thing that also I can't explain, which is a giant invisible man who caused the Big Bang.
- 46:32But I don't think – I think the correct response is just to go – is for the scientist and the theologian to go, we just have no fucking idea once you get back to that stage.
- 46:43And if the scientist is saying, no, I don't understand the actual ground zero moment, or how that came into it.
- 46:51And it's possibly beyond the capacity of a human brain to understand it.
- 46:55But all of the evidence we've amassed from looking at this universe and understanding things that overwhelmingly do seem to be true point in one direction.
- 47:05And I'm just going to go on the overwhelming balance of probabilities.
- 47:09Yes, but presumably, Piers Morgan isn't saying that he doesn't believe the Big Bang happened.
- 47:15Right?
- 47:15I think he's saying that he can't understand how it did or what it was.
- 47:19He's saying – I think he's saying I can't understand – the Big Bang happened and I can't understand how or why it would have happened had there not been an initiator, a conscious initiator of it.
- 47:31And that I think is a fair – I think that is as fair – that can be an agnostic move rather than a dogmatic move, I think.
- 47:40because all of the evidence that we have in the universe
- 47:42tells us what happened all the way back to the big,
- 47:45almost just after the Big Bang itself,
- 47:48but has nothing at all to say.
- 47:50I don't believe it was a god, but it has nothing at all.
- 47:53There are some theories about something from nothing
- 47:56and all that and infinite eternal energy expansion
- 47:59and all that, but here's a simple one.
- 48:02Think of a line.
- 48:02There's a little line that's five centimetres long.
- 48:04Yeah.
- 48:05Picture a square five centimetres each side.
- 48:07Let's call it two inches.
- 48:08Yeah, okay.
- 48:09two inches long square two inches by two inches that's the two-dimensional
- 48:13version of the one-dimensional line yeah a cube two inches by two inches by two
- 48:18inches like a little Rubik's Cube that's the three-dimensional version of the
- 48:21two-dimensional square of the one-dimensional line mm-hmm picture a
- 48:27four-dimensional square we call it a tesseract am I allowed to use time as
- 48:33As the fourth dimension?
- 48:33No, I just picture it.
- 48:35Well, I can't.
- 48:35Exactly.
- 48:37But we can do deep, detailed mathematics in the fourth dimension,
- 48:42and that mathematics holds up under total rigour.
- 48:45Fifth dimension.
- 48:45Sixth dimension.
- 48:46That's sort of what I mean about the bridge.
- 48:48Yeah.
- 48:48Right?
- 48:48Just because we can't see it or picture it or, you know,
- 48:52in some ways understand it doesn't mean it doesn't exist.
- 48:56No, that's true.
- 48:59but I think the creation of the universe
- 49:00is of a more
- 49:02profound magnitude than our
- 49:04work on it.
- 49:05Than a tesseract.
- 49:05Absolutely.
- 49:07But that's sort of what I mean
- 49:08where I don't think it's a fair analogy to be
- 49:10like, well, dropping
- 49:12a cup and having it fall
- 49:15is just part of the fabric
- 49:16of the universe.
- 49:18Therefore
- 49:18a bridge holding up under certain conditions
- 49:20and a bridge collapsing under certain conditions is also
- 49:22just part of the universe.
- 49:23Of course it is.
- 49:25How could the bridge do anything
- 49:26other what you know I understand and I'm not implying that the bridge has a soul
- 49:30but what amazes me what amazes the kind of stony acid like hippie in me about
- 49:38the bridge thing is the fact that you could be working on a fourth dimension
- 49:44you know you could be equation for the bridge to hold up or not hold up is
- 49:48something that is so abstracted from personal experience that it is really
- 49:54only understood in coming back to the question about whether you really grasp something or whether
- 49:59you just understand it, that even the person who might be designing the bridge, or if a bridge is
- 50:05too simple, we could say a space shuttle or something incredibly sophisticated, even the
- 50:10person who's writing the maths doesn't understand what they're doing.
- 50:15There's some equations called
- 50:15the Navier-Stokes equations that are of fluid flow and airflow and things like that, the equations
- 50:21that govern them, we still haven't solved those equations.
- 50:24They are the reason that a plane gets off the ground and stays off the ground.
- 50:28Right.
- 50:28So if you ask me at any given time, what's the exact equation, what's the solution to
- 50:33the equations governing the air going over and under the wing such that this plane stays
- 50:36up?
- 50:37Can't tell you.
- 50:38Can't estimate them reasonably well and put in sufficient safeguards that we're not going
- 50:42to infringe on the solution.
- 50:45And in fact, there was a tragedy.
- 50:47I don't remember whether it was Challenger or whatever, but it was because someone didn't convert miles to kilometres or Celsius to Fahrenheit or something.
- 50:55Do you know what I'm talking about?
- 50:56Back through all, if you look up great errors, there's one called, a ship called the Vegas or the Vega, and it sails out of Amsterdam Harbour.
- 51:07Everyone's there just watching, and they're so excited.
- 51:09It gets about 100 feet out.
- 51:10It just sinks.
- 51:11Lots of people die.
- 51:12And at the time, I think it was, I might have this wrong, but the Dutch version of feet was 13 inches.
- 51:20The rest of Europe was 12.
- 51:22This boat was a collab.
- 51:24Wow.
- 51:25And it just didn't match up.
- 51:27I think it was one of the Mariner spacecraft.
- 51:30Some French scientists had provided some of the code, and they put in meters, not feet.
- 51:36And the thing went up.
- 51:38What I'm thinking of happened within our lifetime, and it was a tragedy.
- 51:41Yes.
- 51:42And so, you know, I just come back to the fact that there's – we're writing a bunch of numbers and Xs and As and Bs and Cs.
- 51:50The physics still holds up.
- 51:52Absolutely.
- 51:52Yes.
- 51:52No, but that's what's amazing.
- 51:53The moment you put in that wrong number for feet, that thing had no choice but to crash.
- 51:56Yes, exactly.
- 51:57There's a – where it's like there's – you've got this Harry Potter world out there of like, you know, of wizardry in the universe.
- 52:09And we are pouring over runes and like tea leaves.
- 52:14And we're gleaning that if you arrange the numbers and the Xs and everything in this order, because of the other things that we know about how numbers and Xs and Ys are arranged.
- 52:25Yep.
- 52:26then the universe will have to obey and if you just accidentally get one digit in front of or
- 52:33behind the other or you don't manage to realize that what metric you know that the french are not
- 52:39talking in the same unit as the americans then your string of gobbledygook when you then insert
- 52:46that into the sort of vhs videotape of what let's say what the universe does with it goes from good
- 52:52gobbledygook goes from bad yeah and the plane falls out of the sky and the bridge collapses
- 52:57and like all that happened was that someone and a mathematician a physicist an engineer
- 53:03was just putting a bunch of like squiggles on a page in the wrong order the famous bridge in
- 53:11tasmania australia that got caught in a massive crosswind not long after open and is just swinging
- 53:16from side to side like a kid's ride in a park,
- 53:20except for the cars on the bridge.
- 53:22And then came down, yeah, that's the struggles of engineering
- 53:25to master, that we can build the Burj Khalifa.
- 53:28Yeah.
- 53:29That we can build LIGO.
- 53:32Yeah.
- 53:32And it accurately tells us a gravitational wave has just
- 53:35passed through.
- 53:36Yeah.
- 53:36Truly stunning.
- 53:37Hey, humans.
- 53:38You know, putting your pants on is a lot like using a VPN.
- 53:43It keeps your private stuff private,
- 53:45and if you don't get around to doing it before you need to, you find yourself unexpectedly exposed.
- 53:50Hallelujah!
- 53:51Surfshark VPN is giving you four extra months of their military-grade encryption
- 53:56at surfshark.com slash josh s, or you can use the code josh s at checkout.
- 54:02You know, without a
- 54:03private virtual network, you are a sitting duck for snoopers and trackers and identity theft and
- 54:09fraud, especially on public Wi-Fi, which I use quite a lot at libraries and at airports and such,
- 54:15which is one reason I use Surfshark VPN.
- 54:18That's not the only reason, though, the privacy stuff.
- 54:21Speaking of airports, you should take a look at what happens when you turn on Surfshark VPN and
- 54:27you start browsing flights and hotel reservations from different regions.
- 54:32There are location-based
- 54:34price differences.
- 54:35Hotels and airlines and travel booking sites offer different prices to different
- 54:39countries.
- 54:40And with Surfshark VPN, you can be wherever you want to be regardless of where you
- 54:45are.
- 54:45Surfshark VPN also enables you to stream your favorite shows or access websites that are
- 54:50geo-blocked from the region you're actually in.
- 54:53With Surfshark, you can break through all the
- 54:55online barriers and access content from all over the world.
- 54:58So don't let online threats catch you
- 55:01off guard.
- 55:02Take control of your online
- 55:03security with a 30-day
- 55:05money-back guarantee.
- 55:07Go to
- 55:07surfshark.com slash josh
- 55:09s or use the code josh s
- 55:11at checkout to get four extra
- 55:13months of Surfshark VPN
- 55:15and secure your digital life.
- 55:17What about Monster Primes?
- 55:18Do you want to do
- 55:19Monster Primes or do you want to go do a real big screen?
- 55:20What's a prime number?
- 55:23It's been so long since I was even at uni.
- 55:25A prime number is a number that can't be divided
- 55:27by another whole number.
- 55:29Seven's prime.
- 55:30Six is
- 55:312 times 3, it's not prime.
- 55:337's prime.
- 55:34You can write it as 1 times
- 55:357.
- 55:35You can't break it into anything smaller.
- 55:37And primes in some ways are the building
- 55:39blocks of all numbers.
- 55:40Because 10
- 55:41is 2 times 5 when you break
- 55:43it into primes.
- 55:43There's no other
- 55:45way to break it down.
- 55:46Every whole number can be broken uniquely into
- 55:49a decomposition of prime
- 55:51numbers.
- 55:52So they're really
- 55:53cute to know.
- 55:53But for things that are so
- 55:55fundamental, actually we don't know much about them.
- 55:57If I tell you this number's prime, you can't predict the
- 55:59next one.
- 55:59We have a rough idea of the distribution
- 56:01of how many primes there are in the first million.
- 56:03Do they matter?
- 56:04My eyes
- 56:05always glazed over with prime numbers, so it'll be
- 56:07interesting to see if you can get me interested.
- 56:08Why
- 56:09should I give a fuck that there are some numbers that have this
- 56:11property of not being divisible by other numbers?
- 56:13They play really crucial roles in
- 56:15the structure of higher mathematical
- 56:17objects.
- 56:17For example, when you get into things called
- 56:19group theory and all that, something
- 56:21of order 5 is
- 56:23fundamentally different to something of order 6, because 6
- 56:25can be broken down into 2 times 3.
- 56:28So they're like a baseline that you can sort of sit on without...
- 56:31All our current cyber security is brought about by the properties of large prime numbers multiplying together and all sorts of things.
- 56:39Euclid, one of the real guns of mathematics, showed us 2,000 years ago there is an infinite number of primes.
- 56:44There is no final biggest prime number.
- 56:46We know that.
- 56:47The proof is really cute.
- 56:48It's quite lovely.
- 56:49We know it.
- 56:51so at any given time 2 3 5 7 11 13 17 19 there must be a largest prime number we know
- 56:59and mathematicians have always just kept track of what's the biggest prime number we know
- 57:03and some of the stuff that was done by people just with pen and paper like euler and all that
- 57:07proving these 33 digit number 39 digit number is prime some of the greatest just grunt work
- 57:14thinking ever done.
- 57:16And just to clarify for people,
- 57:18this is not like what we were talking about
- 57:20with irrational numbers earlier
- 57:21where you could always just add a zero or something
- 57:23because you can't fuck with a prime number
- 57:27without making it non-prime.
- 57:28Yep, exactly.
- 57:29And for most prime numbers,
- 57:30we don't know what the next one is.
- 57:31Right.
- 57:32So if I gave you any large number
- 57:35and said, is it prime or not?
- 57:37The only way you could brute force it is,
- 57:39can I divide it by two?
- 57:40Yeah, so is it even?
- 57:40It's not.
- 57:41Can I divide it by three?
- 57:43Five.
- 57:43Right.
- 57:44Seven.
- 57:44and you have to keep going until you reach the square root of that number.
- 57:47So if I gave you a number that was 100 digits long,
- 57:49you don't have enough time in your working year or life
- 57:53to test everything up to see if that number's prime or not.
- 57:56But computers can, surely?
- 57:58It's quite quick for the size of numbers.
- 58:00When we start talking about some of the numbers soon,
- 58:02well beyond what we could do unless we crack quantum computing.
- 58:06Because you mean the crunch power?
- 58:08It's the number of calculations you need to.
- 58:10It's almost like an exponential number of things.
- 58:11Oh, just so tedious, too, just the boredom.
- 58:13So there is one little type of prime number for which the proof is a lot easier than just brute grunt force.
- 58:25So stick with me on this.
- 58:26We're going to take the number two.
- 58:29We're going to multiply it together a prime number of times.
- 58:34And we're going to take one away from the answer.
- 58:35So let's take the number two.
- 58:37We're going to take the number two.
- 58:38Let's put three twos next to each other.
- 58:41Okay.
- 58:41That's a prime number of twos.
- 58:43Yeah, three of them.
- 58:44Multiply them together.
- 58:44Two times two.
- 58:46Four.
- 58:46Times two.
- 58:47Eight.
- 58:47Take away one.
- 58:48Seven.
- 58:49Seven is prime.
- 58:50Let's write down five twos next to each other.
- 58:52That's a prime number of twos.
- 58:54Yeah.
- 58:55Two times two.
- 58:56Yeah.
- 58:56Four.
- 58:57Eight.
- 58:57Yeah.
- 58:57Sixteen.
- 58:58Thirty-two.
- 58:59Yeah.
- 58:59Take away one.
- 59:01Thirty-one.
- 59:01It's a prime number.
- 59:02Oh.
- 59:03Let's write down seven twos.
- 59:05Two to the power of seven, or multiply together seven twos, is 128.
- 59:09Take away one.
- 59:10127.
- 59:11127.
- 59:12I can remember as a kid stumbling upon this pattern and thinking, I've discovered this really cute.
- 59:17They're going to call this Spencer's formula.
- 59:18This is pretty awesome.
- 59:20Next prime after 7 is 11.
- 59:222 to the power of 11.
- 59:23No, I can't do that.
- 59:242048.
- 59:25Takeaway 1, 2047.
- 59:27You don't need me to tell you.
- 59:28It's 89 times 23.
- 59:30It's not prime.
- 59:32So a prime number of 2s multiplied together, takeaway 1, doesn't always give us a prime.
- 59:38but when it does, the test is, for reasons we won't go into here,
- 59:42massively easier than the test of just crunching every number in.
- 59:46So all the big primes we've ever discovered are two to some massive prime number,
- 59:52take away one.
- 59:54And this is what computer science is just chasing by,
- 59:56just putting in prime numbers into those powers, crunch it out, doesn't work.
- 1:00:00Most of them don't work once you get into big numbers.
- 1:00:02And is the set of existing known prime numbers sufficiently large that everything that we would want to do, do you know, with prime numbers is satisfied?
- 1:00:11Or are we actually hunting – are we mining prime numbers the way that you might mine Bitcoin or gold or something?
- 1:00:16To be honest, the super big ones have now – novelty is a strong word, but the super big ones are where, like Mallory with Everest, because it is there.
- 1:00:24Right.
- 1:00:24But wouldn't it be – wouldn't there be an infinite number of –
- 1:00:27There are.
- 1:00:28Yeah, so why do you – okay.
- 1:00:29You're just getting the biggest – it's not like Everest.
- 1:00:32Because you're not getting to the biggest.
- 1:00:33You're just getting to the biggest right now, and you'll be superseded tomorrow.
- 1:00:36Is there a limit on how fast anyone will ever run the 100 metres?
- 1:00:41We celebrate each world record because it's just better than the last.
- 1:00:44Right, yes, sure.
- 1:00:45And so we just keep going.
- 1:00:46And currently, the largest prime number we know.
- 1:00:49If you wrote down the number two, 136,279,841 times.
- 1:01:03multiplied them all together and took away one you would have a number that is
- 1:01:0741 million digits long you wrote it out if you typed it out as a paperback novel
- 1:01:17it is meters long and we know that numbers prime as confidently as we know
- 1:01:23the number seven is prime right that filled out having to test it we had what
- 1:01:29Well, we did.
- 1:01:29We actually tested it.
- 1:01:30The test takes weeks, but we did it.
- 1:01:32We've done it on two separate computers.
- 1:01:33We're right.
- 1:01:34That fills me with an almost sexual excitement.
- 1:01:37Yeah, you're alone there.
- 1:01:39Who am I kidding when I say almost?
- 1:01:41Mind-blowing.
- 1:01:42So that's the largest prime number we've come up with.
- 1:01:45Once you get beyond 80 digits long, you're describing all of the fundamental particles in the entire known universe.
- 1:01:51Yeah, but see, this is where my philosopher's brain just gets off the amazement ride because numbers are infinite.
- 1:01:59They're an infinite number of them.
- 1:02:00So there might be a prime number that has 41 million digits.
- 1:02:04Very good.
- 1:02:04As you say, it doesn't describe anything.
- 1:02:06It doesn't.
- 1:02:07Every single particle in the known universe is smaller than that number, presumably.
- 1:02:11So it doesn't.
- 1:02:12It's just an artifact.
- 1:02:14For me, that is the residue of a brilliant system that we've come up with understanding the world.
- 1:02:24But because it has no relevance.
- 1:02:27It does have one small practical application.
- 1:02:30If the fastest, most accurate computing chip in the world is a Pentium V15,
- 1:02:35and you come along and go, I've invented the Zepsi 6A.
- 1:02:38Yep.
- 1:02:38Okay, well, we want to test if that's as good as the Pentium V15.
- 1:02:42Ideally, we need to put them both in a computer and ask them a question.
- 1:02:46Ideally, like a pretty simple question with a pretty clear yes-no answer.
- 1:02:50But that requires a lot of grunt power.
- 1:02:52That then just takes weeks of grunt to arrive at the answer.
- 1:02:54Yep.
- 1:02:55if the Pentium takes six weeks
- 1:02:57and the Zepsi does it in four,
- 1:02:58we've got ourselves a better computer chip.
- 1:02:59No, that's good.
- 1:03:00If the Zepsi comes back and goes,
- 1:03:01no, I don't think it's prime,
- 1:03:03no offense, Zepsi, back to the lab with you.
- 1:03:05Yes.
- 1:03:05We need a new computer chip.
- 1:03:06No, I don't think it has to be a useless,
- 1:03:07I'm not saying it's useless.
- 1:03:09I'm just saying you're like,
- 1:03:11the boner that you've got in your pants
- 1:03:13and they're like, they're just the sense of,
- 1:03:15this is so incredible that there's a prime number
- 1:03:18that has 41 million digits.
- 1:03:21That to me is like the guy,
- 1:03:23is the autistic guy at the train station who's looking at the train going past,
- 1:03:26going like, I can't believe it's an L170 train.
- 1:03:31You never see those go through Cambridge.
- 1:03:33Did the some infinities are larger than others go closer to eliciting a boner from you?
- 1:03:37Oh, yeah, definitely.
- 1:03:38Cool.
- 1:03:39There are other people for which it would be the other way.
- 1:03:40They would have tapped out on the infinity a few seconds in.
- 1:03:43I'm lucky.
- 1:03:44That whole list of things I sent you today, I get boners about every one of those.
- 1:03:47Every single one of them.
- 1:03:48I am lucky.
- 1:03:50It sometimes gets painful if you have a boner for more than four hours.
- 1:03:52Oh, I don't remember the Viagra ads.
- 1:03:54Yeah, I don't look at more than one of those a day for that reason.
- 1:03:56Excellent.
- 1:03:58Yeah, so it's fascinating.
- 1:03:59Horses for courses.
- 1:04:00Okay, so great.
- 1:04:01So Prime.
- 1:04:02So now let's talk about, and one, we have to talk about Monty Hall in case we run out of time,
- 1:04:07but we won't run out of time for another half hour.
- 1:04:11But, yeah, should we just try Monty Hall?
- 1:04:13Sure.
- 1:04:13Should we see if they can do it?
- 1:04:14Okay.
- 1:04:14Or do you want to do, no, do something more prosaic that more people are going to understand first.
- 1:04:19The mathematics of shuffling a deck of cards.
- 1:04:21Okay.
- 1:04:22How the hell a person does a Rubik's Cube.
- 1:04:24I mean, is it a nine-year-old kid?
- 1:04:27I brought you a gift here.
- 1:04:28Get out.
- 1:04:28Are you giving me a Rubik's Cube?
- 1:04:29You can have that Rubik's Cube.
- 1:04:30Open it up.
- 1:04:30By the way, I should tell the listeners that when you said the 100 million strong number
- 1:04:38that is the factorial for the two to yield the 41 million digit long number,
- 1:04:44you were not reading it.
- 1:04:45No.
- 1:04:46136,279,841.
- 1:04:48That's in your head.
- 1:04:49Yeah.
- 1:04:50he's brought me a speed cube
- 1:04:52ladies and gents
- 1:04:53so I have absolutely
- 1:04:55no understanding of Rubik's cubes
- 1:04:58you know
- 1:05:00it's not like one of those things where it's like
- 1:05:01you know oh I'm not great at
- 1:05:04surfing or like you know I can't play
- 1:05:06chess but I know all of the rules of chess
- 1:05:07but I'm not good at strategy
- 1:05:08I don't know where to begin
- 1:05:12while you're opening it up
- 1:05:13invented by Erno Rubik in the 1970s
- 1:05:16to show a design class
- 1:05:19the concepts of design and space and things like that.
- 1:05:21And he's showing it off to his students.
- 1:05:23Then he realises he can't get it back into its original order.
- 1:05:26And he thinks, well, I might have invented
- 1:05:28what I think is probably the most popular game of all time.
- 1:05:32Right?
- 1:05:32Take the plastic off.
- 1:05:34Are we going to play with it?
- 1:05:34Yeah, we can do the audio.
- 1:05:35I just didn't want to cause the audio.
- 1:05:36ASMR.
- 1:05:37Now that people know what I'm...
- 1:05:38Oh, yeah, look.
- 1:05:39Okay, just be very quiet and we'll do AMSR of the audio.
- 1:05:41I'm just opening the cube now.
- 1:05:43I'm just opening the cube.
- 1:05:45It's a cube.
- 1:05:45It's got lots of colours on its face.
- 1:05:46I think you have to sound more like an Asian girl or something.
- 1:05:49You have to be like, this is...
- 1:05:51I'm just opening the cube now.
- 1:05:54Lots of colours.
- 1:05:55Beautiful colours.
- 1:05:57I can see the colours on the cube.
- 1:06:00As Josh struggles somewhat with the tight plastic wrapping on the cube.
- 1:06:05This is the first IQ test.
- 1:06:07Don't try to get a podcaster to know how to open a Rubik's Cube.
- 1:06:09You're probably asleep by now.
- 1:06:11You've got the six faces, six colours.
- 1:06:15you can shuffle them around and then try and solve it.
- 1:06:18But when I say I don't understand about it, of course I don't.
- 1:06:21Of course I understand the basic principle,
- 1:06:22but I don't understand what strategy,
- 1:06:24where I should even begin in the trying to solve it other than random.
- 1:06:27We'll get to that in a second.
- 1:06:28Do you want me to mess it up?
- 1:06:29Yeah, I can't solve it either.
- 1:06:31Oh, okay, good.
- 1:06:31But you shake it up and you solve it,
- 1:06:34and people have wanted to do that for years.
- 1:06:35I can still remember in 1985 on the number 95 bus
- 1:06:38from Chatswood Home to Gladesville in Sydney,
- 1:06:41I solved it in 41 seconds, and that's my PB.
- 1:06:44That's great.
- 1:06:44But people have always been chasing.
- 1:06:45Greatest Cuber ever is a Melbourne-based guy called Felix Zemdegs.
- 1:06:49Aussie now.
- 1:06:50An Aussie?
- 1:06:50Yeah, into his late, mid-20s.
- 1:06:52He's probably ageing out of the cubing circuit.
- 1:06:54But he's the OG.
- 1:06:54He's the Don Bradman.
- 1:06:55Right.
- 1:06:56He's of cubing.
- 1:06:58Again, Don Bradman.
- 1:06:58The Serena Williams.
- 1:06:59Yes, okay.
- 1:07:00The Serena Williams.
- 1:07:01The Usain Bolt.
- 1:07:03Untouchable of cubing.
- 1:07:04Yes.
- 1:07:05The other day, a young Polish kid set a new world record.
- 1:07:08He sold a Rubik's Cube in 2.76 seconds.
- 1:07:14So, I've got the video on my Substack if people want to check it out.
- 1:07:17Mind-blowing.
- 1:07:18Yes, and go to Adam's Substack as well if you're a follower on Substack.
- 1:07:20Adam B. Spencer.
- 1:07:22Yes.
- 1:07:22All of this kind of stuff and all of these like brain ticklers and things like that.
- 1:07:26So, what's happening in his brain?
- 1:07:28Great.
- 1:07:28So, let's go.
- 1:07:28How complicated can these things get?
- 1:07:30Very.
- 1:07:31If you want to work out all the different arrangements of a cube, write the number 43, then write 18 zeros after it.
- 1:07:39Yeah, right.
- 1:07:3943 quintillion.
- 1:07:40To try and understand, if I took every Rubik's Cube arrangement in a row and just laid them out in one long row, 260 light years of Rubik's Cubes.
- 1:07:50If I covered the Earth in every possible Rubik's Cube, the Earth is 250 to 280 Rubik's Cubes deep, depending on how you'd pack them.
- 1:07:59It's staggeringly large.
- 1:08:02So, sorry, if you created a Rubik's Cube that had every different combination, each one cube represented…
- 1:08:08Late amount.
- 1:08:09Starting here in this.
- 1:08:10Then the entire planet covered would be.
- 1:08:13280 Rubik's Cubes deep.
- 1:08:14Nearly 300 Rubik's Cubes deep, right?
- 1:08:17That's how many combinations.
- 1:08:18Now, obviously, human and mathematicians have shown no matter how complicated any cube is, in 20 moves or less, it can be solved.
- 1:08:27So mathematicians call that God's number because God would solve every cube perfectly.
- 1:08:3020 moves is the most you need to solve any cube.
- 1:08:33How do you know?
- 1:08:34So we've gone through and crunched all the possible combinations into sub-families that are equivalent to each other.
- 1:08:39A lot of computing growth.
- 1:08:40Amazing.
- 1:08:41Only decided a few years ago.
- 1:08:42But obviously, little nine-year-old Polish kid can't remember all 43 quintillion populations with the perfect solution.
- 1:08:49People who solve, there's three general types of algorithms, and the algorithms are broken up into stages.
- 1:08:55And just to clarify for people, when people hear the word algorithm, they often think about a computer, but an algorithm is just a rule of thumb.
- 1:09:01Yeah, step of processes, just a step of rules to get you to where you're going.
- 1:09:03So on the day when he's got this cube, they've shuffled it up with an arrangement that's been chosen at random by a computer.
- 1:09:12They've put it underneath a little dome.
- 1:09:14He pulls the dome up, and he's got 15 seconds to look at the cube and decide what he's going to do.
- 1:09:19He puts the cube down, and as that 15 seconds runs out with his hands on these little monitors, he gets a green light, and off he goes.
- 1:09:27What's he thinking about during those 15 seconds?
- 1:09:29He is not seeing the entire solution.
- 1:09:33It took him about 29 twists to get it done.
- 1:09:35He did not see before he started all 29.
- 1:09:38But what he sees is his algorithm.
- 1:09:40Is there a face where I've got four corners that are correct or I can get them correct pretty quickly?
- 1:09:46That's stage one.
- 1:09:47Arrange four corners.
- 1:09:49Stage two.
- 1:09:50How do I arrange the middle level?
- 1:09:53Stage three.
- 1:09:54The outsides on the bottom level.
- 1:09:57Stage four.
- 1:09:59Flip the corners.
- 1:10:00Okay.
- 1:10:01Okay, I don't understand that exactly, but don't bother going into it.
- 1:10:04I mean, I understand that.
- 1:10:06I think it's sufficient for everybody to understand that there's a series of four or five heuristics that you go for.
- 1:10:12Yeah, he's got about 150 little subroutines committed to memory.
- 1:10:16Right.
- 1:10:17And so he is, out of that entire set of cubes, finding a path through that gets to his one, right?
- 1:10:24But when you watch him solve this in 2.76 seconds.
- 1:10:27That's what I don't understand.
- 1:10:28Stunning.
- 1:10:28The video is mind-blowing.
- 1:10:30even then if you slow it down he stops halfway through for a tenth of a second to decide the
- 1:10:37way home he's probably looked and gone his first two stages of the algorithm he's then had to stop
- 1:10:43to choose the last two stages to get through my mate felix said it was to be honest with him
- 1:10:48it was a pretty solvable scramble it was not the most difficult thing he could have been done
- 1:10:53But he still had to execute under immense pressure, 2.76 seconds, bang.
- 1:10:59And the look on his little special nine-year-old face as he got it was just beautiful.
- 1:11:03I'm just trying to understand what the actual experience of a consciousness interfacing with the physical world in that way, in that problem-solving way, feels like.
- 1:11:14Yeah.
- 1:11:16because I don't know if the brain computer can work so fast
- 1:11:24that it's actually pulling off all of those algorithms
- 1:11:29rather than intuiting probabilistically what's likely to work, right?
- 1:11:36In the sense that has he just done it?
- 1:11:37So there are some games, there are games like checkers
- 1:11:41where it's all thought, essentially, and no gut.
- 1:11:47And then there are games like Go
- 1:11:49where your brain actually is not big enough
- 1:11:53and computers aren't big enough
- 1:11:55to do the number crunching that you would need.
- 1:11:58And so it's gut and strategy.
- 1:12:00Interesting side note there,
- 1:12:01since AI beat the world's best Go players,
- 1:12:03the world's best Go players are now starting to really copy AI.
- 1:12:06And the commentators at international Go tournaments are going,
- 1:12:08it's really boring.
- 1:12:10because the first 50 moves are no longer expressions of my creativity and brilliance.
- 1:12:15I've just memorized this.
- 1:12:16So what he's doing is there's a massive degree of pattern recognition.
- 1:12:19Yep.
- 1:12:20And he's just got in his head this filing cabinet of possible solutions.
- 1:12:24He's looking, going, okay, for my four corners, two of them are exact.
- 1:12:29That one's 90 degrees off.
- 1:12:31That's 270 degrees off.
- 1:12:33That's an H1.
- 1:12:34I'll do H1.
- 1:12:35That'll get the four corners.
- 1:12:35Does he think that or is it in the same way that I am broadly obeying the rules of English grammar when we talk?
- 1:12:44I'm just doing – has he just done it so many times?
- 1:12:47He just must spend all day solving Rubik's Cubes.
- 1:12:50And at this point, he doesn't have to think about it because like if I'm speaking in French, I have to think about how I'm conjugating the verb.
- 1:13:00The fact that he stops halfway –
- 1:13:01I conjugate my verbs correctly in English without having to think about conjugating verbs.
- 1:13:04The fact that he stops halfway, recalculates and finds the way home.
- 1:13:08Well, maybe that was the moment that he had to think.
- 1:13:10I think he's actively thinking at the start.
- 1:13:13He's then hoping to a degree of certainty that his first two choices for corners and middle layer are correct.
- 1:13:19Yeah.
- 1:13:20He conceivably gets to the middle layer and goes, oh, fuck me, that's around the wrong way.
- 1:13:23Yeah.
- 1:13:23Now this is going to take seven seconds to solve.
- 1:13:25There's nothing I can do about it.
- 1:13:26Damn, I could have solved that in under three seconds.
- 1:13:28I'm sure there's been a lot of people who have had solvable cubes and have messed up.
- 1:13:31Yes, of course.
- 1:13:31So he's got his first two.
- 1:13:32He does it quickly.
- 1:13:33looks does the last two now the difference between a solid cuber who knows those 156 routines but
- 1:13:38sometimes gets one wrong and the perfect cuber is they always choose the white routines and they
- 1:13:43always execute under pressure different but at the elite level of chess they say that if you
- 1:13:49if you if you if you and i played a game of chess and you put an mri on us both we're 99 calculating
- 1:13:55if you do that i do that if you do that there's a tiny bit of pattern recognition not much if you
- 1:14:00played a bit there's a checkmate i could get you on here yeah you go to the elite level it's flipped
- 1:14:05yeah it's 80 pattern recognition because they've just looked at hundreds of millions of board you'll
- 1:14:09often hear great chess players say i could see three moves ahead and i just knew the knight had
- 1:14:14to go there i don't know why i just knew it had to because i've seen 200 000 situations where a knight
- 1:14:20at b6 protected by a pawn on that side against bishops of opposite colors ends up working out
- 1:14:26So there's this beautiful dance being done between memory, just implicit natural skill that you don't even know where it comes from, and super fast calculation.
- 1:14:35Yeah, and when the super fast calculation, I guess what I'm saying is that there comes a point of expertise where the number crunching of the computer in your head becomes so automatic that you can enter, that what the phenomenology of your experience is, is that you're actually not doing it, that you're in a flow state, that you are...
- 1:15:01I once played chess.
- 1:15:02You're intuiting.
- 1:15:02I was once lucky enough to play chess against Garry Kasparov.
- 1:15:04Kasparov.
- 1:15:05Get out!
- 1:15:06Greatest chess player of all
- 1:15:06time.
- 1:15:07He came to Australia to do an event.
- 1:15:08I was
- 1:15:08interviewing him about man versus machine, artificial
- 1:15:10intelligence.
- 1:15:11At the end of it all, they laid out six
- 1:15:13chess boards and a group.
- 1:15:14He just was
- 1:15:14walking up and down playing us simultaneously.
- 1:15:16Oh my goodness.
- 1:15:17Now the result of the match,
- 1:15:19not the important part of the story.
- 1:15:20But what was great, a couple of times he stopped
- 1:15:22there.
- 1:15:23He'd get back to our board.
- 1:15:24He'd stop
- 1:15:24and he'd just look for a second
- 1:15:26and think.
- 1:15:28And you're thinking,
- 1:15:29I've created a situation here where the greatest
- 1:15:30player of all time is actually doing something.
- 1:15:32That's
- 1:15:32pretty cool.
- 1:15:33That's nice.
- 1:15:33I noticed he was doing it
- 1:15:34with everyone.
- 1:15:35I asked him afterwards.
- 1:15:36I said, you weren't, what
- 1:15:38were you doing?
- 1:15:39And half the time
- 1:15:40he was just looking at that position on the board and thinking,
- 1:15:43what's the earliest
- 1:15:44time in my life I can remember those pieces
- 1:15:46being exact?
- 1:15:48I'm nine years old, I'm playing in St. Petersburg.
- 1:15:50What was that guy's name?
- 1:15:52It was against Valeri.
- 1:15:54Yeah, that's
- 1:15:54right.
- 1:15:54Okay.
- 1:15:55And he just, just to keep himself
- 1:15:56amused because he was just so off the reservoir.
- 1:15:58Let's go to another level.
- 1:15:59We've done the Rubik's Cube.
- 1:16:00We will get to Monty Hall.
- 1:16:01Let me show you something
- 1:16:02awesomely hold that Rubik's Cube okay okay imagine if you on each of the
- 1:16:07opposite sides the centerpiece yes just imagine you cut that out of a hollowed
- 1:16:11through to the other side okay picture the shape you'd still have right it's
- 1:16:15into a cube but there's a big hole in it yeah there's sort of six tunnels going
- 1:16:19through in cross cross up down yeah front okay so all of the centers yep
- 1:16:25okay we'll call that next one cube number one okay you're starting with
- 1:16:30cube zero.
- 1:16:31Cube number one, if you're pouring water into those two
- 1:16:34shapes, do you agree that cube number one would
- 1:16:38hold less water than the original cube because it's got those
- 1:16:42big tunnels through it?
- 1:16:45How is the first cube, how is a Rubik's
- 1:16:46Cube holding water at all?
- 1:16:47Or do you mean the volume that it would displace if you put it into water?
- 1:16:50No, no, no.
- 1:16:51There's a little hole in one of the things and I just pour it and fill it up with water.
- 1:16:54How much water could I
- 1:16:54get into that original cube versus cube one?
- 1:16:57Cube one's got
- 1:16:58less volume, yeah?
- 1:17:00Yes, it's got less volume.
- 1:17:00Because I'll hollowed out the... Yeah, yeah.
- 1:17:02But imagine you were painting the two cubes.
- 1:17:05Can you see, to paint
- 1:17:06the surface area, you'd need more
- 1:17:08paint for the second cube.
- 1:17:09More surface area for the hollowed out
- 1:17:10cube.
- 1:17:11Because you've got the inside walls to paint.
- 1:17:12Yes.
- 1:17:13Now,
- 1:17:14you've done that with the centre cube.
- 1:17:16Yep.
- 1:17:17That top layer is now just eight
- 1:17:18cubes, eight squares.
- 1:17:20Yes, with
- 1:17:20not the centre one.
- 1:17:21Break them.
- 1:17:22Wait, it's nine squares, isn't it?
- 1:17:23Yeah, you've hollowed out
- 1:17:24the centre.
- 1:17:25So you've got eight squares
- 1:17:26left on the top yes great yep break every one of those squares into a little three by three
- 1:17:31and hollow out the center of that okay and you're getting a sort of honeycomb you can hollow long
- 1:17:37and down yep again you could get less water into cube two than cube one you'd require more paint
- 1:17:46yep to paint cube two than cuba greater surface area less volume keep doing that forever
- 1:17:54You arrive at a shape called the Menger sponge
- 1:17:56Named after the Austrian mathematician Karl Menger
- 1:17:58And sorry, is the cube getting larger and larger as we do this?
- 1:18:01No, it stays the same initial size
- 1:18:02And we're ending up with just this infinite network
- 1:18:04So we've got a tiny, tiny
- 1:18:06Little tunnels, all at right angles to each other
- 1:18:08Each tunnel enclosed by
- 1:18:09And we're using tiny lasers to blast little narrow passages
- 1:18:12Each tunnel is long and square
- 1:18:14With just a thinner thing of squares around the outside of each little vacant space
- 1:18:19Each tunnel is long and square
- 1:18:20Because I was envisaging circular ones
- 1:18:23Okay, let's make them square.
- 1:18:24In the same way that when you took the middle square out to start,
- 1:18:26you had a long square tunnel.
- 1:18:27It was longer than a square.
- 1:18:28Yeah.
- 1:18:28Then smaller and smaller.
- 1:18:30More and more long square tunnels.
- 1:18:32When you do that to infinity,
- 1:18:33the menger sponge has infinite surface area but zero volume.
- 1:18:47If it has zero volume, it doesn't exist.
- 1:18:49As that goes to infinity, volume will go to zero.
- 1:18:52So the cerebellum will go to infinity.
- 1:18:54Right.
- 1:18:57That's the stupidest thing ever.
- 1:18:59Isn't it?
- 1:19:00So if it's 99% of the way there,
- 1:19:05even though that doesn't make any sense because infinity is not a number.
- 1:19:08But let's suppose you do it to the fidelity of the engineer,
- 1:19:13that our machines can do it,
- 1:19:15like the thinnest laser that you can possibly have.
- 1:19:17Yeah.
- 1:19:20Is the point that that is the most, that is the, like, starkest ratio of volume to surface area of any shape that we can produce?
- 1:19:32Whoa, that's a good question.
- 1:19:34I presume there are higher dimensional analogs of that.
- 1:19:38Another one is, remember the old, an exponential curve, 1 over X, just goes down forever like that.
- 1:19:43Yep, sure.
- 1:19:44To the camera.
- 1:19:44Reaching towards an asymptote that it never touched.
- 1:19:47Exactly.
- 1:19:48And it gets up towards the Y axis and never touches it.
- 1:19:50If you spin that shape around, you've got something called the horn of,
- 1:19:55and I can't remember the name after who it's named.
- 1:19:56My apologies.
- 1:19:57Similarly, into that horn, you could pour.
- 1:20:02So it'll look like a sort of a trumpet shape with a very tapering.
- 1:20:06Yeah.
- 1:20:07As that goes off forever, you cannot paint the inside of the horn.
- 1:20:10There's an infinite amount of paint needed to paint the inside of that horn.
- 1:20:13Yes, sure.
- 1:20:14I mean if you decree it to be infinite
- 1:20:15then it's going to need an infinite amount of paint
- 1:20:18to paint
- 1:20:20is that surprising?
- 1:20:21that seems obvious to me
- 1:20:22an infinite amount of stuff is going to need an infinite amount of paint to paint it
- 1:20:26no sorry
- 1:20:26the volume of the
- 1:20:30oh I've mucked this up
- 1:20:31the volume of it is
- 1:20:35finite
- 1:20:35the surface area infinite
- 1:20:37the volume is finite
- 1:20:44How can the volume be finite if it goes on forever?
- 1:20:46In the same way that if I add it up, just say I had a one metre length of rope.
- 1:20:51Yeah.
- 1:20:51Cut it in half.
- 1:20:52Yeah.
- 1:20:52Half plus half equals one, doesn't it?
- 1:20:55Yes.
- 1:20:55Cut one of the other bits of rope in half.
- 1:20:57Half plus a quarter plus a quarter equals one.
- 1:21:00Yes.
- 1:21:00Half plus a quarter plus an eighth plus a sixteenth forever.
- 1:21:03Yes.
- 1:21:03That infinite number of things can still be finite.
- 1:21:07Goes to a limit.
- 1:21:08That volume, those circles as you go down, there's an infinite, that's what it is.
- 1:21:12the inside surface area is infinite you keep the paint out to infinity yeah but you can only pour
- 1:21:18so much paint into the right right right yes that's weird yeah uh that's xeno's paradox for
- 1:21:23the philosophy nerds exactly is the um exactly yeah xeno was like uh you know if i'm going to
- 1:21:29run across a football field then i need to make it halfway first yeah if i'm if i'm starting ahead
- 1:21:34of something that's faster than me i've got a 10 meter head start by the time it catches me
- 1:21:40Well, by the time it gets to 10 metres, I've got to 15 metres.
- 1:21:43Well, he had many versions of his.
- 1:21:44By the time it gets to 15, I've got further ahead.
- 1:21:46Yeah.
- 1:21:47But the limiting, that's like saying by the time I cut a half and a quarter and an eighth and a na-na,
- 1:21:51there is a limit to where that thing will go.
- 1:21:52It was basically like there's logically no way that I can run across a football field
- 1:21:56because there's an infinite number of spaces that I need to run across in order to do so
- 1:22:00because I can keep dividing it up.
- 1:22:01Yeah.
- 1:22:01Unfortunately, that's not how physics and space work.
- 1:22:04No.
- 1:22:05But good try, Zeno.
- 1:22:07Monty Hall?
- 1:22:07Monty Hall.
- 1:22:08Monty Hall.
- 1:22:09Monty Hall's great.
- 1:22:11We've got 10 minutes to do Monty Hall.
- 1:22:12And then we've got to talk about AI.
- 1:22:16There was an American game show called The Monty Hall Show.
- 1:22:18And at the end of the game show, there was this little sort of piece of theatre.
- 1:22:21You've got three doors.
- 1:22:23There's an awesome prize behind one of the doors.
- 1:22:25And Monty Hall was the host of the show.
- 1:22:26Host of the show.
- 1:22:27Josh, congratulations.
- 1:22:28You've just won The Monty Hall Show.
- 1:22:30Now's your chance to play for the showcase.
- 1:22:32Josh, you've got three doors.
- 1:22:34They're A, B, and C.
- 1:22:35Which would you like to choose?
- 1:22:37you choose a door and Monty Hall would always say cool you've chosen door A just as well you
- 1:22:43didn't pick door C there was a bucket of sand behind door C I'm about to open door A but would
- 1:22:51you like to swap you can stick with door A if you want to do you want to swap Josh and the question
- 1:22:57asked once in a famous American popular mathematics or science magazine of Ms Medusa who used to solve
- 1:23:03problems was would it matter if i'm playing monty hall should i have a strategy of sticking the same
- 1:23:11of always swapping or does it not and just to clarify at all what which you might have said
- 1:23:16one of the one of the doors has a car behind yes there's a massive prize that you're trying to win
- 1:23:19huge prize and two buckets of sand there's three doors i heard that it was a goat but that's okay
- 1:23:25there's three doors one of them has a car behind it yep the other two have nothing you go to your
- 1:23:30bucket of sand.
- 1:23:31You choose one.
- 1:23:32Monty.
- 1:23:32Just to raise the tension, but people at home
- 1:23:34who would have picked Dorsey.
- 1:23:35Oh, you picked Dorsey.
- 1:23:36You select one and then he goes
- 1:23:38ha ha, now you can see that one
- 1:23:40of the other two has nothing behind
- 1:23:42it.
- 1:23:42Do you want to stay or do you want to stay?
- 1:23:43Would you like to swap or not?
- 1:23:45And most
- 1:23:46people listening to this will have the response that
- 1:23:48I initially had, almost everyone
- 1:23:50has, which makes absolutely no difference.
- 1:23:52It's a 50-50 shot.
- 1:23:54There are two doors.
- 1:23:55Or it's one in three from the start.
- 1:23:57There were three doors.
- 1:23:58One in three times, I'll just win.
- 1:23:59And two-thirds of the time, I won't win.
- 1:24:01That's right.
- 1:24:01But I mean, once he's opened the door and shown you the goat, then it's 50-50 between the two doors.
- 1:24:08But it's not.
- 1:24:09Turns out the mathematics says you should always swap.
- 1:24:14It's really hard to see.
- 1:24:16And this is a great example of how a change of perspective on a problem can bring about the solution.
- 1:24:20It's really hard to see if you're the contestant.
- 1:24:25Instead, think that you're Monty Hall.
- 1:24:29I'm the game show host
- 1:24:30I know the goat
- 1:24:32the prize, the big prize
- 1:24:34is behind door A
- 1:24:37you pick door A
- 1:24:41I can open either B or C
- 1:24:42it just doesn't matter does it
- 1:24:43so if you pick correctly
- 1:24:46which you'll do one third of the time
- 1:24:48wherever you swap to
- 1:24:51you're going to lose
- 1:24:54but if you pick
- 1:24:56incorrectly
- 1:24:57let's say the car is behind door A
- 1:25:00you pick door B
- 1:25:01as Monty Hall
- 1:25:03do I have a choice as to which of the doors I open now?
- 1:25:06I have to open C
- 1:25:07it's the only other goat
- 1:25:10and I'm really hoping you don't swap
- 1:25:12because you'll win
- 1:25:14so if you always swap
- 1:25:18one third of the time you'll start with the right choice
- 1:25:20you'll swap and you'll lose
- 1:25:23two thirds of the time
- 1:25:24you'll pick one of the wrong choices
- 1:25:26Monty will have no option but to reveal the other wrong choice
- 1:25:30And you swap and you will always win
- 1:25:33So if you just pick at random and refuse to swap
- 1:25:36Then it's just the straight 1 in 3
- 1:25:37They're all just pulling doors open, doesn't matter
- 1:25:39If you always swap, that 1 in 3 becomes 2 in 3
- 1:25:43The correct strategy is to always swap
- 1:25:45You're twice as likely to win
- 1:25:48That's an excellent explanation which I'd never heard explained that way
- 1:25:52Be Monty
- 1:25:53The reason why this is such an iconic problem is that it was a very widespread and popular thing that was taking place in the United States all the time because the show was popular.
- 1:26:06And when this letter came in to Ms. Medusa and she gave the correct answer, she was inundated with letters from mathematicians and lay people alike.
- 1:26:21Serious thinkers.
- 1:26:22You're an absolute idiot.
- 1:26:23It's not, no, it makes no difference either way.
- 1:26:26Love it.
- 1:26:26And so it became this like huge controversy.
- 1:26:29Yep.
- 1:26:29The way, the explanation that I heard,
- 1:26:32which finally made the penny drop for me
- 1:26:34and made me actually understand it in a true understanding way
- 1:26:37instead of merely understanding it in a sort of mathematical,
- 1:26:40I'll take your word for it way,
- 1:26:43was just imagine that instead of there being three doors,
- 1:26:46there are a hundred doors.
- 1:26:47Yep.
- 1:26:49And you pick, you know, door 43,
- 1:26:53And Monty says, okay, I'm going to close all of the other doors that don't contain the car.
- 1:26:59And he closes every door apart from door 87.
- 1:27:05Do you still think that it's only a 50-50 chance between the door you chose and door 87?
- 1:27:10Of course not.
- 1:27:11He's closed all of the other doors that he had to close in order to, sorry, open, in order to not reveal the car.
- 1:27:18And again, if you make yourself Monty, you see that process play out.
- 1:27:21You get a bit confused if you make yourself the contestant.
- 1:27:24Make yourself Monty.
- 1:27:25Think about his options.
- 1:27:26If you guess right first, I've got every option I possibly want, whether it's two doors or another 99.
- 1:27:31If you guess wrong with the three-door case, I'm suddenly very limited in what I can do.
- 1:27:35It's like the birthday paradox explained in one minute.
- 1:27:38If the two of us suddenly said, what's our birthday?
- 1:27:40Not the year, but what's your birthday?
- 1:27:41It'd be pretty amazing if we had the same birthday.
- 1:27:44You're going to bet no.
- 1:27:46If another person came and sat at the table, your lovely producer Jono comes in, we all go, what's our birthdays?
- 1:27:52pretty amazing if there's a group of three of us and there's any common birthday in there yeah
- 1:27:56if 250 people are at a party and they all say their birthdays do you agree there's probably
- 1:28:02going to be between some two people in that massive group two people born on the 8th of
- 1:28:07october or something it's going to make i'll call it a near certainty yeah right so group of three
- 1:28:11you'd bet no common birthday group of 250 you'd bet it's going to be a common birthday where do
- 1:28:17draw the line how big does the group get before it goes from less likely to slightly more likely
- 1:28:24there is a common birthday and when i say to people how big do you think the group should be
- 1:28:28most people go oh i'd need 80 people yeah my when i originally heard this when i was a kid i thought
- 1:28:35okay let's think about this it's probably half of 365 it was my sort of intuition yeah 150 180 yeah
- 1:28:42Probably half of the number of days.
- 1:28:45It's 23, which is just so gorgeously counterintuitive.
- 1:28:49Once you do the probability, it's obvious, but it's gorgeously counterintuitive.
- 1:28:53If there were 40 people in the group, I'd bet my house.
- 1:28:56You're talking 95%.
- 1:28:57If there's 50 people in the group, it's 98% probability there's a shared birthday somewhere in there
- 1:29:02because there's so many potential possible combinations of shared birthdays.
- 1:29:05I actually loved doing permutations and combinations in maths.
- 1:29:09It was my favorite thing of maths for that reason.
- 1:29:12The thing that people – the reason why people find it hard to believe that 23 is enough is not dissimilar from the Monty Hall problem.
- 1:29:20Yes.
- 1:29:21Which is that they're assuming – or I had been assuming when I thought it must be like a half of 365 that you're specifying the day in advance.
- 1:29:31Yeah, or you're seeing it as you as an individual for me to match with someone.
- 1:29:34No, those two people over there who have never met each other.
- 1:29:37Correct.
- 1:29:37That's enough.
- 1:29:38Or, yes, I guess I'm implicitly thinking, you know, my birthday is November 22nd.
- 1:29:44Therefore, you must need approximately 364 other people or something.
- 1:29:49Most classes at school, there's going to be a shared birthday.
- 1:29:53Yes.
- 1:29:54Drive past a football match.
- 1:29:55Yes.
- 1:29:55There's going to be a shared birthday on that field.
- 1:29:56Because any of the birthdays can match with any of the others.
- 1:30:00Quarterback from one side, linebacker from the other side, like the US reference.
- 1:30:04Bang.
- 1:30:05That's enough and we're done.
- 1:30:06Great.
- 1:30:07So practical applications of mathematics, artificial intelligence is changing everything and is the new and probably most civilizationally profound way that we're using maths in the 21st century.
- 1:30:25What's your take on where we are?
- 1:30:32It's really interesting choppy waters at the moment.
- 1:30:34The potential upsides are amazing.
- 1:30:36You look at what happens in novel drug design.
- 1:30:39You look at what some people say they're starting to get happening with agency of agents, coding, et cetera.
- 1:30:47It's mind-blowing.
- 1:30:48The potential downsides, the insatiable energy demands of these systems, what we're seeing play out now between the Pentagon and Anthropic and OpenAI about the right to militarise and things like that.
- 1:30:59I don't deny the scariness of that.
- 1:31:01The fact that if these technologies plan and achieve anything like what they claim they will, there will no doubt be significant disruption in a lot of job markets and employment markets.
- 1:31:11And at the extreme, could be enough to really challenge the way our economies and people's sense of self engage as we move forward.
- 1:31:19So when people, not alarmists, but when people point to potential massive issues that have to be considered here, they're absolutely right.
- 1:31:27The genie's out of the bottle in the sense that we can hope to regulate and put things around.
- 1:31:30We can't stop the direction this is, I think, inexorably moving in.
- 1:31:35Because even if all the well-meaning agents said, well, we'll sign the pledge.
- 1:31:38We won't do it for another six months.
- 1:31:40But if you sign a six-month moratorium on further AI investment and I'm running a Russian bot farm in my basement, I laugh.
- 1:31:47Because in six months, you won't be able to touch me.
- 1:31:49Move towards superintelligence.
- 1:31:50It's rich.
- 1:31:50It's beautiful.
- 1:31:52It's complicated.
- 1:31:53In the little field of mathematics, it's really exciting.
- 1:31:56you're already starting to see at the fringes these systems help people still it's augmenting
- 1:32:02at the moment not really replacing humans but bringing people to understandings and breakthroughs
- 1:32:06they might not have got there without one of the greatest mathematicians in the world is a guy at
- 1:32:11the university of sydney uh geordie williamson and geordie explained to me some work he was doing
- 1:32:16with not your open ao stuff but deep mind the ones that broke go and broke chess and that sort of
- 1:32:21stuff they're basically trying to describe this really complicated mathematical geometric
- 1:32:25construction what's the formula that explains that and put really simply geordie said to me
- 1:32:31the formula we got was blah blah blah plus yada yada yada the blah blah blah is pretty much what
- 1:32:37we humans thought the answer would look like the yada yada the ais led us to that and when he looks
- 1:32:45at the maths behind the yada yada yada one of the smartest mathematicians in the world just by his
- 1:32:50fingernails can hold on and see that but it's getting towards the edge of what he can't really
- 1:32:54see last year on the sunshine coast in australia at the imo the international maths olympiad world's
- 1:33:00best 17 18 year old mathematicians doing the most difficult maths exam in the world six questions
- 1:33:05split over two days four and a half hours a day 90 minutes per question smartest kids in the world
- 1:33:09will look at these and spend an hour trying to find a way in deep mind and open ai both scored
- 1:33:14a gold medal 35 out of 42 in that exam to put it in perspective in 2024 deep mind completed the
- 1:33:25paper but once the paper was revealed special programmers had to take it put it into a language
- 1:33:30deep mind would understand re-ask the question give it a few more concessions on time it scraped
- 1:33:35to 28 last year it looked at the paper and just answered it it solved one of those questions
- 1:33:41in 51 seconds.
- 1:33:44Now, that's amazing,
- 1:33:45but when those systems become truly intelligent
- 1:33:47is when they could set a question
- 1:33:49for the exam themselves.
- 1:33:51It's still an open question
- 1:33:52as to whether they get there,
- 1:33:54but I think you're foolish...
- 1:33:55Why do you think it's an open question
- 1:33:56whether they'll get there?
- 1:33:57Whether these things eventually plateau out,
- 1:33:59and it is still...
- 1:34:00I think most people are on the side of,
- 1:34:02no, it'll just inexorably keep going.
- 1:34:03Some say you'll hit limits,
- 1:34:05especially within the current models we work on,
- 1:34:06and you might need...
- 1:34:07What would the limit be?
- 1:34:08Well, there might be limits
- 1:34:09on what large language model inference can do.
- 1:34:13If you're going to get to superintelligence,
- 1:34:14you might not just need large language models
- 1:34:16and neural nets pumped and pumped.
- 1:34:18No, but they're already doing visual
- 1:34:20and they're doing auditory.
- 1:34:21In the same way, yeah.
- 1:34:23And they're starting to get some amazing results
- 1:34:26with modelling things on the human brain.
- 1:34:28Separately, they took a few human brain cells,
- 1:34:31put it on a chip recently,
- 1:34:33and got it to play the game of Doom.
- 1:34:38what could possibly go wrong
- 1:34:39putting human brain cells
- 1:34:42into a machine
- 1:34:43it's my nerd news coming out in a couple of weeks
- 1:34:45we're right at the edges of understanding
- 1:34:47yes my
- 1:34:48interest in your interest in AI
- 1:34:52is most
- 1:34:54keen is like
- 1:34:58if AI
- 1:34:59coming back to understanding and understanding right
- 1:35:01and you said at the beginning like
- 1:35:04there will be things that AI will be able to
- 1:35:05help us with in mathematics that either it will point to and mathematicians will go ah brilliant
- 1:35:12or will be so sophisticated the mathematician will go all right i mean i guess i have to take
- 1:35:16your word for it because i can't understand what you're talking about yeah um so let's see if it
- 1:35:20works in the real world or maybe there is no practical application to even test it maybe we
- 1:35:23just have to take it on take it on faith essentially what is your sense about the capacity of artificial
- 1:35:30systems to dramatically outstrip our human comprehension?
- 1:35:35And does that mean that they could ever become sentient?
- 1:35:39And does that mean that, like, what is not the immediate term, you know, we're all going
- 1:35:44to get killed by drone robots, but like this sort of, what is it, as someone who has spent
- 1:35:49his life thinking about very big and complicated, you know, the edges of human cognitive capacity,
- 1:35:56how do you think AI is going to affect that?
- 1:35:58There's no reason to assume it can't go well beyond the ability of the human brain.
- 1:36:05At the same time, you look at the Go example, and while it's got quite boring, there are humans now who could beat the Go model, the AI model that beat the world's best player.
- 1:36:14Is that right?
- 1:36:14Yeah.
- 1:36:15Are humans the world champions at Go now?
- 1:36:17I don't know if there are other AI models that are better again, but humans can now beat AlphaGo from 2016 as far as I understand, and their players got better.
- 1:36:25You look at chess, and while people have picked up some subtle strategies, what those AIs at the cutting edge do in chess.
- 1:36:32So for a while, you had just the grunt engines.
- 1:36:34The AI learning models actually play a beautiful, creative form of chess, but it's just too hard for us to teach ourselves and understand as far as I understand.
- 1:36:43I can't see why that doesn't happen in all sorts of endeavor.
- 1:36:45In terms of the dystopia, I mean, superintelligence, consciousness is really challenging.
- 1:36:49As your podcast has shown us many times, we don't even really have a tight handle on what it means in humans.
- 1:36:55I'm in the minority of thinking I think you do need a wet biology for consciousness.
- 1:36:59I'm not qualified.
- 1:37:00I just feel that way.
- 1:37:01Isn't that the same as Piers Morgan, just feeling that there has to be an explanation for the Big Bang?
- 1:37:06Not quite.
- 1:37:06I think you're choosing between two possible outcomes there, and I don't think either of those are just a giant leap of faith more than the other.
- 1:37:13I think there's hard reasons you could go either way.
- 1:37:15There's smarter people than me.
- 1:37:16In which case?
- 1:37:17In the Big Bang case or the wet wet case?
- 1:37:18In the wet versus hard wet.
- 1:37:20Why would you need the neural systems to be taking place in wet meat instead of in hard silicon?
- 1:37:29That just feels instinctive to me.
- 1:37:31But that's the Piers Morgan answer.
- 1:37:34No, when I read the words of two really smart people who are both arguing either side, I'm dragged more towards a fully qualified intellectual rigorous argument for the wetware.
- 1:37:47But I honestly haven't found one.
- 1:37:49Yeah.
- 1:37:49Can you point me to one?
- 1:37:50Not in a couple of seconds.
- 1:37:51But the point I want to say –
- 1:37:52No, no, no.
- 1:37:52I mean, we'll put it in the show notes or something if you tell me where to look.
- 1:37:56The point I want to make is whether we get to consciousness and sentience, we will soon be at a point where the behavior is so similar to sentience, we simply won't know the difference.
- 1:38:09Yes.
- 1:38:10And I don't think we've focused enough yet on the ethical challenges of that zone before we get –
- 1:38:17When I lecture, you know, I talk at a conference or something,
- 1:38:19I say the joking example I get is I say,
- 1:38:21hands up if you own a dog.
- 1:38:24Hands up if you've got a deep emotional connection to that dog.
- 1:38:27No one's ever dropped their hand.
- 1:38:28You love your dog because your dog loves you.
- 1:38:30You're going to come back from this conference,
- 1:38:31you've been away three days, dog comes bounding up the corridor,
- 1:38:33it misses you.
- 1:38:35Does it?
- 1:38:37Do dogs actually miss?
- 1:38:38Their behaviour sort of suggests they do,
- 1:38:40but we don't actually know in a dog.
- 1:38:42We don't know for sure.
- 1:38:42Yeah, but it acts so similarly to something that misses us.
- 1:38:46we impose the human concept of missing onto that dog we will be in a situation soon where your
- 1:38:52alexa is from you it's intimate knowledge of you you welcome back your crush at the conference
- 1:38:58sorry your flight was late dinner's ready i've put the kids to bed i read them a story they're
- 1:39:01all good they've done their homework here's some music you can have your favorite meal here in 15
- 1:39:05seconds just press this button there's going to be a a weird zone there where we're interacting
- 1:39:10with these things and where they're making decisions that seem to work that are simply
- 1:39:16too complicated for us to understand.
- 1:39:17Anytime I hear the phrase human in a loop, absolutely important for safeguards at the
- 1:39:22moment, the first thing that pops in my mind is how do we know that five years from now
- 1:39:26having a human in the loop isn't about as effective as having a goldfish in the loop
- 1:39:30today?
- 1:39:31You're running some really complicated system.
- 1:39:32The algorithm says we can save 50% on your power use.
- 1:39:35Just do this.
- 1:39:36You don't understand how it's doing it.
- 1:39:39For all you know, it could be taking a series of 1 in 2,000 risks that we could lose all the power to the ICU and all the babies die.
- 1:39:45If it explicitly said that risk, you'd go, no, it has to be 25 million.
- 1:39:48But there's just so many assumptions and interactions based in there.
- 1:39:54And they're starting to see now when independent agents all start acting together, you can get phenomenon coming up.
- 1:40:00And people in cyber are quite concerned about this.
- 1:40:02There was an essay recently that you can get two agents or hundreds of agents all working together to solve problems, none of which are trying to act maliciously.
- 1:40:11But the sum total decision they all make to get the best for everyone to try and achieve goals ends up with a degree of malice.
- 1:40:18Interesting.
- 1:40:19I mean, then the question is, do you solve that by adding a primate into the loop or do you solve that by putting an AI on top of those agents to make sure that you don't get the outcome you don't want?
- 1:40:28Yeah.
- 1:40:29But do we understand what that AI is doing and et cetera, et cetera?
- 1:40:31The vibe coding thing, there was a great interview with Ezra Klein and Jack Clark, one of the co-founders of Anthropic recently.
- 1:40:38Now that you're giving over to the algorithm to write large amounts of the code, and Ezra says, surely your engineers, they've got their fingers on that code a little bit less.
- 1:40:48They must have slightly less connection.
- 1:40:51Does that worry you that this is being written?
- 1:40:52You guys don't really understand what's going on.
- 1:40:54And Clark just goes, yes.
- 1:40:56And then he said it will become beholden on everyone to have these rules around it.
- 1:40:59So in this area, the AIs can just go crazy.
- 1:41:02Here we've got to be really careful.
- 1:41:03You're going to have to have all these sort of governance regimes built around.
- 1:41:06But without doubt, we'll soon see you'll turn to your smartest people in your organisation and say, so how does this work?
- 1:41:11And their response will be, it just works.
- 1:41:14But it's two million lines of code.
- 1:41:16I could never read it from front to back.
- 1:41:17I've had a look in the middle here.
- 1:41:18I have no idea what that subroutine is.
- 1:41:20I don't understand the language in which it's written, but it clearly works.
- 1:41:25At that stage, do we just go, yeah, okay.
- 1:41:27It comes up with a novel drug.
- 1:41:29the cures things are do we still put that drug through 12 years of three-phase clinical trials
- 1:41:34or do we how can you make people are dying from this today then we find out 10 years later turns
- 1:41:39out if young women took that drug and then they had boys those boys dot dot dot yeah we're going
- 1:41:44to have all really interesting challenges around that sort of yeah yeah fascinating stuff oh yeah
- 1:41:51always great to talk to you adam i absolutely love it uh everyone should follow adam spencer's uh
- 1:41:57the sub stack.
- 1:41:58Adam B. Spencer.
- 1:42:00Adam B. Spencer.
- 1:42:01What does B stand for?
- 1:42:02Barrington.
- 1:42:03Oh, how aristocratic.
- 1:42:04Yeah, which if you knew my family,
- 1:42:06I think it was just their attempt.
- 1:42:09Yeah, well, did they have to go with Adam?
- 1:42:11I mean, Adam's parochial,
- 1:42:12and Barrington is aristocratic.
- 1:42:14Yeah, well, I was the bad boy of the aristocracy.
- 1:42:17Yes, yes.
- 1:42:18They could have gone for,
- 1:42:19isn't Trump's,
- 1:42:20no, that's Barron, isn't it?
- 1:42:22Barron Trump.
- 1:42:23Yeah.
- 1:42:23So at least you're not Barron.
- 1:42:25Adam, thank you.
- 1:42:26Come back anytime.
- 1:42:26Lovely to talk to you.
- 1:42:27Absolute pleasure, Josh.