主要证据
- A Proposal for the Dartmouth Summer Research Project on Artificial IntelligenceS1 · 主要研究来源 · 论文 · 2006-12-01
达特茅斯提案将“人工智能”明确提出为研究计划
该提案并未建立独立的 AI4Math 领域，但确立了更广义的 AI 研究框架，而数学推理很快成为检验机器智能的早期核心场景之一。
发生了什么？
1955 年 8 月 31 日的提案为 1956 年达特茅斯夏季研究计划提出“人工智能”这一名称，并把学习、抽象、推理与问题求解作为机器智能研究问题。
为什么重要？
它提供了理解 Logic Theorist 等早期数学推理程序为何被视为人工智能研究的历史术语与制度起点。
重要性说明：达特茅斯提案属于广义人工智能史而非数学专属成果，但它提供了符号推理、自动定理证明与机器数学求解随后发展的学科起点背景。
历史脉络
更早进展
—
后续进展
—
相关里程碑
—
证据与状态一览
- 重要性
- H3 · 背景事件
- 验证状态
- 论文已发布
- 证据等级
- E2 · 研究记录
- AI 角色
- 不适用
- 形式保障
- 无形式保障
贡献与验证
- 数学新颖性
- 不适用
- 接口
- 不适用
- AI 贡献
- 这是领域形成事件；事件本身没有 AI 系统执行数学任务。
- 人类贡献
- John McCarthy、Marvin Minsky、Nathaniel Rochester 与 Claude Shannon 制订提案并组织研究计划。
- 验证状态
- 论文已发布 · E2 · 研究记录 · 无形式保障
- 最后审阅
- 2026-09-15
技术细节
- 系统
- —
- 机构
- dartmouth-college
- 数学问题
- —
- 方法
- —
全部来源与工件
- A Proposal for the Dartmouth Summer Research Project on Artificial IntelligenceS1 · 主要研究来源 · 论文 · 访问于 2026-09-15
验证历史
- 2006-12-01 · 论文已发布 · E2 · 研究记录
AI Magazine 的档案性发表重现并明确标注了原始达特茅斯提案日期。
更正
当前没有记录的更正。