감사 가능한 증명 탐색을 위한 새로운 프리프린트 공개

SEERAVERSE Research Initiative(SRI)는 리만 가설을 사례로 장기 증명 탐색을 설계하는 새로운 프리프린트를 Zenodo에 공개했습니다.

목적

이 논문은 리만 가설의 증명이나 고전적 도구의 신규성을 주장하지 않습니다. 시도한 경로, 실패한 분기, 남은 병목과 다음 검증 단계를 보존하는 감사 가능한 연구 구조를 제안합니다.

• 불변의 증명 골격과 현재 병목의 분리
• 동치 재표현을 진전으로 오인하지 않기
• 실패한 분기를 부정적 지식으로 보존
• 정성적 수학과 유한 기계 인증의 구분

일본어판과 영어판 PDF가 제공됩니다. DOI: 10.5281/zenodo.23101473