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
Source:
https://www.newscientist.com/article/2200707-google-has-created-a-maths-ai-that-has-already-proved-1200-theorems/?utm_campaign=RSS%7CNSNS&utm_source=NSNS&utm_medium=RSS&utm_content=home