Sphere Packing Autoformalized Overnight
26:31–27:53 · 81s
Kevin reveals that a Fields-Medal–level proof was translated into Lean with one click, stunning mathematicians and triggering worries about code quality and human relevance.
26:31–27:53 · 81s
Kevin reveals that a Fields-Medal–level proof was translated into Lean with one click, stunning mathematicians and triggering worries about code quality and human relevance.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.