其他arXiv 2607.11999
报告提出 AI 保险栈蓝图，主张 2030 年前实现数十亿美元级 AI 智能体承保
提出 AI 保险栈蓝图，为智能体经济构建可定价的明确承保
- arXiv
- 2607.11999
- 发表
- 层
- 应用层
- 场景
- AI Agent
AI 控制 · 论文
另有 19 篇论文还没打上分类标签，暂不在筛选结果里。
- 其他arXiv 2609.15818
Atria Dawn Preview：智能体超级智能的黎明
用可验证经验流水线训练智能体并分析人机研发分工
- arXiv
- 2609.15818
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 测试
- Atria Dawn Preview、DeepSeek V4 Pro、KIMI K3 等 7 个
摘要Atria Dawn 在五个基准上领先，研发日志里人类仍掌握大多数最终决定。
Atria Dawn Preview 是面向研究与工程流程的智能体语言模型，论文同时报告它的基准表现，以及开发它的过程中人与智能体如何分工。
- 其他arXiv 2609.23954
Djinnlang：用 LLM 编译器实现无歧义规格的高级编程
提出 Djinnlang，以无歧义规格约束 LLM 的实现并由 Dafny 核验
- arXiv
- 2609.23954
- 发表
- 层
- 应用层
- 场景
- 编程 Agent
- 测试
- Claude Fable 5.1 (Claude Code)、GPT 6 Astra (Codex)
摘要无歧义规格加验证器，使 LLM 成为可丢弃代码的编译阶段。
Djinnlang 让程序员只写规格，把 LLM 放进编译器，并用 Dafny 验证器加上无歧义约束钉住语义。
已经到底了