How Bees CRACKED a 2,000-Year-Old Math PROBLEM!

[00:00:00]I want to start by doing something slightly unfair, which is to take a ruler and a protractor to the work of an insect with a brain smaller than a grain of rice. This is a honeycomb cut fresh from a hive. And if you measure any wall of any cell in it, you will find that it meets its neighbors at 120°, not roughly, not on a good day, but every wall, every cell, every hive anywhere on Earth. The cells are hexagons, six-sided, and they are so uniform that early naturalists refused to believe an animal had made them because the pattern looks less like something that grew and more like something that was machined.

[00:00:39]Now, here is the thing I actually find unsettling about this comb, and it is the reason we are here for the next half hour. The hexagon is not a style. It is not a tradition that bees happen to have the way different birds sing different songs. The hexagon is the mathematically perfect answer to a real engineering problem. The problem of enclosing the most space with the least material. And when human mathematicians finally sat down to check, really check, whether the bees had it right, the checking took 2,000 years. An insect found the answer before we could even state the question properly. and it found the answer without knowing there was a question at all. So this video is about a strange and specific kind of magic, the mathematics of optimal structures. The shapes that appear whenever the universe is forced to be cheap. We are going to start in the beehive and we are going to end. And I promise this connection is real inside your phone in the invisible mathematics that carries every message you have ever sent. Because it turns out that your phone and the bee are solving the same problem. The bee is packing wax. Your phone is packing meaning. And on the way between them, we are going to meet stacked oranges. 13 spheres that started a fight between two of the greatest minds who ever lived. And two dimensions of space, the eighth and the 24th, where something genuinely miraculous happens. something so clean that when a mathematician finally touched it, she did in 23 pages what the rest of the species had failed to do in a century. And it won her the highest prize our subject can give. Let me set up the bees problem honestly because the whole story depends on you feeling how hard it actually is. A bee colony needs to store honey and it builds its storage out of wax and wax is brutally expensive. Because a bee must eat several grams of honey to sweat out a single gram of it. Every mig of wall is paid for in food the colony cannot eat, which means the comb is under ruthless evolutionary pressure. And the design brief is exactly this. Divide a flat sheet into cells of equal area and do it using the least possible total length of wall. Think about your options. the way a bee cannot. You could tile the sheet with squares which fit together perfectly with no gaps and that works, but the corners are wasteful and the total wall length is high for the area you enclose. You could use equilateral triangles which also tile perfectly and that is even worse because triangles are all corner and no belly. Circles would be wonderful for each cell alone since a circle is the cheapest possible fence around a single area. But circles refuse to cooperate with each other. They leave gaps wherever they meet. And gaps mean wasted space and doubled walls. There are exactly three regular shapes that tile a flat plane with no gaps at all.

[00:03:39]The triangle, the square, and the hexagon. And among those three, the hexagon wins because it is the one that comes closest to being a circle while still agreeing to share its walls with its neighbors. A Greek mathematician named Papus of Alexandria wrote this down around 17 centuries ago in a passage that actually praised the geometric foresight of bees. And for most of history, that seemed like the end of it. Charles Darwin himself could not leave the honeycomb alone, describing it as absolutely perfect in economizing labor and wax, and he ran experiments with his friend's hives, inserting colored wax, and watching the workers build. Because the comb struck him as the single most exquisite instinct natural selection had to explain. an architecture beyond the reach of any individual mind, executed flawlessly by thousands of builders who never see the blueprint and never see the hole. And to this day, there is a genuinely live scientific argument about how much of the final polish belongs to the bee and how much belongs to physics itself, because fresh wax is soft and warm. And a field of soft round cells packed shouldertosh shoulder will relax toward hexagons on its own the way the bubbles in a raft of foam do, which would mean the bees rough out the plan and the geometry finishes the job.

[00:05:00]Either way, notice what nobody disputes.

