Comment by zeroonetwothree

It’s a bit tautological since we are defining interesting as what human mathematicians work on. Perhaps if computers ran the show they wouldn’t agree with our definition.