Short··0:12·Differential geometry
Math Makes Music: The Singing Sphere
Watch on YouTubeAbout the problem →
About this video
Math makes music: a vibrating sphere changes pattern and pitch with each mode. This 3D math animation uses original bell-like sounds whose pitches follow the square root of the spherical eigenvalue.
The mathematical topic is Yau's nodal bounds on smooth surfaces. OpenAI, ChatGPT's creator, reports the sharp square-root upper bound for nodal length on fixed smooth closed surfaces. The round-sphere modes shown here are a known example. The result is not the same in all dimensions; companion manuscripts report higher-dimensional counterexamples.
Source manuscripts:
Sharp nodal length on smooth surfaces
github.com/openai/math/blob/main/preprints/Sharp-nodal-length…
Smooth counterexamples to Yau's nodal upper bound in dimensions three and four
github.com/openai/math/blob/main/preprints/Smooth-counterexam…
Power-law violations of Yau's nodal upper bound
github.com/openai/math/blob/main/preprints/Power-law-violatio…
Formalization scope:
github.com/openai/math/blob/main/lean/docs/350.md
Real linear combinations of spherical harmonics of degrees 2, 3, 5, 7 and 9 on the unit round S2, rendered with a uniform display radius. Every combination within a stage has the same eigenvalue l(l+1). Short transitions blend different eigenspaces. Sign colors and bright nodal curves come from the scalar field; radial displacement is illustrative and exaggerated. Audible mode pitch is 220*sqrt(l(l+1)/6) Hz. Visible vibrations are slowed. These familiar round-sphere examples illustrate the reported bound on general fixed smooth closed surfaces, not the new proof.
Sound and visuals: original code-generated synthesis and Three.js animation. No third-party samples or compositions. Native 2160x3840 at 60 fps.
Source-reported research result, not independently proof-audited in this production. The public ChatGPT product is not claimed to have proved it.
Corrections and withdrawals: github.com/openai/math/blob/main/history.md
About the problem
Differential geometry·OpenAI Math·Result 350
Yau’s nodal bounds: surfaces and higher dimensions
Proves the sharp C√λ upper bound for nodal length on every fixed smooth closed surface, completing Yau's conjecture there. The upper bound fails for fixed smooth metrics in dimensions three and four, including metrics on S3 arbitrarily close to round. In dimension five, nodal measure can grow faster than λ1/2+ε0 for some fixed ε0 > 0, ruling out even arbitrarily small power losses. (Lean)
Topics
math musicmath soundsYau nodal boundsspherical harmonicsOpenAI mathChatGPTmath animation