[00:05:03]The hexagon was waiting. Whether instinct carves it or physics settles into it, the destination was fixed before any bee was born. But it was not the end of it. And here is the crack in the argument. the small honest crack that took 2,000 years to seal. Nobody said the walls had to be straight. A cell in a mathematical tiling is allowed to have curved walls. Walls that bow outward here and inward there. And a bulging cell steals a little cheap area from its neighbor. And the neighbor compensates somewhere else. And suddenly the space of possible honeycombs is not three tidy candidates, but an infinite wilderness of wobbling, curving, conspiring designs. And the question of whether some exotic curved arrangement might beat the straight hexagon is genuinely mathematically hard. That is what proof means. And this is the theme of our whole story. The B only has to be right. The mathematician has to be certain. Certain against every possible competitor at once, including the infinitely many nobody has ever drawn.

[00:06:07]It was not until 1999 within living memory that an American mathematician named Thomas Hails finally closed the wilderness, proving that no tiling of the plane into equal areas, straightwalled or curved, no matter how clever, can ever use less wall than the plain hexagonal grid. The bees had been right the whole time, and it took our species until the eve of the 21st century to be sure. And now, because I promised you honesty over hype, I have to tell you where the bees fall short because it makes them more impressive, not less. A real honeycomb is not flat.

[00:06:43]It is a slab of cells opening on both faces. And at the bottom of each cell, where the two layers meet in the dark, the bees close each tube with a clever three-faced cap of rhombic panels, angled so the two sides interlock. In 1964, the Hungarian mathematician Llo Fagus Toth studied that hidden cap in a paper with the perfect title, What the Bees Know and What They Do Not Know. And he showed that there exists a slightly different cap built from a different arrangement of panels that beats the bees design by a fraction of 1% of wax.

[00:07:18]The bees are not perfect. They are merely astonishing, correct in the visible architecture, and only a whisker off in the dark. And no bee will ever know either fact. So a natural question is whether this was a fluke, one lucky insect, one lucky shape, and the answer arrives the moment you leave the flatland of the honeycomb and start stacking things in space.

[00:07:40]Because in three dimensions, there is an even older, even more stubborn version of the same problem. And you already know the answer to it without knowing you know. If I hand you a crate of oranges and ask you to pack them as tightly as possible, you will do what every fruit seller in history has done.

[00:07:59]You lay down a bottom layer arranged like a honeycomb, each orange nestled among six neighbors. And then you place the next layer into the dimples of the first and the next into the dimples of that. And the pyramid that rises is so familiar you can picture it in any market on Earth. In the winter of 1611, the astronomer Johannes Kepler, the same Kepler who gave us the orbits of the planets, wrote a little essay as a New Year's gift for a friend. And in it, he claimed what the fruit sellers assume, that this obvious stacking is the best one, that no arrangement of identical spheres in space can ever fill more of it. Measured precisely, the Grosser's pyramid fills a little over 74% of space. And Kepler's claim was that nothing beats it. Try to feel how slippery that claim is. He is not saying it beats the other stackings you can think of. He is saying it beats every arrangement that could ever exist.

[00:08:56]Including packings with no pattern at all, spheres in deliberate chaos, clustered here, jammed there, arranged by some demon specifically to squeeze past 74% somewhere out in infinite space. Ruling out every demon is the job. And the job broke people for four centuries. And in case the demons sound like a lawyer's technicality, let me show you how real they are. If you pour a barrel of ball bearings into a crate and shake it, no pattern, just gravity and jostling, the balls settle at around 64% of space, a full 10 points below the grosser's pyramid. And yet, nobody has ever found a tidy little argument explaining why random packings jam exactly there. And small rearrangements really can locally beat structures that look finished. Disorder is not weak. It is merely worse. And proving that it is always worse. Everywhere forever is a statement about an infinity of configurations that no amount of shaking can ever test. The great Gaus managed to prove the claim for orderly crystalall-like packings in the early 1800s. But the chaotic packings remained untouched and the problem hardened into one of the most famous open questions in mathematics.

