If you're a professional mathematician, you might not be thrilled.