★ 3
AutoGraphForge：自动化图论发现流水线
AutoGraphForge是一个自动化图论猜想、反驳、形式化与证明的流水线。它通过反例引导生成猜想，经新颖性过滤和大型图数据集测试，产生6522个幸存猜想，其中包含非平凡关系并已手工证明。后续阶段将猜想转化为Lean 4陈述，并集成两个神经证明器进行内核验证。
arXiv cs.AI59 天前
#图论
共 2 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 2
AI 证明 Barnette 猜想视频解读
一则视频讲解 AI 如何证明图论中的 Barnette 猜想，讨论其证明思路与意义。该内容在 Hacker News 上被分享，属于学术研究向的科普解读。
Hacker News – AI21 天前