AI in China cracks decade-old algebra problem without human intervention - ...