OpenAI vừa công bố hệ thống AI nội bộ mang tên Astra đã giải được 10 bài toán toán học từng làm khó giới khoa học suốt hàng chục năm, thậm chí có bài bị bỏ ngỏ lâu hơn. Điều gây chú ý nhất là chi phí tính toán chỉ khoảng 2.000 USD, cực nhỏ so với công sức con người đã bỏ ra trước đó.

Các bài toán trải rộng nhiều lĩnh vực như lý thuyết nhóm, hình học đa chiều, lý thuyết mã hóa và mật mã học, trong đó có một kết quả bác bỏ một giả thuyết nổi tiếng về tính cứng trong toán học. Mỗi lời giải đều đi kèm bằng chứng có thể kiểm tra bằng máy tính. OpenAI cũng công khai các bằng chứng này để bất kỳ ai cũng có thể xác minh ngay, thay vì phải chờ quy trình bình duyệt truyền thống.

Đây được xem là bước tiến cho thấy AI không chỉ trả lời câu hỏi mà đã bắt đầu tự tạo ra tri thức khoa học mới. OpenAI dùng chính thành tích này để đặt tên cho dòng mô hình tiếp theo là Astra, dự kiến ra mắt trong thời gian tới.