FrontierMath, 아페리식 무리수성 문제를 해결로 표시

AI 요약

FrontierMath가 ζ(5)가 무리수임을 보이는 해답을 확인하고 해당 문제를 해결로 표시했습니다. 해답에는 프리프린트와 Lean 형식화(formalization)가 연결되어 있습니다. FrontierMath는 해답을 처음 제출한 AI 시스템이 무엇인지 알 수 없다고 밝혔습니다. 프리프린트는 AI를 상당히 활용했다고 밝히지 않았지만, FrontierMath의 기준에 따라 인간과 AI가 함께 만든 해답으로 판단했습니다.

문제의 목표

아페리(Apéry)는 1979년 점화식으로 빠르게 수렴하는 급수 두 개를 구성해 ζ(3)의 무리수성을 증명했습니다. FrontierMath의 문제는 ζ(5), ζ(7), 카탈랑 상수(Catalan’s constant), 칼레가리-디미트로프-탕 상수(Calegari-Dimitrov-Tang constant), 오일러-마스케로니 상수(Euler-Mascheroni constant) 각각에 대해 비슷한 점화식과 초기값을 찾아 무리수성을 증명하는 것이었습니다.

점화식의 차수와 다항식 계수에는 제한이 있었고, 해답은 정수성 및 수렴 조건을 만족해야 했습니다. 검증은 n이 650보다 작은 범위에서 진행했습니다. 수렴 조건에는 C=100, ρ=0.95를 적용했으며, 정수 조건은 정확히 검사하고 수렴 조건은 소수점 아래 6,000자리 값을 이용해 부동소수점으로 확인했습니다. 제출 정수의 자릿수와 계산 정밀도에도 제한이 있었습니다.

해답의 범위

이번 해답은 ζ(5)의 무리수성을 보이는 자연스러운 목표를 달성했지만, 문제에서 요구한 아페리식 점화식 형태는 아닙니다. FrontierMath는 풀이 형식이 달라도 목표한 무리수성 증명을 달성하면 해결로 인정한다는 정책에 따라 문제를 해결로 표시했습니다.

원문: Epoch AI / 번역·요약: Trawling