Monday, May 06, 2019

AI Proves Theorems

"Google AI system proves over 1200 mathematical theorems"