Are you suggesting the ~500 mathematical results they have released over the past year are primarily human discovered?

I think they would have employ just about every mathematician on earth for that to make sense.