I attended the Thematic Program on AI and Mathematics at the Korea Institute for Advanced Study (KIAS).