An AI system developed by Meta can find solutions to maths problems that have eluded mathematicians for over a century, researchers at the firm claim. The problems involve mathematical tools called ...