OpenAI Công Bố Astra, Mô Hình 'tiếp Theo' Giải Được Mười Bài Toán Mở

OpenAI phát hành báo cáo toán học, lần đầu chính thức xác nhận tên Astra cho gia đình model 'tiếp theo' mà công ty đang phát triển. Công ty cho biết phiên bản nội bộ của Astra đã sinh ra lời giải cho mười bài toán mở mà các nhà toán học không tiến triển trong ít nhất một thập kỷ, và lâu hơn ở nhiều trường hợp.

Các kết quả trải dài nhiều lĩnh vực, gồm hình học không gian cao chiều, lý thuyết mã, lý thuyết nhóm, độ phức tạp lượng tử, mật mã học lưới và tổ hợp cực trị. Một trong các chứng minh xác lập sự tồn tại của các nhóm không-sofic, giải quyết một câu hỏi mở quan trọng trong lý thuyết nhóm.

OpenAI cho biết các token dùng để tạo mọi lời giải trên có chi phí khoảng 2.000 đô la theo mức giá API của Sol. Sau khi model sinh lập luận, con người đã làm việc với cùng model để biến các lập luận thành bài báo nghiên cứu. Model còn chính thức hóa từng chứng minh trong Lean, tạo chứng nhận có thể kiểm tra bằng máy về tính chính xác.

Công ty nói các nhà nghiên cứu đã giúp chuẩn bị bài báo và chính thức hóa chứng minh, và OpenAI chịu trách nhiệm về độ chính xác của các bài báo. Tuy nhiên, các lập luận toán học theo công ty là do Astra tạo ra. OpenAI cũng công bố phần diễn giải quá trình suy luận của model cho mỗi lời giải.

Noam Brown, một trong các nhà nghiên cứu liên quan đến kỹ thuật suy luận thời gian chạy mà Astra dùng, viết rằng OpenAI đã thử và thất bại với một số vấn đề lớn khác, và lưu ý chưa có lời giải cho bất kỳ Vấn đề Tiền thưởng Millennium nào. Brown gọi Astra là 'một bước lớn cho suy luận khoa học.'

Thomas Bloom, nhà toán học tại University of Manchester điều hành erdosproblems.com, gọi các kết quả là 'tin lớn' trên X và đánh giá chúng quan trọng về mặt cấu trúc so với một số kết quả gần đây. Bloom cũng phản bác ý tưởng cho rằng AI đang thay thế nhà toán học, nói rằng điều đó không hợp lý khi AI dựa trên hơn một thế kỷ lý thuyết toán học, do các nhà toán học xây dựng và được huấn luyện trên toàn bộ công trình của họ.