Hacker News Reader

Not much they "found" but rather they "declared" a new class.

Whether math is discovered or invented is always open to debate.

You might have overlooked the first sentence of the article:

> Despite finding no specific examples,

That's a matter of philosophical disagreement (ferex, Platonism).

A nonconstructive discovery is still a discovery.