중요X
OpenAI(오픈AI), 미공개 모델로 수학 논문 722편 공개… Lean 증명·추론 과정까지 수록
리만 제타·호지 추측 등 난제에 AI 추론 적용. 일부만 Lean 검증됐으니 결과는 선별적 신뢰 필요.
요약
OpenAI가 미공개 모델을 사용하여 작성한 722편의 수학 논문을 공개했다. 해당 모델은 약 4,000개의 미해결 연구 과제를 다루었으며, 하나의 결과물을 도출하는 데 약 3시간의 컴퓨팅 사고 시간을 소요했다. 이번 성과에는 리만 제타 함수의 제로 프리 영역, CM 아벨 다양체에 대한 호지 추측, 원주율 π의 무리수 지수 등 372개의 결과군이 포함되었다. 증명 과정은 Lean 언어로 제공되어 기계가 직접 검증할 수 있도록 했으며, 10개 결과에 대한 모델의 추론 요약본도 함께 공개했다. 다만 OpenAI는 결과물들이 검증 단계에 있어 일부 비공식화된 내용에는 오류가 있을 수 있다고 밝혔다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @godofprompt: OpenAI just published 722 maths papers written by a model they haven't released. 372 result families across the whole field. they
원문 보기 ↗