OpenAI hé lộ Astra, mô hình AI giải được mười bài toán mà các nhà toán học vật lộn hàng thập kỷ

OpenAI đã chính thức xác nhận sự tồn tại của một mô hình AI mới, Astra, mô tả nó là 'họ mô hình lớn tiếp theo' của công ty. Một phiên bản nội bộ của Astra đã giúp giải mười bài toán mở trong toán học và khoa học máy tính lý thuyết mà các nhà nghiên cứu đã làm việc không thành công trong ít nhất mười năm, và trong một số trường hợp là lâu hơn nhiều. Các bài toán được giải bao gồm các chủ đề trong hình học chiều cao, lý thuyết mã hóa, lý thuyết nhóm, độ phức tạp lượng tử, mật mã dựa trên lưới, và tổ hợp cực trị. Đáng chú ý, Astra đã xây dựng ví dụ đầu tiên về một nhóm không sofic, một đối tượng mà sự tồn tại của nó đã được thảo luận trong nhiều năm. Nhà toán học Thomas Bloom của Đại học Manchester gọi kết quả này là 'tin lớn', lưu ý rằng chúng có ý nghĩa hơn so với phản ví dụ tháng Năm cho giả thuyết khoảng cách đơn vị, nhưng ông không tin rằng các nhà toán học sẽ sớm bị thay thế bởi AI, vì các hệ thống AI được xây dựng dựa trên công việc lâu dài của cộng đồng toán học. Noam Brown, một nhà phát triển công nghệ lập luận tại OpenAI, cho biết công ty đã cố gắng áp dụng Astra cho các bài toán mở nổi tiếng khác nhưng cho đến nay vẫn chưa thành công, và ông viết trên X: 'Thật không may, chưa có giải thưởng Millenium nào (chưa).' Viện Toán học Clay trả 1 triệu đô la cho mỗi một trong bảy bài toán Millennium, chỉ một trong số đó đã được giải từ năm 2000. OpenAI ước tính rằng chi phí tính toán cho tất cả mười lời giải sẽ khoảng 2.000 đô la theo giá API hiện tại cho mô hình Sol của họ. Các nhà nghiên cứu đã chuyển các ý tưởng thành các bài báo khoa học đầy đủ, và tất cả các chứng minh đã được chuẩn hóa trong Lean, một hệ thống kết hợp ngôn ngữ lập trình và trình kiểm tra chứng minh tương tác, cung cấp các chứng minh được xác minh bằng máy. OpenAI đã công bố suy luận từng bước cho mỗi kết quả, nhấn mạnh rằng các nhà nghiên cứu chịu trách nhiệm về các ấn phẩm cuối cùng nhưng các ý tưởng toán học và logic chứng minh đến từ Astra. Trước đó, OpenAI cho biết họ đang phát triển một họ mô hình mới cho các nhiệm vụ dài và phức tạp, và CEO Sam Altman đã giới thiệu Astra với các quan chức chính phủ và quản lý Hoa Kỳ, nhấn mạnh khả năng điều phối nhiều tác tử AI. Theo các nguồn tin, Astra sẽ gia nhập các họ mô hình Sol, Terra, và Luna, và tên thương mại của nó chưa được biết. OpenAI đã hứa sẽ công bố một báo cáo kỹ thuật chi tiết. Các mô hình mới đang trải qua thử nghiệm nội bộ và sẽ là những mô hình đầu tiên được đánh giá theo quy trình của Hoa Kỳ đối với các mô hình AI tiên tiến, với thách thức chính là suy luận chuỗi dài ổn định.