리만 가설 증명 성공

$\Re (s)=\frac{1}{2}\iff \forall s\in \mathbb{C}2{\mathbb{Z}}^{-}s.t.\zeta (s)=0$
리만 제타 함수 $\zeta \left(s\right)=0$을 만족하는 모든 자명하지 않은 근의 실수부는 ${\displaystyle \frac{1}{2}}$이다.

리만 가설(리만假說, Riemann hypothesis)은 베른하르트 리만이 설립한, 소수의 규칙성에 관한 가설이다.

카를 프리드리히 가우스는 소수의 규칙성에 대해 연구를 하던 중 소수의 분포를 대략적으로 알아내는 함수인 $\underset{x\to \mathrm{\infty }}{\lim }{\displaystyle \frac{\pi (x)\log x}{x}}=1$을 찾게 된다.[1] 그리고 훗날의 수학자 베른하르트 리만은 오일러의 함수를 변형해 입체적인 그래프를 만드는데, 놀랍게도 이 그래프에서 리만이 계산한 4개의 비자명 근이 복소평면 위에서 모두 일직선상에 위치했다. 그래서 그가 '다른 근 역시 모두 일직선상에 있는 것 아닌가'라고 추측한 것이 리만 가설의 대략적인 이야기다.

그리고 2025년 4월 1일 한 오이갤러에 의해 리만 가설은 증명되었다.  내년 4월 1일에 학계 발표 예정.