오픈AI, 차세대 AI ‘아스트라’ 예고⋯10년 묵은 난제 10개 풀었다

[엠투데이 이세민 기자] 오픈AI가 차세대 AI 모델로 거론되는 ‘아스트라’의 출시를 예고한 가운데, 내부 테스트에서 10년 이상 풀리지 않았던 수학·이론컴퓨터과학 난제 10개를 해결했다고 밝히며 AI의 연구 활용 가능성이 다시 주목받고 있다.오픈AI는 아스트라가 도출한 논리를 수학 증명 검증 도구인 ‘린’ 형태로 규격화해 공개했다. AI가 제시한 해법을 사람이 읽는 설명에 그치지 않고, 검증 가능한 수학 증명 형식으로 정리했다는 점에서 의미가 있다.비용 효율성도 강조됐다. 오픈AI는 해법을 찾는 데 사용된 전체 토큰 비용을 GPT