OpenAI의 차세대 모델 Astra, 2천 달러 상당의 컴퓨팅으로 10가지 수학 문제 해결

8월 1일, OpenAI는 자사의 차세대 주력 모델인 Astra의 내부 버전이 달성한 수학 및 이론 컴퓨터 과학 분야의 열 가지 획기적 성과를 발표했다. Sol API 가격 기준으로 계산했을 때, 이러한 문제들의 해법을 찾는 데 필요한 토큰의 총 비용은 약 2,000달러였다. 이번에 발표된 열 가지 성과에는 고차원에서의 조밀 구 채우기(dense sphere packing) 상한 개선, 이진 및 구면 코드(binary and spherical code) 경계 개선, 비가해군(non-solvable Sophie groups)의 존재 증명, 콘 경직성 추측(Connes rigidity conjecture)에 대한 반증, 산술 회로 복잡도(arithmetic circuit complexity)의 새로운 하한, 양자 병렬 반복 정리(quantum parallel repetition theorem), 최근접 벡터 문제(closest vector problem)에 대한 다항식 배율 근사 난이도 증명, 에르하르트 부피 추측(Ehrhart volume conjecture), 다색 램지 수(multicolor Ramsey numbers)에 대한 초지수적 하한, 그리고 극값 수(extremal number) 관련 추측 등이 포함되어 있다.