오픈AI는 차세대 인공지능(AI) 모델 ‘아스트라(Astra)’가 수학과 컴퓨터 과학 분야의 장기 미해결 난제 10개에서 성과를 냈다고 1일(현지 시각) 밝혔다. AI 성능 경쟁이 치열해지는 가운데, 자사 모델이 기존에 없던 새로운 증명과 반례를 직접 만들어냈다며 추론 능력을 과시한 것이다. 오픈AI에 따르면 아스트라가 도전한 문제들은 최소 10년 이상 핵심 결과에 진전이 없었던 난제들이다. 고차원 기하학과 군(群)론, 양자 복잡도, 조합론 등 여러 분야에 걸쳐 있다. 아스트라는 일부 난제를 해결하거나 오랫동안 이어진 추측을 반증했다. 오픈AI는 인간 연구자가 AI를 보조 도구로 사용한 것이 아니라, 수학적 논증 자체를 아스트라가 생성했다고 밝혔다. 인간 연구진은 모델을 이용해 이를 논문 형태로 정리했고, 이후 아스트라는 정리 증명 프로그램 ‘린(Lean)’으로 각 논증을 다시 형식화했다. 오픈AI는 문제 해결에 사용된 토큰 비용이 GPT-5.6 솔(Sol) 기준 약 2000달러(약 290만원)에 불과하다고 밝혔다. 오픈AI는 최근 AI를 과학·수학 연구의 보조 도구를 넘어 새로운 발견을 만들어내는 ‘연구 협력자’로 키우는 데 힘을 주고 있다. 최근 과학자와 수학자 10만명에게 최신 챗GPT 모델을 무료로 제공하는 ‘학술 연구자를 위한 챗GPT’ 프로그램을 발표했다 모바일신천지 . 이미 정답이 존재하는 수학·코딩 문제를 잘 맞히는 것이 아니라, 전에 없던 연구 성과를 만들어낸다며 경쟁 AI와 차별화를 꾀하는 것으로 풀이된다. 아스트라는 아직 출시되지 않은 오픈AI의 차기 주요 모델이다. 샘 올트먼 오픈AI 최고경영자(CEO)는 최근 미국 워싱턴 DC에서 정책 담당자와 규제 당국자들에게 아스트라를 직접 시연했다고 미 IT 전문 매체 디인포메이션은 전했다. 오픈AI는 여러 AI 에이전트가 장시간 협업하며 고급 수학이나 복잡한 프로젝트를 수행하는 능력을 강조한 것으로 알려졌다. 조합론 등 여러 분