GPT-6 Astra làm bùng lên cuộc tranh luận về AGI khi các cảnh báo an toàn của OpenAI xung đột với việc mở rộng AI

Xu hướng Một: GPT-6 Astra kích hoạt cuộc tranh luận về Trí tuệ nhân tạo tổng quát (AGI) — Mâu thuẫn nội bộ của OpenAI lộ diện​

Vào ngày 4 tháng 9, OpenAI đã phát hành GPT-6 Astra, mô hình mạnh nhất của họ tính đến nay. Giám đốc điều hành NVIDIA Jensen Huang đã đăng trên X rằng "AGI đã đến" và Chủ tịch OpenAI Greg Brockman tuyên bố trong một cuộc gọi hội nghị: "Chào mừng đến với kỷ nguyên AGI". Astra được cho là đã được huấn luyện trên hơn 100.000 GPU NVIDIA Grace Blackwell NVLink72, hỗ trợ điều khiển tự động các phần mềm chuyên nghiệp như Blender, Photoshop và Unity, đồng thời giảm tỷ lệ ảo giác xuống còn khoảng 2%. Ông Huang tiết lộ lô 400.000 GPU tiếp theo sắp sửa đi vào hoạt động.​

Vào ngày 6 tháng 9, CNBC đưa tin về "sự mệt mỏi mô hình" ngày càng gia tăng trong ngành. Chỉ trong một tuần: Anthropic cập nhật Fable và Mythos (ngày 1 tháng 9), Meta phát hành Muse Spark 1.3 (ngày 2 tháng 9), Google ra mắt Gemini 3.8 Flash (ngày 2 tháng 9), OpenAI phát hành GPT-6 Astra (ngày 4 tháng 9) và Đại học Trí tuệ nhân tạo Mohamed bin Zayed (MBZUAI) của Abu Dhabi đã mã nguồn mở dòng sản phẩm K2 Horizon. Gartner dự báo chi tiêu cho AI năm 2026 đạt 2,59 nghìn tỷ USD, tăng 47% so với năm 2025, với hơn một nửa dành cho cơ sở hạ tầng. Giám đốc điều hành Runpod Zhen Lu lưu ý rằng sự mệt mỏi mô hình "chắc chắn đã trở thành một vấn đề thực sự", trong khi Giám đốc điều hành Clockwork Systems Suresh Vasudevan nhận xét rằng "mỗi bản phát hành hiện nay đều mạnh đến mức khó có thể đánh giá thế nào mới là một bước nhảy vọt thực sự".​

Trong khi đó, Claude của Anthropic đã hoàn thành chứng minh hình thức hóa đầu-cuối đầu tiên của Định lý Lớn Fermat trong trợ lý chứng minh Lean, chạy tự động trong 11 ngày. Hệ thống đã tạo ra mã Lean hoàn chỉnh từ phát biểu mệnh đề thông qua kiểm tra kiểu hạt nhân mà không cần sự can thiệp của con người vào việc phân rã chứng minh. Nhà toán học Kevin Buzzard của Đại học Hoàng gia London nhận xét rằng điều này đại diện cho "một bước tiến lớn hướng tới tự động hình thức hóa toàn bộ tài liệu toán học hiện đại".