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