구독자 여러분께,
이번 겨울에 개최될 수학의 형식화에 대한 워크샵을 소개해 드립니다. _______________________________________________ AI for Mathematics Workshop on Formalization
장소: KIAS 8101 일시: 2024년 12월 17일 홈페이지: http://events.kias.re.kr/h/AIforMath/ [http://events.kias.re.kr/h/AIforMath/] _______________________________________________
수학의 형식화에 대한 최신 트렌드를 살펴보고, 실제로 수학적 명제들을 직접 형식화하는 실습 기회를 제공한다고 합니다.
워크샵에 대한 자세한 정보는 워크샵 홈페이지를 참조하시기 바라며, 관심있으신 분들의 많은 참여 바랍니다.
이수홍 올림
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. [http://events.kias.re.kr/h/AIforMath/?pageNo=5702] 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)