Story
Is mathematics about to enter the conservatory?
1 report
1 website
1 discussion
Latest report
Overview
The same week that Claude finished formalizing the proof of Fermat’s Last Theorem in Lean, a paper landed in my inbox titled, The Spherical Hadwiger Theorem. The Spherical Hadwiger Conjecture1, which has been open since about 1974, describes a niche-but-important piece of integral-geometric machinery. I’m not going to get into the details of the conjecture here; if you are interested you can see a...
Summary from mbmccoy.dev.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · mbmccoy.dev
Hacker News discussion ↗
Historical count: 15 · 15 saved in sample · Historical sample
Awaiting analysis