OpenAI vừa công bố thế hệ mô hình lớn tiếp theo mang tên Astra, qua 10 bài toán toán học được giải, trong lúc các đối thủ open-weight Trung Quốc ngày càng chiếm tỷ trọng lớn trong lưu lượng AI toàn cầu.
Các ý chính:
- OpenAI giới thiệu Astra ngày 1/8 trong một bài nghiên cứu tuyên bố đã giải 10 bài toán bị bỏ ngỏ ít nhất một thập kỷ.
- Mô hình chưa có ngày phát hành, chưa chốt tên thương mại và phải vượt qua một vòng rà soát liên bang mới trước khi tới tay người dùng.
- Các mô hình open-weight Trung Quốc hiện chiếm đa số token được định tuyến, dù phòng thí nghiệm Mỹ vẫn thu gần như toàn bộ chi tiêu.
Astra giải 10 bài toán mở trong toán học
Công ty lần đầu nêu tên Astra ngày 1/8 trong một bài viết nghiên cứu về toán, thay vì một thông báo sản phẩm như thường lệ.
Phiên bản nội bộ của Astra tạo ra các kết quả mới cho 10 bài toán trong toán học và khoa học máy tính lý thuyết, mỗi bài đều chưa có lời giải ít nhất mười năm.
OpenAI đã công bố bản thảo dài 249 trang cùng các chứng nhận chứng minh dạng Lean 4 có thể cho máy kiểm tra, tải lên GitHub với giấy phép mở.
Thành tựu nổi bật nhất là xây dựng tường minh được một nhóm không sofic – câu hỏi trong lý thuyết nhóm treo lơ lửng từ năm 1999. Các nhà nghiên cứu ước tính lượng token dùng để suy ra cả 10 lời giải nếu tính theo biểu giá API của Sol, mô hình chủ lực hiện tại của OpenAI, sẽ tiêu tốn khoảng 2.000 USD.
Đọc thêm: OpenAI đưa influencer tới khu nghỉ dưỡng nông trại, cộng đồng phản ứng dữ dội
Giới toán học thẩm định các tuyên bố chứng minh của Astra
Thomas Bloom, nhà toán học Đại học Manchester – người quản lý cơ sở dữ liệu công khai về các bài toán Erdos – đánh giá đây là tin “rất lớn”, thậm chí còn vượt kết quả hình học mà OpenAI công bố hồi tháng Năm.
Ông bác bỏ ý tưởng máy móc đang “thay thế” ngành toán, nhấn mạnh hệ thống được huấn luyện trên hơn một thế kỷ văn liệu của giới toán học. Noam Brown, nhà nghiên cứu OpenAI, cho biết nhóm cũng đã thử – và thất bại – với một loạt bài toán nổi tiếng khác. Không bài nào trong số các bài Millennium Prize bị chinh phục, nhưng ông lập luận mỗi lần thử chỉ tốn một lượng tính toán tương đối nhỏ và xem đây là bước tiến quan trọng trong suy luận khoa học.
Sam Altman đã trình diễn sơ bộ hệ thống trước các nhà lập pháp ở Washington tuần trước, và Astra dự kiến sẽ là mô hình đầu tiên chịu đánh giá theo khung quản lý liên bang mới. Công ty chưa ấn định ngày phát hành, cũng chưa quyết liệu sẽ gắn nhãn Astra là GPT-6 hay chỉ là một biến thể khác của GPT-5.
Mô hình open-weight Trung Quốc tái định hình nhu cầu token
Thời điểm ra mắt Astra mang ý nghĩa chiến lược, bởi “phe” open-weight đã ngừng chờ các phòng thí nghiệm Mỹ vạch ra ranh giới công nghệ. Tháng trước, CEO Nvidia Jensen Huang đã tập hợp nhiều đại gia công nghệ Mỹ ủng hộ mô hình open-weight, trong khi CEO Anthropic Dario Amodei kêu gọi siết chặt thử nghiệm an toàn bắt buộc và kiểm soát xuất khẩu chip.
Moonshot AI tung ra Kimi K3 vào tháng 7 với 2,8 nghìn tỷ tham số và công bố trọng số, được quảng bá là mô hình open-weight lớn nhất từng xây dựng.
Trên nền tảng OpenRouter, thị phần token định tuyến tới các mô hình Mỹ đã giảm từ khoảng 70% tháng 6/2025 xuống khoảng 30% một năm sau đó. Dù vậy, các phòng thí nghiệm Mỹ vẫn thu gần 95% doanh thu trên một cổng doanh nghiệp lớn trong tháng 6 – và chính khoảng cách doanh thu này là “hào nước” mà Astra phải bảo vệ.
Bài tiếp theo: Dogecoin đối mặt mốc hỗ trợ 0,05 USD trước khi có thể bật lên 0,12 USD
