Automatically generated math paper accepted into a journal [via]