On: OpenAI withdraws three mathematical results

[davidguetta]

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

[anonymous908213 → davidguetta]

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

[davidguetta → anonymous908213]

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"