Introduction 

Today, artificial intelligence is having a significant impact across various sectors, and mathematics research is no exception. In recent years, AI-driven research has been actively conducted not only in applied mathematics but also in pure mathematics, presenting a new direction for the field.

This workshop aims to explore the relationship between AI and mathematics research, discussing current trends and future directions. In particular, we will focus on the topic of formalizing mathematics as the first step in this broader subject.

Formalizing mathematics refers to the process of translating mathematical statements and proofs, which are typically written in natural language, into a formal language that can be understood by computers. This process plays a crucial role in deep learning for mathematical reasoning and automatic proof checking. In this workshop, we will discuss the importance of formalizing mathematics, its current trends, and offer hands-on experience by formalizing several mathematical statements and proofs.

As this topic is being actively discussed globally, we hope this workshop will serve as a starting point for further discussions on this important field within the domestic academic community.

To attend workshop, please register.

Speakers 

Byung-Hak Hwang (KIAS)

Soonho Kong (Amazon Web Services)

Jineon Baek (Yonsei University)

Yeachan Park (KIAS)

Organizers

Chul-hee Lee (KIAS)

Kyu-Hwan Lee (University of Connecticut)