AI代理在Conway 99图问题上取得进展

一篇新研究论文详细介绍了一个自主AI代理对Conway 99图问题的系统性攻击，该问题质疑是否存在特定的强正则图。该AI代理提供了可验证的贡献，包括证明Z/99上的无环图不满足所有约束，并将问题约简为一个更小的图问题。该代理还开发了一个检查自同构轨道存在的框架，并实现了69.43%完成度的已验证工件，表明这是该问题的一个稳健前沿。 AI

影响 展示了AI在解决复杂数学和图论问题方面的先进能力。

排序理由 该集群包含一篇研究论文，详细介绍了使用AI代理解决数学问题的创新方法。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

• AI research agent
• circulant graph
• Conway's 99-graph problem
• CP-SAT
• Paley graph
• srg(13,6,2,3)
• srg(9,4,1,2)
• strongly regular graph

• 论文
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →