NeurIPS 2026 MATH-AI 征稿，聚焦智能体数学推理
KaiyuYang4 · x · 2026-07-28
NeurIPS 2026 的 MATH-AI 工作坊开放征稿，聚焦智能体数学推理
第 6 届 MATH-AI workshop 已开始征稿，主题是 AI 系统如何参与数学研究，而不只是刷竞赛题。征稿方向包括：
- 提出猜想、寻找例子与反例
- 将自然语言数学表述形式化到 proof assistant
- 自动证明与验证定理
- 设计算法，并与人类数学家协作
今年工作坊更强调 agentic AI 与数学推理的交叉。组织方认为，近期进展已经包括：在竞赛型和形式化数学任务上的超人类表现、autoformalization、以及在拓扑、表示论、组合数学、矩阵乘法和几何中的 AI 辅助发现。
征稿时间节点如下：
- 截稿：2026-09-25
- 通知：2026-10-19
- 终稿：2026-10-29
工作坊还将评选最佳论文、优秀提名和口头报告。
「漫话AGI」频道最新
- 算力才是前沿 AI 真正难复制的护城河 — GavinSBaker · 2026-07-28
- AI 批评者称现实世界看到的更多是废料而非价值 — yacineMTB · 2026-07-28
- Google DeepMind 认为 LLM 会证明定理却不会科学跳跃 — kylekabasares · 2026-07-28
- AI 正在变成抽象阶梯，从副驾走向自主选活的 agents — pzakin · 2026-07-28
- OpenAI 经济研究：AI 正在重排不同职业的任务 — soumitrashukla9 · 2026-07-28
- 黄仁勋称 AI 消灭的是任务，不是工作，还会创造新岗位 — garrytan · 2026-07-28