우리는 리만 가설의 반례를 찾아내는 것을 쉽게 검색하고 있습니다. 이렇게 하면 소프트웨어 공학 원칙을 배울 수 있습니다. 이전 두 개의 기사에서 우리는 테스트 프레임워크를 구성하고 인터페이스 뒤에 구현 선택을 숨기는 방법을 보여 드렸습니다. 다음에는 알고리즘의 핵심 루틴을 개선할 것입니다. 이전과 마찬가지로 최종 코드 저장소의 특정 깃 커밋에 링크를 걸어 프로젝트가 어떻게 진화하는지 보여 드리겠습니다.
과잉 수 A 과잉 수 $ n$은 다음과 같은 의미에서 "최대 상대 약수 합"을 가지는 수입니다. 즉, 모든 $ m < n$에 대해,
jeremykun.com
Searching for RH Counterexamples — Search Strategies
