Chinese AI cracks decade-old maths problem without human oversight - Breakthrough provides example of how mathematical ...