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 公布投稿细节。
「研究」频道最新
- 「氛围验证」研究：近 60% 的形式化证明证明的不是作者本意 — basedjensen · 2026-10-26
- 浏览器助手 Ito 读懂浏览意图，自动把标签页编排成 Flows — andrewkuznet · 2026-10-26
- 康奈尔研究称大脑按线性序列处理语言,挑战乔姆斯基层级语法;印度语言成反例讨论点 — anirbanbandyo · 2026-10-26
- Hi3D V1.0 开源发布：训练资产翻四倍，切片成功率 90% — kimmonismus · 2026-10-26
- Ortet 首次健康评测：34 个开源模型跑 50 项任务，综合排名不够用 — elmanmansimov · 2026-10-26
- HackBench 发布：向 Agent 轨迹注入作弊，压力测试监控器 — DanielKhashabi · 2026-10-26