Share Facebook Twitter LinkedIn Pinterest Email An artificial intelligence system has successfully solved a complex mathematical problem that remained unsolved for 350 years, generating the longest proof ever recorded.