OpenAI의 미공개 AI 모델, Lean 형식화와 함께 준리만 가설 증명했다고 보도됨

🚨 OpenAI의 미공개 AI 모델이 Lean 형식화와 함께 준리만 가설(quasi-Riemann hypothesis)을 증명한 것으로 알려졌습니다.

만약 이것이 사실로 확인된다면, 이는 수론 분야에서 역사적인 돌파구이자 AI에게 있어 기념비적인 순간이 될 것입니다.

이 주장은 소수(prime numbers)가 어떻게 분포하는지와 깊은 관련이 있는 수학적 문제를 다룹니다. 이는 소수의 개수가 예상되는 패턴에서 얼마나 벗어날 수 있는지에 대해 훨씬 강력한 한계를 설정할 것입니다.

또한 이 논문은 오랫동안 제기되어 온 수론 문제들에 대한 결과를 도출하고, 소수 모듈로 제곱근을 찾는 결정론적 알고리즘(deterministic algorithms)을 보장합니다.