OpenAI công bố loạt nghiên cứu AI giải quyết hàng trăm bài toán mở
OpenAI đã phát hành 722 bản thảo thuộc 372 nhóm kết quả do một mô hình AI hàng đầu chưa ra mắt tạo ra, chi tiết hóa lời giải cho hàng trăm bài toán toán học chưa có lời giải trước đây. Tài liệu được đăng tải kèm theo tóm tắt quá trình suy luận, ước tính chi phí tính toán và thống kê các lần thử nghiệm. Đây là một cột mốc quan trọng đối với lĩnh vực suy luận tự động và AI cho Khoa học (AI for Science), chứng minh rằng các mô hình AI tiên tiến có thể giải quyết các bài toán nghiên cứu nâng cao. Tuy nhiên, sự kiện này cũng kích hoạt những tranh luận gay gắt về đạo đức nghiên cứu, quy chuẩn xuất bản và cách ghi nhận công ơn của các nhà toán học con người. OpenAI cho biết lượng tài nguyên tính toán để tạo ra một kết quả trung bình tương đương với việc ChatGPT Pro suy luận liên tục trong ba giờ. Đợt phát hành này tuân theo hướng dẫn từ Hội đồng Cố vấn về Toán học và Trí tuệ Nhân tạo (AGMAI) vừa thành lập, đơn vị kêu gọi các phòng thí nghiệm AI công khai mức tiêu thụ tài nguyên, câu lệnh và minh bạch kênh xuất bản.
## KIẾN THỨC NỀN
Chứng minh định lý tự động và suy luận toán học từ lâu đã là mục tiêu lớn của khoa học máy tính, nhưng trước đây các hệ thống AI có rất ít tác động đến nghiên cứu toán học thuần túy. Hội đồng Cố vấn về Toán học và Trí tuệ Nhân tạo (AGMAI) được thành lập tại Viện Nghiên cứu Cao cấp (IAS) nhằm giúp cộng đồng toán học định hình các quy chuẩn đạo đức, ghi nhận công trạng và chuẩn mực xuất bản khi AI phát triển nhanh chóng.