Artificial intelligence (AI) and machine learning (ML) offer significant potential to revolutionize the fundamentals of scientific computation and discovery. In recent years, AI-driven approaches have begun to reshape how we understand, prove, and optimize mathematical systems — from symbolic reasoning and theorem proving to mathematical optimization and numerical analysis.

This course provides an in-depth theoretical treatment of optimization methods that are relevant in data science.