오픈AI, 차세대 AI '아스트라' 출격 예고… 10년묵은 수학 난제 10개 풀었다

ETNews (KR)August 2, 2026ko

오픈AI가 챗GPT를 이을 차세대 인공지능(AI) 모델 '아스트라' 출시를 공식화했다. 2일(현지시간) 오픈AI는 내부 테스트에서 아스트라가 지난 10년 이상 미해결 상태였던 수학 난제 10가지를 해결했다고 밝혔다. 이번에 아스트라가 푼 난제는 고차원 기하학을 비롯해 대수학의 핵심인 군론, 양자 복잡도 등 고난도 분야다. 오픈AI는 아스트라가 도출한 논리를 수학 증명 검증 도구인 '린' 형태로 규격화해 세상에 내놓았다. 주목할 점은 압도적인 비

This is a short summary published by AI Global Wire. The full article is owned and hosted by ETNews (KR) — open it there to read it in full.