OpenAI, 사내 프런티어 모델로 수학 미해결 문제의 새로운 성과 공개

OpenAI는 사내 프런티어 모델을 활용한 수학 미해결 문제의 새로운 성과를 공표했다. Lean을 이용한 증명의 형식화와 연구의 세부 내용은 GitHub에서 공유하고 있다.