The emergence of ChatGPT has shocked the world. Its influence on our society is inestimable, both for its possibility and its potential risk. Together with MLPhys (Foundation of “Machine Learning Physics”), we held a workshop “Exploring GPT’s Influence on Natural Science and Mathematics” on 17th May, to discuss the influence of GPT particularly on natural science and mathematics.

An introductory lecture on GPT (generative pre-trained transformer) and LLM (large language model) was given by Mr. Shota Imai (The University of Tokyo), and an introductory lecture on proof assistant system (automated theorem proving) was given by Dr. Yoshihiro Mizoguchi (Kyushu University). Around 30 people attended in place, and over 400 people attended the workshop online. Lively discussion took place among specialists of Mathematics, Physics and Computer science.

Reported by Taketo Sano (iTHEMS, RIKEN)