Login
From:
Xena
(Uncensored)
subscribe
Fermat’s Last Theorem — how it’s going
https://xenaproject.wordpress.com/2024/12/11/fermats-last-theorem-how-its-going/
links
backlinks
Tagged with:
logic
math
mathematics
lean
maths
research formalisation
fermat'
crystalline cohomology
So I'm two months into trying to teach a proof of Fermat's Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing. Continue reading →
Roast topics
Find topics
Find it!
