속보! OpenAI 차세대 AI, 필즈상급 난제 10개 해결 - 36Kr

중국 기술 매체는 OpenAI의 차세대 모델 ‘Astra’가 고급 수학 10개 문제에서 큰 진전을 냈다고 보도했다.

보도에 따르면 Astra는 군론, 기하학, 코딩 이론, 연산자 대수, 복잡도 이론 등에서 새로운 증명과 반례를 제시했다.

특히 첫 비-sofic 군, 고차원 구(球) 포장 개선, Connes의 강성 추측 반박이 포함됐으며, 증명은 Lean 4로 기계 검증됐다고 전해졌다.

OpenAI는 이를 더 넓은 추론 연구의 일부로 제시했고, 장문 PDF와 설명 자료도 함께 공개한 것으로 알려졌다.