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