속보X
OpenAI(오픈AI) 미공개 모델, '준 리만 가설' 증명했다는 주장…Lean 형식화 함께 공개
미확인 소문 단계. AI 수학 증명의 Lean 형식 검증 가능성은 주목하되 사실 확인 전까지 신중 필요.
요약
OpenAI의 미공개 AI 모델이 수학계의 난제인 '준 리만 가설(quasi-Riemann hypothesis)'을 증명했다는 주장이 제기되었다. 이번 연구는 증명과 함께 수학적 검증 언어인 Lean으로 작성된 정형화 코드를 공개했다는 점에서 학계의 주목을 받고 있다. 해당 증명이 사실로 확인될 경우, 소수의 분포 패턴을 정의하는 정수론 분야에서 역사적인 돌파구가 될 전망이다. 또한 이번 성과는 소수 개수의 편차에 대한 강력한 한계를 설정하고, 오랜 난제들에 대한 새로운 결론을 도출했다. 더불어 소수 법(modulo a prime)에서의 제곱근을 찾는 결정론적 알고리즘을 보장하는 등 실질적인 수학적 기여를 포함하고 있다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @ChrisGPT: 🚨 OpenAI’s unreleased AI model has reportedly proved the quasi-Riemann hypothesis with Lean formalization released alongside it.
원문 보기 ↗