Helfgott의 2014년 삼소정리 증명을 바탕으로, 본 연구에서는 부등식에 흩어져 있던 명시적 상수들을 1차원 최대값 문제 구조로 재구성하여, 소호(주변 호) 부분의 명시적 상수 체계를 재구성했습니다. 이러한 재구성을 통해 모든 소호 기여항은 명시적 함수로 표현되며, 이 함수들의 최댓값이 최종 상수를 결정합니다. 꼬리 단조성과 구간 연산을 활용하여, 이전에는 수동 추정에 의존했던 단계들을 검증 가능하고 재현 가능한 수치적 증명으로 변환할 수 있었습니다. 본 연구의 핵심 목표는 원래 복잡하고 완전 검증이 어려웠던 상수 추정 과정을 기계 검증이 가능한 완전한 시스템으로 구성하여, 고정된 매개변수 조건에서 임계값 하강을 제한하는 주요 병목 현상을 밝히는 것입니다. 전체 논문은 다음 링크에서 확인할 수 있습니다: hackmd.io@7C7W0vM5Ql2UqkP2SwnA8A/Proof-of-Ternary-Goldbach… 헬프곳의 3진 골드바흐 정리 증명에서 마이너 아크 경계에 대한 엄밀한 계산적 재구성 — 미러 탕