Google has created a maths AI that has already proved 1200 theorems https://drumup.io/s/3KqYda 

By (@AvatarNemo)

Google has created a maths AI that has already proved 1200 theorems https://drumup.io/s/3KqYda

Source:: https://twitter.com/AvatarNemo/status/1123600463729909760

Add comment:

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.