Comment by lionheart

They’re discovering previously unknown mathematical theorems.

How is that not new?