Get the latest tech news
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
An ongoing multi-author open source project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover.
It is funded by grant EP/Y022904/1, awarded by the UK’s Engineering and Physical Sciences Research Council. The project is hosted at Imperial College London. Kevin would like to extend many many thanks to both of these institutions for their ongoing support of this nonstandard research.
Or read this on Hacker News