Quillist
Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
64%
chance
8
Ṁ1k
Ṁ340
2031