“Google AI system proves over 1200 mathematical theorems”

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/