Chinese AI cracks decade-old maths problem without human input - Chinese AI demonstrates autonomous reasoning by solving a maths riddle and verifying its own proof ...