Chinese AI solves decade-old mathematical conjecture