The group is a bigger deal than you might expect. There are an infinite number of true theorems, almost all of which are boring.

Mathematicians decide what is interesting, and that's not a matter of logic. A computer can bang out new theorems at light speed but nobody cares. Mathematics, like science and programming, is as much about humans as about the raw logic and data.

You're welcome to be a group of one and please only yourself. But then you wouldn't care if it were published, and it wouldn't be unless you showed it to someone and they took an interest.