AI Proves Theorems

"Google AI system proves over 1200 mathematical theorems"