The title makes it sound like an AI solved it but he's just a programmer who normally works on AI that happens to have solved it.
It is not clickbait just because you interpreted it wrongly. The AI in the title only aims to demonstrate his state of out-group in regards to math.
He's more "in" that problem space than a professional differential topologist.