[00:10:10]It was Thomas Hails again, the same man who would later tame the honeycomb, who finally did it, announcing in 1998 a proof that mixed classical geometry with something the field had never fully embraced before. Brute computation, a reduction of all possible local sphere arrangements to thousands of explicit cases. Each case checked by computer.

[00:10:33]The whole argument running to hundreds of pages of text plus gigabytes of code and data. And then came my favorite part of the story. The part that says everything about what mathematicians mean by knowing. The most prestigious journal in the field assembled a panel of 12 referees to check the proof. And the referees worked on it for 4 years.

[00:10:54]Four years of full-time expert scrutiny.

[00:10:57]And at the end they surrendered announcing that they were 99% certain the proof was correct and that they simply could not check every computation by hand. 99%.

[00:11:09]For a bridge, for a medicine, for a court of law, that is overwhelming. For mathematics, it is a splinter under the skin. And it bothered Hails so much that he spent the next decade leading a project to rewrite the entire proof in a formal language that a computer could verify line by logical line. Every inference, no gaps, no trust. And in 2014, the machine finished checking and reported that the proof of the Kepler conjecture is correct. All of it. 400 years from a New Year's gift to a machine checked certainty. All to confirm what every orange stacker already believed. Performance is cheap.

[00:11:47]Certainty is expensive. Keep that exchange rate in mind because it is about to get much worse because spheres have one more famous fight to show you.

[00:11:56]And this one features a genuine celebrity. In 1694, Isaac Newton and the mathematician David Gregory got into a disagreement about a question so innocent you could ask it with marbles.

[00:12:09]Take one sphere and ask how many identical spheres can touch it at the same time. kissing it without overlapping each other. Arrange 12 around one and you can do it. That part is easy. But here is the eerie thing.

[00:12:23]When the 12 are in place, they do not quite fill the space around the center.

[00:12:27]There is slack room to slide the neighbors around. Almost tantalizingly enough loose space to sneak in a 13th.

[00:12:35]Gregory believed 13 could fit. Newton believed the answer was 12 and the mathematics of the day could not settle it which I find wonderful. The man who had explained the tides and the orbits of the moons could not prove a fact about 13 marbles and neither could anyone else for the next 2 and 1/2 centuries because the slack is real and ruling out every possible squeeze is exactly the kind of demon hunting that broke the Kepler provers. The answer established rigorously only in 1953 is that Newton was right. 12 is the wall.

[00:13:10]The 13th sphere can never quite make it.

[00:13:14]And the number of a sphere's possible kisses became one of the field's strange treasures. And the reason I am telling you this is that the kissing question is the door to the part of our story where human intuition dies because a mathematician immediately asks what happens in other dimensions. Now I know how the phrase higher dimensions sounds.

[00:13:35]So let me make it concrete because it is going to matter for your phone. A point in three-dimensional space is just a list of three numbers. That is all it is. So a point in 8dimensional space is a list of eight numbers. And a sphere in eight dimensions is simply all the lists that sit at one fixed distance from a center measured by the natural generalization of the ruler. You already know nothing mystical is happening. We have just stopped insisting that lists must be short. But geometry in high dimensions is genuinely alien territory and the objects there behave in ways that feel like practical jokes. So let me play you the most famous one in full.

[00:14:16]Take a square box and tuck a circle into each of its four corners and then place one more circle in the middle grown until it just touches the four corner circles. In two dimensions, the middle circle is small, trapped in the little diamond of space between its neighbors.

[00:14:32]And in three dimensions, with eight corner spheres in a cube, the middle sphere is still modest, still visibly inside. But as the dimension climbs, the corners of the box recede from the center faster than the corner spheres can cover them. And the middle sphere, always defined by the same innocent rule. just touch your neighbors. Keeps growing and growing until in dimension nine, it touches the walls of the box itself. And in dimension 10, it bulges out through them. A sphere that is simultaneously trapped in the middle of a box and sticking out of its sides.

