수학

기사 통계를 확인하고 있습니다.

• 

  OpenAI, 수학 연구와 Lean 증명 공개

  OpenAI가 내부 모델의 미해결 수학 연구와 Lean 형식 증명을 공개했지만 성과 수준을 판단할 세부 정보는 부족하다.

  모델·연구2026. 10. 7.1분출처 1건모델·연구OpenAI수학Lean형식증명최근 30일 조회수 —좋아요 —