UW Math AI Lab 启动 Fall 2026 十五个 AI4Math 项目，覆盖自动形式化、AI 辅助发现与数学机器学习

University of Washington Math AI Lab 的 Fall 2026 项目周期于 9 月 30 日开始，共列出 15 个项目，覆盖 AI-assisted proof discovery、Lean evaluation、Math2Vec、autoformalization、agentic math education 等方向。该实验室同时维护开放问题地图、TheoremSearch 与长期项目档案，形成研究、工具和人才培养结合的 AI4Math 社区基础设施。