The title makes it sound like an AI solved it but he's just a programmer who nor...

kataklasm · on Jan 3, 2023

> (i.e. clickbait)

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.

hgsgm · on Jan 4, 2023

"Computer science researcher solves computer science problem" isn't very outgroup.

He's more "in" that problem space than a professional differential topologist.