수학과 이론 컴퓨터 과학의 10가지 진전

- 최소 10년간 핵심 진전이 없던 공개 문제 10개에서 OpenAI의 차기 주요 모델 Astra 내부 버전이 새로운 결과를 생성했으며, 고차원 기하학부터 양자 복잡도와 격자 암호까지 폭넓게 다룸 - 해법 탐색에는 Sol API 요금 기준 약 2,000달러 상당의 토큰이 사용됐고, 인간이 같은 모델로 논문을 준비한 뒤 모델이 각 논증을 Lean 인증서로 형...