OpenAI công bố 722 bản thảo, nêu giải pháp cho 372 vấn đề toán học lớn

Tóm tắt nhanh

• OpenAI đã đăng 722 bản thảo trên GitHub trình bày giải pháp và tiến triển cho 372 bài toán toán học lớn, theo thông báo của công ty.
• Các kết quả đến từ một mô hình tiền nhiệm của ChatGPT chưa phát hành và được xác nhận bởi hội đồng cố vấn toán học của OpenAI (AGMAI).
• OpenAI cho biết trung bình mỗi kết quả tiêu tốn khoảng ba giờ sử dụng ChatGPT Pro và công bố cả lập luận mô hình, ước tính tính toán và số bài toán đã thử nghiệm.
• Công ty nói đã tuân theo khuyến nghị của AGMAI, công bố nhanh qua kênh học thuật truyền thống và kèm tên mô hình, prompt và chi phí tính toán; nhưng họ không tiết lộ thời gian tính toán cụ thể cho từng bài toán hay prompt dùng.
• OpenAI khẳng định một số kết quả chính gồm lời giải cho giả thuyết Kakeya 4 chiều, cải tiến các thuật toán máy tính quan trọng và tiến triển về giả thuyết Riemann.
• Hầu hết bài báo được sản xuất đáp lại một prompt duy nhất cho một tác nhân AI, theo Scientific American; kết quả vẫn cần các nhà toán học đánh giá trước khi xác định tác động.
• Cộng đồng khoa học còn nhiều hoài nghi sau tranh cãi Navier–Stokes; MIT toán học Andrew Sutherland nói nếu không cho dùng mô hình công khai để tái tạo, các tuyên bố “one-shot” cần coi là chưa được xác minh.

Tóm tắt tự động bằng AI từ bài gốc, có thể có sai sót. Hãy kiểm chứng ở bài gốc.