For the first time, computer scientists and mathematicians have used artificial intelligence to help prove or suggest new mathematical theorems in the complex fields of knot theory and representation theory.
Click here for original story, Maths researchers hail breakthrough in applications of artificial intelligence
Source: Phys.org