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