关于 AutoGraphForge 的报道

AutoGraphForge 通过反例引导的闭环流水线，实现了图论猜想从生成到过滤再到大规模测试的自动化，表明 AI 数学研究的重心正在从「证明辅助」向「发现辅助」迁移。该系统的关键创新在于用 559 条已知关系过滤冗余猜想，并将验证规模扩大到 34.8 万张图，使得自动化产生的猜想具备更高的可信度与可检验性。这对于数学家和 AI 驱动的科学研究而言，意味着传统上依赖直觉的猜想阶段开始获得可规模化、可复现的计算支撑。