오픈AI 차세대 모델 '아스트라', 수학·컴퓨터 과학 10대 난제 해결 | AIChainDay