[00:15:08]Nothing is broken. Only your intuition is because your intuition was trained in a three-dimensional nursery. Almost all of the volume of a highdimensional orange huddle is just under its skin. so that peeling it leaves you with nearly nothing. Space itself opens up in ways that give spheres more and more room to find neighbors. So the kissing number climbs as the dimension climbs. And in most dimensions, and I need you to hear this clearly, we still do not know what the best packings or the true kissing numbers are. Not in dimension 5, not in dimension 6, not in dimension 7, not in dimension 100. The wilderness winds almost everywhere. almost everywhere.

[00:15:49]And now we come to the miracle. And I do not use the word loosely. In two special dimensions, and essentially only in two, the 8th and the 24th, the wilderness parts, and a structure of impossible perfection stands there waiting. In dimension 8, there is an arrangement of points called the E8 lattice, a crystal of pure arithmetic in which every sphere kisses exactly 240 neighbors with no slack anywhere. every gap dovetailing into the pattern with the click of a key turning in a lock. In dimension 24, there is something even more extravagant called the leech lattice, discovered in the 1960s, in which every sphere touches nearly 200,000 neighbors in an arrangement so symmetric that its symmetries alone reshaped whole branches of algebra.

[00:16:40]Mathematicians could see, could feel, that these two objects had to be the perfect packings of their worlds. And for decades they could prove it for neither. And the problem acquired a reputation as beautiful, central, and hopeless. Then in March of 2016, a young Ukrainian mathematician named Marina Viavska working in relative obscurity posted a paper to the public archive where mathematicians share their work.

[00:17:06]It was 23 pages long. 23 pages where the three-dimensional Kepler proof had needed hundreds plus a decade of computer verification. And in those pages, she conjured a single magical function. A function tailored to dimension 8 the way a key is tailored to one lock. Let me give you the flavor of the trick because it deserves better than the word magic. Mathematicians had known for years that a certain kind of function, if only it existed, would act as a universal certificate, a mathematical measuring device that held up against any packing whatsoever, ordered or chaotic or demonic, instantly stamps a ceiling on its density. And they knew exactly what impossible list of properties the function would need.

[00:17:52]Positive here, negative there, vanishing at precisely the distances at which the E8 spheres touch. The certificate was allowed to exist. Nobody could build one. And for a decade, the blueprint sat there like a lock with no key. Vazovska built the key, assembling the function from some of the deepest material in modern number theory. And when she turned it, the ceiling it stamped came out exactly equal to the density of E8 itself, which ends the argument in a single motion. Because a packing that achieves the ceiling is the ceiling and nothing in 8-dimensional space can ever pack tighter. Experts described the proof as stunningly simple, the kind of argument that looks after the fact like it had been waiting all along for someone with the eyes to see it. And then came the detail I love most. Within one week, one week, Vazovska and four collaborators adapted the magic to dimension 24 and closed the leech lattice case too, so that a problem which had stood for a century fell twice in 7 days. In 2022, she was awarded the Fields Medal for it, the highest honor in mathematics, only the second woman in history to receive it. and she received it as a mathematician of a country at war, which turns the story into something more than mathematics. Though I will let that part speak for itself.

[00:19:16]Here is what I want you to take from her theorem. In eight dimensions and in 24, the best possible answer is not approximately known, not conjectured, not measured to 99%. It is known perfectly forever the way the bee's hexagon is now known. And those are almost the only rooms in the entire infinite hotel of dimensions where the lights are fully on. Which brings us to the question you have every right to ask. The so what question? Because packing oranges in 24 dimensions sounds like the purest possible abstraction.

[00:19:50]And the answer is that you are using it right now. And I mean that literally.

[00:19:55]Every message your phone sends, every word of this video streaming to you is before anything else a list of numbers.

