미공개 AI 모델이 푼 '새 수학' 722건, 증명까지 함께 공개

서브에이전트·빠른 편집·터미널 작업처럼 가볍고 반복 많은 일에 맞춰, 초기 테스트에선 Sonnet 5급 품질을 훨씬 적은 토큰·단계로 냈다고 합니다.

형식이 정해진 API 키뿐 아니라 형식 없는 '그냥 비밀번호'까지 주변 코드를 읽어 찾아내고, 푸시 보호로 커밋 히스토리에 들어가기 전에 막아줍니다(기능별 단계 프리뷰).

대화가 길수록 답 품질이 떨어지고, 자동 압축도 이전 오류를 그대로 끌고 올 수 있기 때문이에요.

예: 관련 코드 먼저 파악 → 함수 수정하고 테스트 작성 → 결과 점검, 그리고 각 단계가 끝나면 컨텍스트 비우기.

손대는 범위가 예상보다 크거나 대규모 재작성이 보이면, 프롬프트에 빠진 맥락이 없는지 점검하라는 신호로 봅니다.

상당수에는 기계가 증명의 참·거짓을 따지는 Lean 형식화가 붙어 있어, 그럴듯하지만 틀린 답을 가려낼 수 있게 했습니다(전부가 형식화된 것은 아님).

한 번에 약 490억 파라미터만 켜서 효율을 높였고 160개 넘는 언어를 지원합니다. 현재 클라우드 프리뷰로 제공되며, 가중치(weights)는 이달 후반 공개 예정입니다.

내부 측정 기준 편집 후 재빌드 지연이 최대 98% 줄었고, 타입체크에 들어가던 하루 컴퓨팅도 80% 넘게 절약됐다고 합니다.

대체 모델(GPT-5.6 Sol, Gemini 3.8 Flash 등)로 자동 전환되니, 특정 모델을 쓰도록 고정해 뒀다면 미리 바꿔두는 편이 안전합니다.