OpenAI xác nhận 'dòng mô hình lớn tiếp theo' Astra, giải đồng thời mười bài toán mở

OpenAI đã chính thức xác nhận tên của dòng mô hình lớn tiếp theo của mình, Astra, đồng thời công bố một báo cáo toán học cho thấy một phiên bản nội bộ của Astra đã giải được mười bài toán chưa từng được giải trước đây trong lĩnh vực toán học và khoa học máy tính lý thuyết. Các bài toán này trải dài trên nhiều lĩnh vực khác nhau, bao gồm 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ị. Trong số các bài toán được giải, có một chứng minh về sự tồn tại của các nhóm không sofic, một câu hỏi mở trung tâm trong lý thuyết nhóm. Nhà toán học Thomas Bloom từ Đại học Manchester đã gọi kết quả này là 'tin lớn' trên X, đánh giá chúng cao hơn cả phản ví dụ về giả thuyết khoảng cách đơn vị được công bố vào tháng Năm. Noam Brown, một nhân vật chủ chốt đằng sau công nghệ lập luận tại thời điểm kiểm tra làm nền tảng cho Astra, đã thừa nhận trên X rằng OpenAI cũng thất bại trong các bài toán lớn khác, bao gồm các Bài toán Giải thưởng Thiên niên kỷ, đồng thời lưu ý rằng họ đã không dành quá nhiều sức mạnh tính toán cho mỗi bài toán và rằng khả năng tính toán tại thời điểm kiểm tra có thể được mở rộng hơn nữa. Brown mô tả Astra là một 'bước tiến lớn cho lý luận khoa học'. Chi phí tính toán cho các giải pháp là rất thấp: theo OpenAI, số token cần thiết sẽ có giá khoảng 2.000 đô la theo giá API của mô hình Sol. Các lập luận sau đó được con người cùng với chính mô hình đó xử lý thành các bản thảo, và mỗi chứng minh được chính thức hóa thành một chứng chỉ Lean, một xác nhận có thể kiểm tra bằng máy về tính đúng đắn toán học. OpenAI cũng công bố một bản tường thuật về quá trình suy nghĩ của mô hình cho mỗi giải pháp. Công ty làm rõ rằng mặc dù họ đã hỗ trợ chuẩn bị bản thảo và chính thức hóa, đồng thời chịu trách nhiệm về tính đúng đắn, nhưng bản thân các lập luận toán học đến từ hệ thống, và việc tuyên bố quyền tác giả của con người cho một chứng minh hoàn toàn do AI tạo ra sẽ xuyên tạc cả sự đóng góp của hệ thống lẫn bản chất của công việc trí tuệ thực thụ của con người, đồng thời ám chỉ đến những người ký Tuyên bố Leiden về AI và Toán học. Bloom đã tương đối hóa quan điểm cho rằng AI thay thế các nhà toán học, lập luận rằng không phù hợp để nói như vậy khi AI xây dựng dựa trên hơn một thế kỷ lý thuyết toán học, được tạo ra bởi các nhà toán học và được huấn luyện trên mọi thứ mà các nhà toán học từng viết. Các báo cáo trước đó cho biết CEO Sam Altman đã trình diễn Astra cho các chính trị gia và nhà quản lý tại Washington D.C., và rằng Astra là một lớp mô hình mới, khác biệt so với các dòng mô hình hiện có Sol, Terra và Luna, với khả năng được phát hành dưới tên GPT-6 hoặc như một biến thể trong dòng GPT-5, chẳng hạn như GPT-5.7. Astra dự kiến sẽ là mô hình đầu tiên trải qua một khuôn khổ mới theo kế hoạch của chính quyền Trump, yêu cầu sự xem xét của chính phủ liên bang trước khi công bố công khai. Mô hình này được thiết kế cho sự cộng tác đa tác tử trong các khoảng thời gian dài, nhằm mục tiêu giải quyết các dự án phức tạp và các nhiệm vụ toán học tiên tiến. OpenAI đã tuyên bố mục tiêu phát triển các hệ thống AI có thể làm việc trên các vấn đề trong nhiều giờ hoặc nhiều ngày, và đến tháng 3 năm 2028, họ đặt mục tiêu hoàn thiện một nhà nghiên cứu AI hoàn toàn tự động.