가설 게임: 작은 움직임으로 과학적 가설을 단계적으로 다듬다

초록

본 논문은 가설을 공유 상태로 두고 고정된 추론 움직임(프루닝, 확장, 검색, 토론)으로 점진적으로 수정하는 “가설 게임” 프레임워크를 제안한다. LLM 에이전트가 이 움직임을 순차적으로 적용해 생물학적 경로 수준 메커니즘을 복구·재구성하는 실험에서, 기존 프롬프트 기반 베이스라인보다 오류 제거율과 정밀도가 향상됨을 보이며, 단계적 편집이 해석 가능하고 제어 가능한 과학적 추론에 유리함을 입증한다.

상세 분석

이 논문은 과학적 발견 과정이 대규모 엔드‑투‑엔드 예측이 아니라, 작은 국소 수정과 반복적인 검증을 통해 이루어진다는 관찰에서 출발한다. 이를 형식화하기 위해 ‘가설 게임’이라는 심볼릭 프레임워크를 정의하고, 가설을 조각(fragment)들의 집합 Hₜ 으로 표현한다. 각 조각은 텍스트 클레임, (주체‑관계‑객체) 트리플, 혹은 그래프 형태가 될 수 있다. 핵심은 고정된 연산자 집합 O = {prune, expand, retrieve, debate} 를 정의하고, 각 연산자를 함수 oⱼ: H × C → H 으로 모델링한다. 여기서 C 는 세포 유형·질병 등 도메인 컨텍스트를 의미한다.

게임은 ‘모드’ M 에 따라 연산자 선택 확률 π_M(oᵢ|Hₜ) 을 달리한다. 예를 들어 탐색 모드에서는 expand 계열을, 검증 모드에서는 prune·debate를 선호하도록 설계한다. 또한, k_max 이라는 이동 예산을 두어 한 라운드당 적용 가능한 연산 수를 제한한다. 두 가지 변형이 제시되는데, (1) 전체 가설을 한 번에 업데이트하는 Simple Hypothesis Refinement와, (2) 선택된 서브그래프·텍스트 조각에만 국소적으로 적용하는 Localized Hypothesis Refinement이다. 후자는 선택자 σ 가 편집 대상 영역 R을 제안하고, 일관성 유지 함수 EnforceConsistency 가 전체 스키마·타입·비순환성을 보장한다는 점에서 실제 생물학적 네트워크에 적합하다.

구현 측면에서는 중앙 LLM 컨트롤러인 Game Master가 현재 가설 상태와 모드 정보를 입력받아 연산자를 선택하고, 각 연산에 특화된 서브‑에이전트가 실제 텍스트 편집·증거 검색·토론을 수행한다. ‘retrieve_expand’ 연산은 외부 코퍼스 검색과 LLM 내부 지식 활용 두 가지 경로로 구현된다. 모드 전환은 초기 프롬프트에 모드 설명을 삽입함으로써 간접적으로 확률 정책 π_M 을 조정한다.

평가에서는 Reactome에서 추출한 인간 대사·신호 전달 경로를 텍스트 형태로 변환한 100개의 재구성 과제와 20개의 손상 복구 과제를 만든다. 손상 복구에서는 의도적으로 오류(잘못된 반응, 누락된 단계)를 삽입하고, 시스템이 이를 찾아 제거·수정하도록 한다. 주요 평가지표는 오류 제거율, 정밀도, 재현율, F1 점수이며, 강력한 프롬프트 기반 베이스라인(Chain‑of‑Thought, Self‑Consistency 등)과 비교한다. 결과는 가설 게임이 특히 정밀도와 오류 제거율에서 우수함을 보여준다. 재구성 과제에서는 베이스라인과 비슷한 성능을 기록했으며, 이는 제한된 단서만으로도 단계적 추론이 충분히 경쟁력을 갖출 수 있음을 시사한다.

이 논문의 주요 기여는 (1) 가설 수정이라는 복합 작업을 ‘움직임’이라는 원자적 연산으로 분해한 형식적 모델을 제시한 점, (2) LLM 기반 에이전트 체계에 적용해 실제 생물학적 메커니즘을 다듬는 프로토타입을 구현한 점, (3) 새로운 평가 벤치마크를 구축하고, 단계적 편집이 해석 가능성과 제어성을 높이며 성능 면에서도 경쟁력을 가짐을 실증한 점이다. 한계로는 현재 스코어링 함수가 실험에 사용되지 않아 자동적인 목표 최적화가 부족하고, 움직임 집합이 네 가지에 국한돼 있어 복잡한 도메인에 대한 확장성이 제한적이다. 또한 LLM 자체의 오류 전파 위험과, 실험에 사용된 경로 수가 상대적으로 적어 일반화 검증이 필요하다. 향후 연구에서는 강화학습 기반 정책 학습, 보다 풍부한 움직임 정의, 실험적 피드백을 통합한 하이브리드 스코어링 등을 통해 게임을 자동화하고, 다른 과학 분야(예: 화학 반응 설계, 물리 모델링)로 확장할 여지가 있다.