이 연구는 리만 가설(RH) 증명을 주장하는 대신, 검증 가능한 AI 보조 추론 시스템이 형식적으로 점검된 신뢰할 만한 부분 진전을 만들면서 남은 수학적 장애물을 명시할 수 있는지를 탐구한다. VGPT-RSI(재귀적 자기개선을 갖춘 검증형 성장 물리 트랜스포머)를 두 가지 RH 인접 인증 과제에 적용한다. 첫째, 매개변수화된 안전 하한 곡선의 부등식에 대한 유한 RH 경계 인증서를 외향 반올림 구간 산술과 Arb/FLINT 볼 산술로 감사하고 Rocq/CoqInterval에서 검증한다. 둘째, Lagarias 기준에 따른 유한 인증서를 Coq로 점검한다. 시스템은 Lagarias 동치 형식화 등 미해결 병목을 정확히 짚으며 과잉 주장을 피해, 인증된 RH 인접 형식 진전이 가능함을 보인다.
- •RH 증명 주장 대신 형식 검증된 부분 진전과 남은 장애물 명시를 목표로 함
- •VGPT-RSI를 두 RH 인접 인증 과제에 적용
- •유한 RH 경계 인증서를 구간 산술·Arb/FLINT로 감사, Rocq/CoqInterval서 검증
- •Lagarias 경로 유한 인증서를 Coq로 점검
- •Lagarias 동치 형식화 등 미해결 병목을 짚고 과잉 주장 회피
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization
- 1.VGPT-RSI로 리만 가설 인접 형식 검증 과제 두 건의 부분 진전을 산출
- 2.안전 하한 곡선 부등식의 유한 RH 경계 인증서를 구간 산술과 Rocq/CoqInterval로 검증
- 3.Lagarias 기준 기반 유한 양을 형식화해 Coq로 검증된 유한 인증서 생성
- 4.남은 수학적 병목을 명시적으로 식별하며 과잉 주장을 회피
왜 중요한가?
증명을 주장하는 대신 형식적으로 검증된 부분 진전을 내놓고 남은 난점을 정직하게 드러낸다는 점에서, AI 보조 수학 추론이 환각이나 과대 주장 없이 난제 연구에 신뢰성 있게 기여할 수 있는 방식을 보여준다.
리만 가설이라는 난제를 AI로 탐구하면서 '검증 가능한 AI 지원 추론 시스템'을 구축하는 시도는 국내 첨단 연구 분야에 중요한 메시지를 던집니다. AI가 복잡한 문제 해결에 기여할 때, 그 과정과 결과의 신뢰성을 형식적으로 검증하고 오류를 명확히 하는 능력은 모든 AI 응용 분야에서 필수적인 고려사항이 될 것입니다.
본문 미리보기
arXiv:2606.15096v1 Announce Type: new Abstract: The Riemann Hypothesis remains one of the central unsolved problems in mathematics. Rather than claiming proof, we investigate whether a verifiable AI-assisted reasoning system can produce reliable, formally checked partial progress while explicitly identifying the remaining mathematical obstructions. We apply the Verifiable Growing Physical Transformer with Recursive Self-Improvement (VGPT-RSI) to two RH-adjacent certification tasks. First, we co
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 13:49AI 초안
