OpenAI, 미공개 모델로 쓴 수학 논문 722편 공개… 검증에 500만 달러 지원
OpenAI는 미공개 프론티어 모델이 도출한 수학 연구 결과와 논문 722편을 깃허브에 공개했다. 증명 검증을 위해 린(Lean) 언어 코드가 포함됐으며 평균 3시간의 ChatGPT Pro 연산이 소요됐다. 이어 10월 15일에는 사이먼즈 재단에 500만 달러를 기부해 수학자들의 연구 검증을 지원하겠다고 밝혔다.
OpenAI는 미공개 프론티어 모델이 도출한 수학 연구 결과와 논문 722편을 깃허브에 공개했다. 증명 검증을 위해 린(Lean) 언어 코드가 포함됐으며 평균 3시간의 ChatGPT Pro 연산이 소요됐다. 이어 10월 15일에는 사이먼즈 재단에 500만 달러를 기부해 수학자들의 연구 검증을 지원하겠다고 밝혔다.