본 논문은 수학, 특히 추상대수에서 나오는 이산구조를 연구하는 수학의 하위 분야인 대수 조합론에서 기초적인 결과 또는 미해결 문제를 나타내는 새로운 데이터 세트 모음인 대수 조합론 데이터 세트 저장소(ACD Repo)를 소개합니다. 기존의 고등학교, 학부, 대학원 수준의 수학 자료와 달리, ACD Repo는 전문 수학자들이 미해결 문제를 연구할 때 직면하는 어려움과 개방성에 맞춰 설계되었습니다. 각 데이터 세트는 개방형 연구 수준의 질문과 추측을 생성하는 데 사용할 수 있는 방대한 예제(최대 1000만 개)를 포함합니다. 논문에서는 9개의 데이터 세트와 머신러닝 모델을 적용하는 다양한 방법(예: 좁은 모델로의 훈련 후 해석 가능성 분석 또는 LLM을 사용한 프로그램 합성), 그리고 이러한 데이터 세트를 설계하는 데 따른 어려움을 설명합니다.
