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