Zeta simple-zero 경계의 Lean 검증된 정밀화 (67.251%)Lean-verified refinement of the zeta simple-zero bound (67.251%)▲ 2 · zenodo.org · 63일 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…