#Lean

1건

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

  오픈AI, 수학·물리·CS 새 증명 공개… "학계와 함께 검증하겠다"

  오픈AI, AI 증명을 학계와 공동 검증하는 새 공개 방식 실험

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