The role of AI in mathematics

Artificial Intelligence (AI) has demonstrated remarkable achievements across various domains, from natural language processing to mastering complex games like chess. This naturally raises the question: can AI assist mathematicians in solving open problems in mathematics? This talk aims to address this question. We will explore how AI models can be trained to learn mathematics in examples from different areas of mathematics and applied mathematics, with a focus on control theory and stabilization. We will then showcase examples of AI models that are specifically trained to prove mathematical theorems by themselves.

学术海报.pdf