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

2026-08-03 06:50