The most beautiful formula not enough people understand
TL;DR
Grant Sanderson demonstrates why high-dimensional geometry—essential for modern AI—defies human intuition through counterintuitive sphere packing puzzles, revealing that high-dimensional cubes (not spheres) behave bizarrely as their corners stretch to distance √n while edges remain fixed, ultimately building toward the elegant but underappreciated formula for the volume of n-dimensional balls.
🎲 Probability as Geometry 2 insights
Random variables define spatial points
Questions about whether the sum of squared random numbers stays below 1 naturally translate to calculating whether points fall inside unit balls in 2D, 3D, or n-dimensional space.
Volume ratios equal probabilities
The probability that x² + y² ≤ 1 equals π/4, while adding a third variable makes it the ratio of a sphere's volume (4/3 π) to the cube's volume (8), generalizing to higher dimensions.
🤖 High-Dimensional Reality 2 insights
AI lives in high-dimensional spaces
Large language models embed text into high-dimensional vectors—long lists of numbers best understood as coordinates in n-dimensional space—which researchers use to interpret neural network behavior.
Abstract spaces have concrete utility
While impossible to visualize, high-dimensional geometry provides practical computational shortcuts for probability and machine learning that pure analysis cannot match.
⚠️ The Counterintuitive Cube 3 insights
The expanding inner sphere paradox
When unit spheres occupy all 2^n corners of an n-dimensional cube, the central sphere tangent to them has radius √n - 1, growing to approximately 2.16 by 10 dimensions and extending beyond the cube's faces.
Corners stretch while edges stay fixed
In high-dimensional cubes, corners lie at distance √n from the center while face centers remain at distance 1, creating extreme aspect ratios that explain why inscribed spheres outgrow their containers.
Spheres remain perfectly round
Contrary to the misleading 'spiky spheres' intuition, high-dimensional spheres stay perfectly round by definition; cubes are the geometric objects that become pathological and counterintuitive.
📐 The Volume Formula 2 insights
A gem of mathematical beauty
Sanderson argues the closed-form expression for the volume of an n-dimensional unit ball deserves recognition comparable to Euler's identity e^(πi) = -1, yet remains underappreciated outside specialist circles.
Building intuition from basics
The presentation derives the formula from familiar 2D and 3D cases to make high-dimensional volume calculations feel discoverable rather than arbitrarily abstract.
Bottom Line
When reasoning about high-dimensional spaces, trust mathematical formulas over geometric intuition because cubes become increasingly 'spiky' with distance √n to corners while spheres stay round, causing phenomena like inscribed spheres exceeding their bounding boxes.
More from 3Blue1Brown
View all
This picture broke my brain
This video unpacks M.C. Escher's "Print Gallery" lithograph, revealing how its paradoxical infinite loop relies on a conformal grid derived from complex analysis to transform a linear Droste effect into a continuous circular zoom, mathematically resolving the mysterious blank center.
The Hairy Ball Theorem
The Hairy Ball Theorem establishes that every continuous tangent vector field on a sphere must contain at least one zero vector, creating unavoidable constraints in systems ranging from video game physics to meteorology.
Why Laplace transforms are so useful
Laplace transforms convert differential equations into algebraic expressions on the complex s-plane, enabling analysis of dynamic systems—such as driven harmonic oscillators—by examining pole locations to distinguish transient decay from steady-state behavior without solving full time-domain equations.
But what is a Laplace Transform?
The Laplace transform decomposes functions into their constituent exponential components by integrating f(t)*e^(-st) from zero to infinity; when the complex frequency s matches an exponential hidden within f(t), the integrand becomes constant causing the integral to diverge into a pole, simultaneously converting differential equations into algebraic problems by transforming derivatives into multiplications by s.