Bolton Bailey
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59%
chance
32
301
Ṁ4.3k
Ṁ560
2029