OpenAI, 249페이지 분량의 논문 발표: 최첨단 추론 모델로 10가지 주요 수학적 문제를 한 번에 극복

OpenAI는 7월 31일 249페이지 분량의 연구 컬렉션을 발표하여 고급 수학과 이론 컴퓨터 과학 분야의 최첨단 추론 모델의 10가지 발전을 공개했습니다. 가장 눈길을 끄는 점은 이 모델이 이전에 해결되지 않았던 유명한 공개 수학 문제를 여러 번의 재시도 및 수동 개입 없이 "단일 시도" 방법으로 해결했다는 것입니다. "문제 해결 능력"에서 "미해결 문제를 독립적으로 진행할 수 있는 능력"까지, 이는 아마도 "자율적인 수학적 연구"를 향해 나아가는 추론 모델을 가장 구체적으로 보여주는 사례일 것입니다.

10대 발전과 '단발'의 극복

이 컬렉션은 고급 수학과 이론 컴퓨터 과학의 두 가지 주요 방향을 다루며 총 10가지 특정 개발을 포함합니다. 획기적인 사건 중 하나는 모델이 단 한 번의 추론으로 유명한 공개 수학 문제를 해결했다는 것입니다. 전통적인 패러다임은 종종 여러 시도나 인간의 도움에 의존하며 "단일 샷"은 모델이 추론 품질 자체를 직접 구현할 수 있는 지점까지 끌어올렸다는 것을 의미합니다. 모든 관련 결과는 Lean 형식 증명의 형태로 오픈 소스로 제공되며 검증 가능하고 재현 가능한 모델에 대한 자체 작성 논문과 함께 제공됩니다.

비용 계정 USD 2000/질문

공식적으로 각 수학 문제를 해결하는 데 드는 계산 비용은 약 $2,000입니다. 이 비용 계정을 인간 수학자 팀의 시간 및 재정적 투자와 비교하면 크기 순서의 차이가 매우 직관적입니다.