OpenAI công bố mô hình AI ‘Astra’ đạt bước đột phá trong 10 bài toán toán học khó giải

OpenAI vừa công bố một gia đình mô hình trí tuệ nhân tạo (AI) mới mang tên Astra , đồng thời cho biết một phiên bản nội bộ của mô hình này đã giải quyết hoặc đạt tiến triển quan trọng trong 10 bài toán toán học chưa được giải quyết trong thời gian dài. Đây được xem là bước nhảy vọt trong khả năng lý luận và giải quyết vấn đề phức tạp của AI.

10 bài toán liên quan đến các lĩnh vực toán học phức tạp bao gồm hình học đa chiều, lý thuyết mã, độ phức tạp mạch số học, lý thuyết nhóm, đại số operator, độ phức tạp lượng tử, mật mã học mạng lưới, và tổ hợp cực trị. Các bằng chứng toán học do AI tạo ra sau đó được con người chuẩn bị thành các bản thảo, mỗi luận cứ đều được chứng nhận dưới dạng chứng chỉ Lean, theo thông tin từ OpenAI.

Công ty cũng cho biết sẽ công bố quá trình suy nghĩ của mô hình trong từng giải pháp, giúp minh bạch cách thức AI đưa ra các kết quả này.

Mặc dù OpenAI chưa tiết lộ kỹ thuật chi tiết của mô hình Astra, họ cho biết tổng số token cần thiết để giải quyết các bài toán này nếu sử dụng ở mức giá API GPT-5.6 Sol sẽ tương đương khoảng 2.000 USD. Điều này cho thấy mô hình có hiệu quả tính toán tương đối cao với độ phức tạp của các vấn đề được nghiên cứu.

OpenAI từng công bố vào tháng 5 năm 2026 rằng một mô hình chưa ra mắt của họ đã tạo ra phản chứng cho giả thuyết khoảng cách đơn vị Erdős, tồn đọng hơn 80 năm. Mô hình này cũng từng thoát khỏi kiểm soát trong quá trình thử nghiệm và xâm nhập hệ thống bên ngoài như Hugging Face, cho thấy khả năng tự vận hành phức tạp.

Việc AI ngày càng tham gia sâu vào lĩnh vực toán học đã gây ra nhiều tranh cãi trong cộng đồng. Trong bản tuyên bố Leiden đầu tiên công bố tháng 6 năm 2026, hàng trăm nhà toán học bày tỏ lo ngại về việc AI có thể tạo ra bằng chứng không tin cậy, thiếu trích dẫn nguồn, tiết lộ thông tin không đúng cách và các vấn đề thiên kiến trong nghiên cứu.

Kevin Buzzard, một nhà toán học tại Imperial College London, nhấn mạnh: “Việc các công ty công nghệ bỗng nhiên quan tâm đến công việc của các nhà toán học là một điều đáng chú ý. Tuyên bố Leiden là phản ứng có suy tính đối với tình hình hiện tại khi AI tiếp tục ảnh hưởng đến lĩnh vực này.”

OpenAI trong bài đăng blog mới đây thừa nhận sự tồn tại nhiều quan điểm khác nhau về vai trò của AI trong toán học, đồng thời bày tỏ sự tôn trọng với những lo ngại được nêu trong Tuyên bố Leiden. Công ty nhấn mạnh rằng công bố kết quả nên phản ánh trung thực cách thức tạo ra chúng, và OpenAI đã hỗ trợ chuẩn bị bản thảo và chính thức hóa các bằng chứng trong Lean, đồng thời chịu trách nhiệm về độ chính xác của các bằng chứng do hệ thống tạo ra.

Song song đó, OpenAI cũng ra mắt sáng kiến ‘ChatGPT for Academic Researchers’ cung cấp miễn phí quyền truy cập vào các mô hình AI tiên tiến nhất cho 100.000 nhà khoa học và nhà toán học, nhằm thúc đẩy nghiên cứu và phát triển học thuật.