OpenAI, 차기 모델 패밀리 이름을 공개하고 10개의 해결된 문제를 발표했지만, 아직 출시한 것은 없다

OpenAI는 토요일에 좀처럼 하지 않는 일을 했다. 아직 완성되지 않은 모델에 이름을 붙인 것이다. 수학 보고서와 함께 나온 게시물은 회사의 차기 주요 패밀리에 Astra라는 이름을 붙였고, 내부 버전이 해결했다고 전해지는 이전의 미해결 문제 10개의 목록을 함께 제시했다.

실제로 주장된 내용

10개의 결과는 고차원 기하학, 부호 이론, 군론, 양자 복잡도, 격자 암호학, 극값 조합론에 걸쳐 있다. OpenAI의 설명은 각 문제에서 적어도 10년 동안 진전이 없었다는 것이다. 각 증명은 증명 보조기인 Lean으로 정식화됐으며, 회사는 Sol에 대한 현재 API 요금 기준으로 연산 비용이 대략 2,000달러였다고 밝힌다. Erdős 문제 데이터베이스를 관리하는 Thomas Bloom은 이 결과를 큰 뉴스라고 평가했지만, 이는 독립적인 검증이 아닌 활동 중인 수학자의 의견이다.

Lean이 인증하는 것과 인증하지 않는 것

이 점이 대부분의 보도에서 빠지고 있는 핵심 구분이다. Lean으로 검증된 증명은 유효하다. 단계가 논리적으로 이어진다는 뜻이다. 그러나 Lean은 그 명제가 어려웠는지, 정말로 미해결이었는지, 또는 그 결과가 중요한지에 대해서는 아무 말도 하지 않는다. 그런 판단은 수개월에 걸쳐 수학계가 내리는 것이며, 이 중 어느 것도 아직 동료 평가를 거치지 않았다. 결과는 자체 보고다.

하나가 아니라 두 개의 사건

집계 매체들은 The Information이 보도한 금요일 워싱턴의 비공개 시연과 토요일의 공개 수학 보고서를 하나로 섞어 놓았다. 둘은 별개다. 금요일 행사는 비공개 브리핑이었고, 토요일 것은 그 결과물이었다.

이름도 아직 최종이 아니다

OpenAI는 Astra를 잠정적 명칭이라고 설명한다. 회사는 이 패밀리가 GPT-6로 나오는지, GPT-5.7로 나오는지, 아니면 기존 Sol, Terra, Luna 라인과 나란히 놓이는 별도 계층인지 밝히지 않았다. 개발자에게 제공되는 것은 없고, 가격도 없으며, 출시 일정도 없다.

보도상 Astra의 용도

이 패밀리에 붙은 초기 보도상의 설계 목표는, 몇 초 만에 답하는 대신 하나의 문제에 몇 시간 또는 며칠을 들여 작업하는 모델이다. 이는 10개 문제를 대상으로 한 수학 실행이 시사하는 바와도 일치한다. 긴 시간 축, 지속적인 탐색, 그리고 질의당 센트의 일부가 아니라 결과당 수천 달러로 계산되는 비용이다. 또한 왜 출시가 연구 성과를 통해 예고되는지도 설명한다. 한 가지 질문에 하루를 쓰는 것이 장점인 모델은 채팅창에서 시연하기 어렵고, 그것을 보여주는 유일하게 읽을 수 있는 증거는 다른 사람이 얻지 못한 결과다.