Mathematics has been one of humanity’s most creative endeavors, akin to painting and poetry. Now, mathematicians are trying to save it from the brute force of AI.
Source: https://www.wired.com/story/solving-maths-greatest-problems-was-an-art-form-until-ai/