Bolton Bailey
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
65%
chance
Plus
38
Ṁ4871
2029