Conway의 99-그래프 문제는 매개변수 srg(99,14,1,2)를 갖는 강정규 그래프의 존재 여부를 묻는 미해결 문제다. 연구진은 자율 AI 연구 에이전트를 이용해 이 문제를 체계적으로 공략했다. Z/99 위의 모든 순환 그래프는 제약조건의 68.0%(4950개 중 3366개) 이상을 만족할 수 없음을 완전탐색으로 증명했고, λ=1과 μ=2 조건을 이용한 구조 축소로 문제를 84개 정점의 12-정규 그래프 존재 문제로 좁혔다. 프리스크라이브드 자기동형사상 궤도 존재성 프레임워크와 14가지 방법을 종합해 69.43%까지 검증된 최선의 결과를 얻었으며, 이는 현재까지 어떤 방법도 넘어서지 못한 견고한 한계로 나타났다. 이 결과는 문제의 완전한 해결에는 이르지 못했지만, AI 에이전트가 수학적 미해결 문제에 재현 가능한 방식으로 기여할 수 있음을 보여준다.
- •Z/99 위 순환 그래프는 제약조건의 68.0%(33/49 차이류)를 넘지 못함을 완전탐색으로 증명
- •λ=1, μ=2 조건으로 문제를 84개 정점의 12-정규 그래프 존재 문제로 구조 축소
- •자기동형사상 궤도 프레임워크를 srg(9,4,1,2), Paley 그래프 srg(13,6,2,3)로 검증
- •14가지 방법 중 최고 69.43% 충족의 검증된 결과 도출, 아직 문제는 미해결로 남음
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph
본문 미리보기
arXiv:2608.11211v1 Announce Type: new Abstract: Conway's 99-graph problem asks whether a strongly regular graph with parameters $\mathrm{srg}(99,14,1,2)$ exists. We report a systematic, fully reproducible attack by an autonomous AI research agent, scored under the track's partial-credit metric. Our verifiable contributions are: (1) an exhaustive proof that no circulant graph on $\mathbb{Z}/99$ satisfies more than $3366/4950=68.0\%$ of the constraints ($33$ of $49$ difference-classes), with the
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 10:21AI 초안

