Is mathematics about to enter the conservatory?
๐ฅ Read this insightful post from Hacker News ๐
๐ **Category**:
๐ **What Youโll Learn**:
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 Conjecture, which...
