연구진은 AI가 수학 연구에 기여할 때 병목이 되는 '문제 선정'과 '결과 검토' 단계를 자동화하는 Find, Attempt, Recommend(FAR) 파이프라인을 제안했다. 전문가가 연구 방향만 제시하면 시스템이 문헌에서 후보 문제를 탐색하고 여러 단계의 필터링을 거쳐 전문가 검토 대상만 추려낸다. 조합론 분야 파일럿에서 논문 5,245편을 분석해 후보 추측·미해결 문제 6,453개를 발굴하고, 이 중 4,717개가 타당하고 여전히 미해결임을 확인했으며, 추론·자동 심사 단계를 거쳐 598개의 잠재적 해법과 저자팀 검토용 77개 항목을 선별했다. 그 결과 Erdős-Straus 등 저명한 추측과 관련된 흥미로운 발견들을 다수 확인했다.

• •문제 선정·결과 검토 병목을 해소하는 Find-Attempt-Recommend(FAR) 파이프라인 제안
• •전문가는 연구 방향만 제시, 시스템이 문헌서 후보 문제를 탐색·필터링
• •조합론 논문 5,245편에서 미해결 추측 4,717개 발굴, 77개 항목 저자팀 검토
• •Erdős-Straus 등 유명 추측 관련 흥미로운 결과 다수 확인