Solving Math’s Greatest Problems Was an Art Form. Then Came AI

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.

<small>Source: Wired — read the original story there.</small>