5-year research grant awarded to formalise Fermat's Last Theorem proof in Leanmathstodon.xyz2 pointsjyunwai3 years ago