AI proving existing math 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