수학의 AI 진행

OpenAI는 내부 국경 모델에서 수학에 새로운 결과를 게시하고 GitHub의 Lean Proof 공식화 및 연구 세부 사항을 공유합니다.

이것은 피드 발췌입니다. 전체 보고서의 원본 소스를 읽으십시오. 편집 검토는 종료됩니다.