세션을 넘나드는 자율 연구 에이전트 Épi, 수학 난제 풀이에서 기록 경신

핵심 요약

• Épi는 세션 간 연구 연속성을 유지하고 누적된 경험으로 방법론을 개선하는 자율 연구 에이전트다.
• 지속적 연구 이력, 계층적 메모리, 분기 탐색, 독립적 검증을 결합해 실험을 추적하고 대안적 접근을 재검토한다.
• 수치 해석에서 120개의 기록을 세웠는데, n-queens 상수 구간을 약 84배 좁혔고 quartic Feigenbaum attractor 차원 구간을 360만 배 이상 좁혔다.
• Cohn-Elkies 선형계획법 경계가 10차원과 11차원에서 최적이 될 수 없음을 엄밀한 쌍대 인증서로 증명했다.
• Tuza 추측을 분할 그래프(8-정점 최대클리크, 최대 3가지 삼각형-활성 근처 유형)에 대해 컴퓨터 보조 증명했다.
• Épi-turbo는 경량 구성으로 차량 경로, 일정 계획, 생산 계획 등 알고리즘 코딩 과제를 실행 가능한 솔버로 개발한다.
• 30개 FrontierOR 벤치마크 과제에서 Épi-turbo는 Codex 대비 64% 비용으로 5.4% 높은 점수를 달성했고 동일한 모델·추론 노력을 사용했다.
• 결과를 연구자가 검증하고 확장할 수 있는 명시적 방법과 수학적 논증으로 제시해 인간의 이해를 돕는다.