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 - Technology http://bit.ly/2ZxNf3A
from New Scientist - Technology http://bit.ly/2ZxNf3A
Comments
Post a Comment