An interesting look at what has been accomplished and/or discovered through the use of artificial intelligence in the realm of studying and (sometimes) proving mathematical theorems.
Hat tip to my friend Rod Johnson.
https://mathscholar.org/2019/04/google-ai-system-proves-over-1200-mathematical-theorems/