BoltonBailey avatarBolton Bailey
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
74%
chance
➕
Plus
42
Ṁ5221
2029