OpenAI AI 모델이 수학적 돌파구를 마련했습니다: 암호학, 양자 컴퓨팅 등 10개의 오랫동안 해결되지 않은 문제 연구 결과 발표

공식 소식에 따르면, OpenAI는 연구 결과를 발표하며 차세대 AI 모델 Astra가 수학 및 이론 컴퓨터 과학 분야에서 진전을 이루었다고 전했습니다. 이 모델은 고차원 기하학, 부호 이론, 군론, 양자 복잡성, 후 양자 암호학 및 극값 조합 수학 등 여러 분야에 걸쳐 있으며, 발표된 10가지 성과는 다음과 같습니다: 고차원 구 포장 문제, 이진 및 구면 부호 문제, 비 sofic 군 문제, Connes 강성 추측, 산술 회로 복잡성 문제, 양자 병렬 반복 문제, 최근 벡터 문제, Ehrhart 체적 추측, 다채로운 Ramsey 수 문제, 극값 그래프 이론 추측.

소개에 따르면, 이러한 성과는 내부 버전의 Astra 모델을 통해 유도되었으며, 해결책을 찾는 데 소모된 계산 비용은 약 2000달러(솔 API 가격 기준)입니다.

이후, 인간 연구자들은 동일한 모델을 이용해 논문으로 정리하는 데 도움을 주었고, Lean 형식화 증명 시스템을 통해 검증 가능한 증명 증명서를 생성했습니다.