#Astra

OpenAI, 차기 모델 패밀리 이름을 공개하고 10개의 해결된 문제를 발표했지만, 아직 출시한 것은 없다

Astra라는 내부 버전은 수학 및 이론 컴퓨터과학의 오랜 미해결 문제 10개에 대한 증명을 Lean으로 정식화했다. 이 모델은 아직 공개되지 않았으며 이름도 잠정적이다.

3시간 전