KC
Kepler Conjecture
Indexing
Sifting through hundreds of thousands of hours of indexed videos
Kepler Conjecture
Sifting through hundreds of thousands of hours of indexed videos
Kepler Conjecture
Arcmira media summary
Explore podcasts, interviews & explainers on Kepler Conjecture — 1 indexed from Machine Learning Street Talk, updated Apr 2021.
A famous mathematical problem regarding sphere packing used as a case study for formalization.
Arcmira tracks 1 indexed media appearances or mentions for Kepler Conjecture, tied to source videos, channels, and transcript-derived context.
Arcmira uses indexed YouTube videos and transcripts. Representative source evidence on this page includes "#50 Dr. CHRISTIAN SZEGEDY - Formal Reasoning, Program Synthesis" with transcript-derived context and links when available.
Kepler Conjecture is connected to Google in Arcmira's media graph.
1
Mentions
12.3K
Views
The trendline is visible, but the dated evidence behind Kepler Conjecture is in the premium layer.
“A famous mathematical problem regarding sphere packing used as a case study for formalization.”