arXiv:2605.14968 GraphFlow: 형식적으로 검증 가능한 시각적 워크플로를 통해 임상 파일럿 완료율 97.08% 달성

MedFlow Inc.의 Drewry H. Morris V, Luis Valles, Reza Hosseini Ghomi는 2026년 5월 15일 arXiv에 논문을 발표하여 에이전트 AI 시스템에서 가장 잘 알려진 문제 중 하나인 다단계 워크플로를 통해 지수적으로 누적되는 복합 오류에 대한 구체적인 프로덕션 솔루션을 제시했습니다.

복합 오류 문제란 구체적으로 무엇을 의미하는가?

저자들은 명확한 수학적 예시를 제공합니다: “90%의 단계별 신뢰성을 가진 10단계 프로세스는 35%의 시간에만 성공적으로 완료됩니다”. 공식은 간단합니다——0.9^10 = 34.87%. 워크플로가 확장됨에 따라 문제는 지수적으로 누적됩니다:

• 5단계 프로세스: 0.9^5 = 59% 신뢰성
• 10단계 프로세스: 0.9^10 = 35%
• 20단계 프로세스: 0.9^20 = 12%

미션 크리티컬 애플리케이션(의료, 금융, 보안)에서 이것은 받아들일 수 없습니다. 격리된 벤치마크에서 90% 신뢰성을 가진 단일 LLM 호출은 인상적이지만, 실제 워크플로에서 시스템을 파괴하기에 충분합니다.

GraphFlow는 구체적으로 무엇을 검증하는가?

GraphFlow는 워크플로 다이어그램을 실행 가능한 사양으로 취급합니다. 이 접근 방식에는 몇 가지 핵심 요소가 있습니다:

• 제한된 클래스의 다이어그램에 대한 컴파일 타임 검증——워크플로는 실행 가능해지기 전에 증명이 확인되어야 합니다
• 증명이 확인된 아티팩트——공유 라이브러리에 제출된 각 워크플로는 형식적 검증을 통과해야 합니다
• 명시적 계약——전제조건(실행 전에 참이어야 하는 것), 사후조건(실행 후에 참이어야 하는 것), 구성 의무(워크플로가 더 큰 시스템에 어떻게 포함되는지)

이 접근 방식은 소프트웨어 엔지니어링 전통의 형식적 방법(TLA+, Coq 증명)에서 영감을 받았지만, 코드 사양이 아닌 시각적 워크플로 표현에 적용되었습니다.

시각적 워크플로 표현은 어떻게 작동하는가?

다이어그램은 다음을 포괄하는 단일 권위 있는 정의로 기능합니다:

• 데이터 범위——워크플로가 처리하는 데이터
• 실행 의미론——순서, 병렬성, 오류 처리
• 모니터링——관찰 가능성 체크포인트의 위치

수영 레인은 “신뢰 경계를 명시적으로” 만듭니다——검증된 로직을 외부 시스템, 인간 판단, AI 결정에서 명시적으로 분리합니다. 이 접근 방식을 통해 검토자는 형식적 검증 보장이 어디서 끝나고 시스템이 외부 확률적 요인에 의존하는 곳이 어디인지 즉시 확인할 수 있습니다.

임상 파일럿은 무엇을 입증하는가?

3개 사이트를 통한 1년간의 임상 파일럿은 97.08% 완료율로 8,728번의 워크플로 실행을 수행했습니다. 이 수치는 기준선 35%에서 극적인 개선입니다——동일한 유형의 장기 워크플로에 대해 약 3배 더 높은 성공률입니다.

관찰된 실패는 “주로 외부 통합에 국한되었습니다”, 핵심 워크플로 로직이 아니었습니다. 이는 GraphFlow가 실패할 때 예측 가능한 장소——검증된 시스템과 외부 세계의 경계——에서 실패함을 의미합니다. 이것은 실패가 스택의 어디에서나 발생할 수 있는 일반적인 에이전트 시스템보다 근본적으로 더 나은 디버깅 명제입니다.

GraphFlow는 일반적인 에이전트 프레임워크와 어떻게 다른가?

고전적인 에이전트 시스템(LangChain, AutoGen, Anthropic Computer Use)은 추론 시간에 계획을 세웁니다——에이전트는 현재 컨텍스트에 기반하여 다음 단계를 동적으로 결정합니다. 이 접근 방식은 유연하지만 “프롬프트 변동에 민감하고 감사하기 어렵습니다”. 프롬프트의 작은 변화가 동작을 완전히 변경할 수 있습니다.

GraphFlow는 그 반대입니다: 추가 전용 이벤트 로깅과 함께하는 내구성 있는 실행 및 런타임 계약 실행. 워크플로는 실행 전에 고정되고, 검증은 컴파일 타임에 발생하며, 런타임은 실행하고 모든 계약이 통과하는지 확인할 뿐입니다. 이 접근 방식은 규제 애플리케이션에 중요한 재현 및 감사 추적을 지원합니다.

엔터프라이즈 에이전트 AI에 무엇을 의미하는가?

GraphFlow는 컴플라이언스 체계가 감사 가능한 결정론적 워크플로를 요구하는 의료, 금융, 법률 사용 사례의 극적인 공백을 채웁니다. MedFlow Inc.는 형식적 검증 접근 방식을 통해 그 공백을 해결하는 벤더로 자신을 위치시키고 있습니다——주류 LangChain이나 CrewAI 스택과 근본적으로 다른 접근 방식입니다.

이 접근 방식은 최근 안전/신뢰성 논문의 보완입니다: Microsoft Research AI 위임 신뢰성(5월 15일, 19-34% 성능 저하), arXiv 역사 앵커(5월 13일, 91-98% 안전하지 않은 이동), arXiv 아첨성 합의(5월 15일, 정렬). 모두 동일한 결론을 공유합니다: 현재 RLHF 기반 접근 방식은 미션 크리티컬 워크로드에 충분하지 않습니다. 형식적 검증은 하드 보장을 제공하는 몇 안 되는 솔루션 중 하나입니다.