NeurIPS 2026 MATH-AI 研讨会征稿，聚焦智能体与数学推理
KaiyuYang4 · x · 2026-08-13
第六届 MATH-AI Workshop 宣布将于 NeurIPS 2026 期间举办，目前已正式开放论文、审稿人及赞助商征集。
关键日期
- 论文提交截止：2026 年 9 月 25 日
- 作者通知：2026 年 10 月 19 日
- 会议时间：2026 年 12 月 12 日或 13 日（亚特兰大）
研究焦点
本届研讨会重点关注智能体 AI（Agentic AI）与数学推理的交叉领域。随着 AI 在形式化数学推理任务中达到超人类水平，会议探讨方向已从“LLM 能否解数学题”转向：
- 提出猜想与寻找反例
- 自动形式化与证明助手
- 在拓扑学、组合学等领域指导数学发现
- 与人类研究者协作
「研究」频道最新
- AI 洗稿与抢发论文正在破坏学术生态 — analisereal · 2026-08-13
- AI 洗稿论文正在制造学术噪音 — analisereal · 2026-08-13
- 曝研究者讲座内容遭听众用 AI 洗稿抢发论文 — analisereal · 2026-08-13
- 从 PDB 恢复 6 万种蛋白质构象，最大实验性数据集发布 — CatAstro_Piyush · 2026-08-13
- 深度长文：模型终将吞噬整个工程框架 — pzakin · 2026-08-13
- PyTorch 核心开发者推出流水线并行调度可视化教学工具 — ezyang · 2026-08-13