https://news.ycombinator.com/item?id=29514642
https://news.ycombinator.com/item?id=29424749
https://news.ycombinator.com/item?id=29405380
https://news.ycombinator.com/item?id=29208141
Finding mathematical patterns and relations by fitting expressive functions has actually been a common technique in experimental mathematics (https://en.wikipedia.org/wiki/Experimental_mathematics) for a while.
In the last few years, neural networks in particular have been used a lot in areas of math related to string theory, where one tries to find structures on certain topological spaces that preserve or generate symmetries of the resulting physics. Here's a review that might be interesting:
https://arxiv.org/abs/2101.06317
Unfortunately, none of these mathematicians have the marketing prowess of a multi-billion dollar company...