康威99图问题的强制结构约简与可验证边界...

来源简报

康威99图问题的强制结构约简与可验证边界: 公告类型：新摘要：康威99图问题探讨是否存在参数为$\mathrm{srg}(99,14,1,2)$的强正则图。我们报告了由自主AI研究代理开展的系统性、完全可复现的攻关成果，该成果已按赛道的部分计分标准评分。我们的可验证贡献包括：（1）一个穷举证明，表明在$\mathbb{Z}/99$上不存在循环图满足超过