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