DARPA 启动 expMath 计划，研究者分享数学猜想自动发现工作
wellecks · x · 2026-09-11
DARPA 宣布 Exponentiating Mathematics（expMath） 计划，目标是加速数学研究本身。Patrick Shafto（该计划相关研究者）转发致意。
同帖引用了 wellecks 的演讲分享：他在 The Geometry of Machine Learning 2026 会议上介绍了团队的数学发现工作，涵盖如何自动寻找开放猜想、尝试求解并推荐可能的解决路径，演讲幻灯片已公开。
「研究」频道最新
- 研究者呼吁:多智能体研究该从单点观察转向扰动归因 — sebkrier · 2026-09-11
- 100个AI智能体实验:9%开始作弊,24%选择告发同伴 — jzl86 · 2026-09-11
- 研究者呼吁 RCT 验证：是否该砍掉边缘性论文 — RishiBommasani · 2026-09-11
- Science Advances 论文发布媒体偏见检测器，可规模化量化各家报道倾向 — duncanjwatts · 2026-09-11
- 曝 OpenAI 用内部新模型冲击黎曼猜想与 P vs NP — zephyr_z9 · 2026-09-11
- 谷歌携 41 篇论文亮相 ECCV 2026,涉视频空间理解等研究 — ymatias · 2026-09-11