신호 AutoSR: 수식 단위를 넘어 연구 상태를 탐색하는 자동 기호회귀 시스템

요약

2026년 8월 17일 arXiv cs.AI에 게재된 프리프린트가 개별 후보 수식이 아니라 지속적인 '연구 상태'를 탐색하는 완전 자동화 기호회귀 시스템 "AutoSR"을 소개했다. 저자들은 유한하고 잡음이 섞인 데이터가 종종 관측 범위 밖에서는 전혀 다른 거동을 함의하면서도 수치적으로는 경쟁력 있는 식들을 만들어내, 수치적합도와 구문적 단순성만으로는 과학적 신뢰성을 판단하기에 부족하다고 지적한다. 기존 기호회귀 시스템은 대개 최종 수식과 점수만 남겨 탐색을 이끈 추론 과정을 소실시키는 반면, AutoSR은 각 후보 수식의 동기·계산적 증거·독립 검토를 '연구 상태'에 보존한다. 이 상태는 제안자-검토자 에이전트 쌍이 점진적 확장 몬테카를로 트리 탐색 하에서 발전시키며, 경쟁하는 여러 탐구 방향에 계산 자원을 배분하고, 누적된 기록을 종합해 주도적 관계식과 그 선정 근거를 설명하는 최종 보고서로 합성한다. 두 벤치마크 모음에서 선정한 9개 과제 전반에서, 저자들은 AutoSR이 기존 어떤 공개 시스템도 풀지 못한 cp3-bench 3개 문제를 포함해 모든 사례에서 대수적으로 동등한 관계식을 복원했다고 보고한다.