GPT-6 Astra, 인공 일반 지능(AGI) 논쟁에 불을 붙이다 — OpenAI의 안전 경고와 AI 확장이 충돌하다

트렌드 1: GPT-6 Astra, AGI 논쟁 촉발 — OpenAI의 내부 모순이 드러나다​

9월 4일, OpenAI는 지금까지 가장 강력한 모델인 GPT-6 Astra를 출시했습니다. 엔비디아 CEO 젠슨 황(Jensen Huang)은 X에 "AGI가 도래했다"고 게시했으며, OpenAI 사장 그레그 브록맨(Greg Brockman)은 컨퍼런스 콜에서 "AGI 시대에 오신 것을 환영합니다"라고 선언했습니다. Astra는 10만 개 이상의 엔비디아 Grace Blackwell NVLink72 GPU에서 학습되었으며, Blender, Photoshop, Unity 등 전문 소프트웨어의 자율 제어를 지원하고, 환각률을 약 2%까지 줄였다고 합니다. 황은 다음 배치인 40만 개의 GPU가 곧 가동될 것이라고 밝혔습니다.​

9월 6일, CNBC는 업계에서 증가하는 '모델 피로감'에 대해 보도했습니다. 단 일주일 사이에: Anthropic이 Fable과 Mythos를 업데이트했고(9월 1일), Meta가 Muse Spark 1.3을 출시했으며(9월 2일), Google이 Gemini 3.8 Flash를 출시했고(9월 2일), OpenAI가 GPT-6 Astra를 출시했으며(9월 4일), 아부다비의 MBZUAI가 K2 Horizon 시리즈를 오픈소스로 공개했습니다. 가트너는 2026년 AI 지출이 2조 5,900억 달러로 2025년 대비 47% 증가할 것으로 예상하며, 그 중 절반 이상이 인프라에 사용될 것이라고 합니다. Runpod CEO 루 젠(Zhen Lu)은 모델 피로감이 '확실히 실제 문제가 되었다'고 지적했으며, Clockwork Systems CEO 수레쉬 바수데반(Suresh Vasudevan)은 '이제 모든 출시가 너무나 엄청나게 강력해서 무엇이 진정한 도약인지 판단하기 어려워졌다'고 말했습니다.​

한편, Anthropic의 Claude는 Lean 증명 보조 도구에서 페르마의 마지막 정리에 대한 최초의 엔드투엔드 정형 증명을 완료했으며, 11일 동안 자율 실행되었습니다. 이 시스템은 명제 진술부터 커널 유형 검사를 통해 완전한 Lean 코드를 생성했으며, 증명 분해에 인간의 개입이 없었습니다. 임페리얼 칼리지의 수학자 케빈 버자드(Kevin Buzzard)는 이것이 '현대 수학 문헌 전체를 자동으로 정형화하는 데 중요한 진전'이라고 평가했습니다.