수학의 AI 진행
OpenAI는 내부 국경 모델에서 수학에 새로운 결과를 게시하고 GitHub의 Lean Proof 공식화 및 연구 세부 사항을 공유합니다.
AI NEWS JOURNAL
Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.