OpenAI, 722편의 수학 원고 공개: 리만 가설의 준-형태 해결 포함
OpenAI releases 722 math manuscripts
OpenAI가 722편의 수학 원고를 공개했다. 이는 372개의 결과군을 아우르며, 리만 제타 함수가 실수부 7/8 초과에서 영점이 없음을 보인 준-리만 가설, 버치-스위너턴다이어 추측의 완전한 공식, 힐베르트 10번 문제의 유리수체 버전에 대한 부정적 해결, 카탈란 상수의 무리수성 증명 등을 포함한다. 일부 결과는 Lean으로 형식화되었다.
우리는 모든 유한 차수 Hecke L-함수와 모든 Dirichlet L-함수가 반평면 Re(s) > 7/8에서 영점이 없음을 증명하며, 이로써 준-리만 가설이 해결된다.