[00:20:02]And we just agreed on what a list of numbers is. It is a point in a highdimensional space. Sending a message means placing a point in that space and shipping it across the world. And here is the problem. The world is noisy.

[00:20:16]Interference, weak signal, a truck driving past the cell tower, all of it jitters the numbers in transit. So the point your phone receives is not quite the point that was sent. It has been shoved a small random distance in some unpredictable direction which means the received message is really a fuzzy sphere of possibilities around the true one. And now you already understand modern communication because the engineering question writes itself. If I want messages to survive the noise, I must choose my allowed message points so far apart that their fuzzy spheres never overlap. Because then, no matter how the noise shoves a point around inside its sphere, there is only one allowed message it could have come from. And the receiver simply snaps the corrupted point back to the nearest legal one. And the error is not just detected, it is erased. But I also want to send information quickly, which means cramming as many allowed points into the space as I possibly can, as many spheres as possible, packed as tightly as possible with none overlapping. That is sphere packing. That is the bee's problem, the grosser's problem, Kepler's problem, wearing a headset. And the great codes of the information age are quite literally great sphere packings.

[00:21:34]In 1949, the engineer Marcel Golle published a code barely a page long that arranges message points in 24-dimensional space so perfectly that it can correct any three errors in every 24 bits on its own. And when humanity needed to pull color photographs of Jupiter and Saturn across a billion kilometers of screaming void from the Voyager spacecraft through a whisper of a signal, it was the Golle code that carried them home clean. And the deep punchline, the one that still gives me chills, is that Gollay's 24dimensional code and the leech lattice are the same mathematics in two costumes. The code is the blueprint from which the lattice is built. The perfect packing and the perfect error corrector are one object seen from two sides. The structure that owns dimension 24 spends its days protecting photographs from the edge of the solar system. And the text messages in your pocket. The bee packs wax to save honey. Your phone packs meaning to defeat noise. It is one problem and it always was. So, let me close the loop all the way back to the hive because there is one more twist and it is the deepest one. The bee never took a geometry lesson and there was no moment in history when a bee understood a hexagon. And yet, the comb is perfect.

[00:22:54]And I hope the reason feels almost obvious to you now. Wax is expensive.

[00:22:59]Colonies that wasted it starved.

[00:23:01]Colonies that economized survived. And evolution ran the search blindly, brutally across millions of years and uncountable hives. And what survived that search is the same answer the mathematics demands.

[00:23:15]Because when a process keeps only the cheapest design, the cheapest design is what remains. And the cheapest design was never a matter of opinion. If you traveled with me through the last video about the principle of least action, you have seen this shape of explanation before. Nature arriving at a perfect optimum with no mind anywhere in the machinery. And I will not spoil that story here except to say that the universe seems to run on it. And that is the real moral of the honeycomb.

[00:23:44]Optimality leaves fingerprints. Whenever you see the same structure repeated endlessly, wax cells in a hive, bubbles in a foam, oranges in a crate, atoms in a crystal, message points in the silent geometry inside your phone. You are looking at the scene of a minimization at some quantity, wax or energy or space or error that has been squeezed until only one shape could survive the squeezing. Mathematics is the science of what survives of the answers that were never choices. And that is why an insect can be better at math than you. Because the bee does not do mathematics. The bee is mathematics worn as a body and a behavior the way a raindrop wears the laws of light. So the next time you see a honeycomb, I want you to see the whole chain hiding in it. Papis praising the bees. Hails sealing the wilderness 2,000 years later. Kepler's oranges waiting four centuries for a machine to say the word certain. Newton counting kisses he could not prove. A 23page miracle in dimension 8. And a lattice in dimension 24 quietly carrying every word you send.

[00:24:51]The bees know none of it. The bees have never needed to. Knowing is the human instrument, the slowest and strangest tool in nature's workshop. And the wonder is not that an insect beat us to the answer. The wonder is that we are the one animal that could not rest until we understood why the answer was the answer. The comb was finished 2,000 years before we were. The proof is what makes it ours.