← Back to context

Comment by davidguetta

7 hours ago

exactly, cf andrew wiles first proof of fermat's last theorem

Yes, cf indeed. He did not publish it, he shared it privately and then spent the next year correcting it before publication.

  • ok, that said there has alaways been a bunch of "maybe theorems" it's was a thing even in paul erdos books i think. now we have "maybe proofs". still better than "no proofs"