Formal Math Frontiers: From Implementation to AI Assistance

January 23th~January 23th , 2026
Copyright © 2026 All Rights Reserved. Beijing International Center for Mathematical Research