Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

$16,601 volume on Manifold

Prices here are free to read and need no account. A free account lets you bookmark this market, follow the traders moving it, and opt in to the weekly digest. We never hold funds or place trades.Create a free account →