Google has created a maths AI that has already proved 1200 theorems

An AI made by Google has written mathematical proofs for more than 1200 theorems and may one day go on to tackle problems mathematicians don't know how to solve

from New Scientist - News http://bit.ly/2Zvx7Qp