오픈AI, 차세대 모델 '아스트라'로 수학 및 이론 컴퓨터 과학 10대 난제 해결

오픈AI(OpenAI)가 차세대 플래그십 AI 모델인 '아스트라(Astra)'의 내부 개발 버전을 활용하여 수학 및 이론 컴퓨터 과학 분야에서 길게는 수십 년간 미해결 상태였던 10가지 난제를 해결하는 데 성공했다고 발표했습니다. 이번 연구 결과는 단순한 정보 요약을 넘어 극도로 고도화된 논리적 추론이 요구되는 학술 연구 영역에서 AI가 자율적인 발견 도구로 기여할 수 있음을 보여주는 강력한 이정표입니다.

연구팀에 따르면, 해결된 문제들은 고차원 구체 패킹(High-dimensional sphere packing), 이진 및 구면 코드(Binary and spherical codes), 논소픽 군(Non-sofic groups)의 존재성 규명, 콘의 강성 추측(Connes's rigidity conjecture) 부정 등 기하학, 부호 이론, 연산 회로 복잡도, 군론, 양자 복잡도, 격자 기반 암호학 등 다양한 첨단 수학 분야를 망라합니다. 아스트라 모델이 제시한 수학적 논증은 연구원들이 논문 형태로 정리했으며, 모델 스스로 모든 논증 과정을 공식 정리 증명 도구인 '린(Lean)' 코드로 공식화(Formalization)하여 검증서 형태로 깃허브에 업로드했습니다.

특히 이번 성과는 고성능 추론 모델의 상용화 가능성과 비용 효율성을 동시에 입증했습니다. 오픈AI는 해당 문제들의 솔루션을 찾는 데 필요한 토큰 비용이 기존 Sol API 단가 기준으로 약 2,000달러 수준에 불과했다고 밝혔습니다. 이는 AI가 연구 보조 도구를 넘어 인간 수학자와 협업해 지식의 경계를 확장하는 실질적인 'AI 연구 협업자(Research Collaborator)'로 진화하고 있음을 시사합니다.

오픈AI는 학술 연구계를 위한 AI 접근성 확대 계획과 함께 모델의 추론 과정을 기록한 생각 흐름(Thinking Process) 내레이션을 전면 공개했습니다. 회사는 수학계에서 AI 도입에 대해 우려하는 목소리를 담은 '레이던 선언(Leiden Declaration)'을 존중하며, 향후 AI 생성물에 대한 저작권 및 인간 기여도의 명확한 분리 등 책임감 있는 협업 문화를 구축하겠다고 덧붙였습니다.