Fascinating. This is the modern day, extremely electronic version of what Gauss did: employ a team of mathematicians to investigate possible patterns and then sit down and try to prove something.