Tuesday, May 07, 2019

AI Proves Theorems

"Google AI system proves over 1200 mathematical theorems"