FormalFlow 시스템은 AI 에이전트를 조정하여 MIP*=RE의 핵심 정리인 저차수 개별 테스트의 양자 건전성을 형식화했습니다. 63일 동안 검증된 Lean 코드 126,367줄을 완성하면서 발표된 증명에서 여러 오류를 발견하고 수정했습니다.

#양자복잡도 #형식수학 #정리증명