OpenAI, 수십 년간 수학자들을 괴롭힌 수학 문제 10개를 푼 AI 모델 'Astra' 공개

OpenAI가 새로운 AI 모델인 Astra의 존재를 공식적으로 확인하며, 이를 '차세대 주요 모델 계열'이라고 설명했습니다. Astra의 내부 버전은 연구자들이 최소 10년 동안, 어떤 경우에는 그보다 훨씬 더 오랫동안 성공하지 못했던 수학 및 이론 컴퓨터 과학 분야의 열 가지 미해결 문제를 해결하는 데 도움을 주었습니다. 해결된 문제에는 고차원 기하학, 부호 이론, 군론, 양자 복잡성, 격자 기반 암호학, 극단적 조합론 등의 주제가 포함됩니다. 특히 Astra는 수년 동안 존재가 논의되어 온 객체인 최초의 non-sofic 군의 예를 구성했습니다. 맨체스터 대학의 수학자 토마스 블룸은 이 결과를 '큰 뉴스'라고 부르며, 5월의 단위 거리 추측에 대한 반례보다 더 중요하다고 언급했지만, AI가 수학자들을 곧 대체할 것이라고는 생각하지 않습니다. AI 시스템은 수학 공동체의 장기적인 작업 위에 구축되기 때문입니다. OpenAI의 추론 기술 개발자 Noam Brown은 회사가 Astra를 다른 유명한 미해결 문제에 적용하려고 시도했지만 지금까지 성공하지 못했다고 말하며, X에 '안타깝게도 아직 밀레니엄 문제는 없습니다.'라고 적었습니다. 클레이 수학 연구소는 일곱 개의 밀레니엄 문제 각각에 대해 백만 달러를 지급하며, 2000년 이후 단 하나만 해결되었습니다. OpenAI는 열 가지 해결책에 필요한 컴퓨팅 비용이 현재 Sol 모델 API 요금 기준으로 약 2,000달러가 될 것이라고 추정합니다. 연구자들은 이러한 아이디어를 완전한 과학 논문으로 발전시켰으며, 모든 증명은 프로그래밍 언어와 대화형 증명 검사기를 결합한 시스템인 Lean에서 공식화되어 기계 검증된 증명을 제공했습니다. OpenAI는 각 결과에 대한 단계별 추론을 게시하며, 최종 출판에 대한 책임은 연구자에게 있지만 수학적 아이디어와 증명 논리는 Astra에서 비롯되었다고 강조했습니다. 앞서 OpenAI는 길고 복잡한 작업을 위한 새로운 모델 계열을 개발 중이라고 밝혔으며, CEO인 샘 알트먼은 미국 정부 및 규제 기관에 Astra를 소개하면서 많은 AI 에이전트를 조정하는 능력을 강조했습니다. 소식통에 따르면 Astra는 Sol, Terra, Luna 모델 계열에 합류할 예정이며 상용 이름은 알려지지 않았습니다. OpenAI는 상세한 기술 보고서를 게시하겠다고 약속했습니다. 새 모델은 내부 테스트를 거치고 있으며, 고급 AI 모델에 대한 미국 절차에 따라 처음으로 평가될 예정이며, 주요 과제는 안정적인 장기 추론입니다.