Chinese AI cracks decade-old math problem without human oversight - Breakthrough provides example of how mathematical research can be automated ...