OpenAI · 2026년 10월 6일

수학 분야의 AI 발전 공유

OpenAI는 내부 프런티어 모델을 통해 수학 난제에서 얻은 새로운 결과를 발표하고, Lean 증명 형식화와 연구 세부 정보를 GitHub에 공유합니다.

원문 보기

확인일 · 2026년 10월 10일