Do the labs have a genuine interest in mathematics beyond generating interesting marketing material?