MATH-AI 研讨会入选 NeurIPS 2026

KaiyuYang4 · x · 2026-07-21

NeurIPS 2026 将举办第 6 届 MATH-AI 研讨会，地点在亚特兰大，时间是 2026 年 12 月 12 日或 13 日（待定）。

研讨会主题是：如何让 agentic AI 系统帮助数学研究，同时继续作为人类数学家的可靠协作者。覆盖方向包括猜想生成、探索、形式化、定理证明、验证与研究发现。主办方已开放 Call for Papers，并在招募 reviewer，后续会在 OpenReview 公布投稿细节。