Chinese AI cracks decade-old maths problem without human input

A Chinese artificial intelligence system has solved a decade-old problem proposed by an American mathematician, according to ...