https://www.newscientist.com/article/2200707-google-has-created-a-maths-ai-that-has-already-proved-1200-theorems/Google AI just proved 1200 existing theorems, a stepping stone to someday proving new theorems. Source: Google has created a maths AI that has already proved 1200 theorems | New Scientist