BoltonBailey avatarBolton Bailey
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
72%
chance
42
1kแน€5261
2029