ended9월 7일· 1 sources
Is mathematics about to enter the conservatory?
Why it matters
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 ...
1
Sources
+0
24h
—
Growth
4d
Active