CARD 4 · 디테일
4 / 5
"
아스트라가 트럼프 행정부의 AI 안전성 검증 체계 첫 적용 대상이 될 전망이며, 미 정부는 이달 초 관련 체계를 확정할 예정
— 한겨레
오픈AI는 차세대 AI 모델 '아스트라'가 10년 이상 해결되지 않은 수학 난제 10개를 풀었다고 발표했다. 고차원 기하학, 양자 복잡도 등 고난도 분야의 난제들이며, 생성된 증명은 린 형태로 컴퓨터 검증을 거쳤다. 놀라운 점은 단 2,000달러의 토큰 비용으로 이를 달성했다는 것으로, AI가 기존 연구 보조를 넘어 새로운 수학적 발견을 주도할 수 있음을 보여준다. 샘 올트먼 CEO는 워싱턴DC에서 정책 당국자들에게 아스트라를 시연했으며, 아스트라의 정확한 모델 위치(GPT-5.x vs GPT-6)는 아직 미정이다.