Clickbait title. According to the article, it did no such thing.

> AI has absolutely not provided a proof (yet) in a formal mathematical sense.