AI systems solve complex mathematical problems