A Chinese artificial intelligence system has solved a decade-old problem proposed by an American mathematician, according to a new study. The algebra conjecture was first posed in 2014 by then ...