Bolton Bailey
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
69%
chance
45
Ṁ1k
Ṁ5.9k
2029
