A Chinese artificial intelligence system has successfully solved a decade-old algebra conjecture, originally proposed by American mathematician Dan Anderson in 2014. Developed by a Peking University ...