OpenAI는 8월 1일 차기 모델 Astra의 내부 버전이 수학·이론컴퓨터과학의 미해결 문제 10개를 풀었다고 발표했습니다 — 들어간 컴퓨트 비용은 약 $2,000
핵심은 검증 가능성입니다.
OpenAI는 결과를 기계 검증이 가능한 Lean 증명 형태로 깃허브에 공개 — 누구든 검증기로 참·거짓을 확인할 수 있습니다.
시험 점수는 조작 의심이 가능하지만, 답이 없던 문제를 풀고 그 증명이 기계로 검증되는 건 반박이 불가능
권위자들이 인정했습니다.
필즈상 수상자 티모시 가워스는 이 모델 계열의 증명 하나를 최고 학술지에 주저 없이 추천하겠다고 했고, 노가 알론 등 저명 수학자들이 평가에 참여했습니다.
에르되시의 단위거리 추측을 반증한 결과도 포함
주목할 건 비용입니다.
수년간 인간 전문가를 붙잡던 문제가 노트북 한 대 값에 풀린 것 — 특정 연구의 병목이 인간 천재의 희소성에서 컴퓨트 가용성으로 이동할 수 있다는 신호입니다.
AI 칩 배치는 9개월마다 2배로 늘고 있음
다만 AGI는 아닙니다.
수학은 규칙이 명확하고 답이 검증되는, AI에 유리한 영역이고 이번 문제도 그런 강점 구간에서 선별됐습니다.
그럼에도 AI가 과제 수행을 넘어 가장 엄밀한 분야에서 독창적 연구를 하기 시작한 것 — 그 경계가 넘어간 순간인 것 같네요.