主要证据
- Automated Theory Formation in MathematicsS1 · 主要研究来源 · 论文 · 1977-08-22
- The ubiquity of discoveryS1 · 主要研究来源 · 论文
AM 探索自动数学概念形成与猜想发现
AM 维护潜在有趣数学任务的 agenda，并利用通用启发式决定下一步探索哪些概念、例子与猜想。
发生了什么？
Lenat 在 IJCAI-77 介绍 AM：该程序在数百条启发式规则引导下定义新概念、研究其性质并形成猜想，从而执行初等数学探索。
为什么重要？
它是现代 AI 数学发现的重要早期前史，因为机器不仅证明给定命题，还参与决定应该研究哪些数学对象与猜想。
重要性说明：Douglas Lenat 的 AM 把自动数学发现明确发展为 AI 研究方向，通过启发式搜索创造和筛选数学概念并形成猜想。
历史脉络
更早进展
—
后续进展
—
相关里程碑
—
证据与状态一览
- 重要性
- H2 · 领域里程碑
- 验证状态
- 论文已发布
- 证据等级
- E2 · 研究记录
- AI 角色
- AI 自主主导
- 形式保障
- 无形式保障
贡献与验证
- 数学新颖性
- 新猜想
- 接口
- 符号, 非形式化
- AI 贡献
- AM 通过启发式搜索自主选择探索任务、生成概念并形成候选猜想。
- 人类贡献
- Douglas Lenat 设计表示、agenda 机制以及约 250 条用于组织 AM 搜索的启发式规则。
- 验证状态
- 论文已发布 · E2 · 研究记录 · 无形式保障
- 最后审阅
- 2026-09-15
技术细节
- 系统
- am
- 机构
- stanford-ai-lab
- 数学问题
- automated-mathematical-discovery
- 方法
- heuristic-search, concept-formation, conjecture-generation
全部来源与工件
- Automated Theory Formation in MathematicsS1 · 主要研究来源 · 论文 · 访问于 2026-09-15
- The ubiquity of discoveryS1 · 主要研究来源 · 论文 · 访问于 2026-09-15
验证历史
- 1977-08-22 · 论文已发布 · E2 · 研究记录
IJCAI-77 proceedings 与后续 Artificial Intelligence 论文记录了 AM 及其启发式数学发现行为。
更正
当前没有记录的更正。