formal-proof

수학적 논리와 공리를 바탕으로 어떤 명제가 참임을 완벽하게 입증하는 과정이다. AI가 제안한 공식이 단순한 우연이나 환각이 아니라 논리적으로 타당함을 확인하는 최종 단계이다.