#린(Lean)

1건

• 연구2026년 10월 7일·5분 읽기

  오픈AI, 내부 모델이 증명한 수학 정리 10여 개 공개… 린 검증 코드 포함

  오픈AI가 내부 모델로 증명한 수학 정리와 검증 코드를 공개했으나 모델 자체는 닫아둠

  리서치 데스크오픈AI수학AI연구