主要证据
- On Conjectures of GraffitiS1 · 主要研究来源 · 论文
Graffiti 将图论猜想生成发展为持续运行的计算机计划
Graffiti 评估图不变量之间的候选关系，保留在已知图中没有反例的陈述，并用启发式删除平凡或重复猜想。
发生了什么？
Fajtlowicz 的 Graffiti 程序从图数据库与数值不变量自动生成图论猜想；1986 年 6 月 1 日开幕的 First Japan Conference on Graph Theory and Applications 为其早期公开记录提供会议锚点。
为什么重要？
它展示了长期的人机数学发现流程：计算机提出猜想，研究共同体负责证明、反驳与改进。
重要性说明：Graffiti 将自动猜想生成发展为持续的图论研究活动，机器提出不等式与猜想，再由数学家研究其真伪与意义。
历史脉络
更早进展
—
后续进展
—
相关里程碑
—
证据与状态一览
- 重要性
- H2 · 领域里程碑
- 验证状态
- 论文已发布
- 证据等级
- E2 · 研究记录
- AI 角色
- AI 自主主导
- 形式保障
- 无形式保障
贡献与验证
- 数学新颖性
- 新猜想
- 接口
- 符号
- AI 贡献
- 程序从其知识库自动生成并筛选图论候选猜想。
- 人类贡献
- Siemion Fajtlowicz 设计不变量库与猜想启发式，数学家评估并发展机器生成的猜想。
- 验证状态
- 论文已发布 · E2 · 研究记录 · 无形式保障
- 最后审阅
- 2026-09-15
技术细节
- 系统
- graffiti
- 机构
- university-of-houston
- 数学问题
- graph-theory-conjecturing
- 方法
- automated-conjecturing, heuristic-filtering, graph-invariants
全部来源与工件
- On Conjectures of GraffitiS1 · 主要研究来源 · 论文 · 访问于 2026-09-15
验证历史
- 1988-01-01 · 论文已发布 · E2 · 研究记录
Proceedings 论文“On Conjectures of Graffiti”记录了在 1986 年箱根会议中展示的系统。
更正
当前没有记录的更正。