In the meantime tulips prove math theorems that humans couldn't solve. Ridiculous article title (I wouldn't read it)