Các giải pháp toán học của OpenAI vẫn chưa đáp ứng được tiêu chuẩn ngành

Khi OpenAI công bố hàng trăm giải pháp được tuyên bố cho một số bài toán khó nhất thế giới trong tuần này, phòng thí nghiệm hàng đầu này cho biết họ đã tham khảo ý kiến của một nhóm cố vấn gồm các nhà toán học tinh hoa để tránh cuộc tranh cãi từng xảy ra vào lần trước khi một trong các mô hình của họ giải quyết một bài toán lâu đời trong lĩnh vực này.

Nhưng OpenAI đã không đáp ứng được các tiêu chuẩn đó, đặc biệt là ở những điểm mà các nhà toán học nhấn mạnh nhu cầu về sự hiểu biết của con người đối với một kết quả toán học. Điều đó đặc biệt đáng lo ngại sau khi một bài báo mới làm nổi bật những khoảng cách giữa ngôn ngữ tự nhiên và giải pháp được diễn đạt chính thức cho một bài toán triệu đô được cho là đã được giải quyết bởi các mô hình của OpenAI.

Nhóm Cố vấn về Toán học và Trí tuệ Nhân tạo (AGMAI), do Viện Nghiên cứu Cao cấp của Đại học Princeton chủ trì, bao gồm chín nhà nghiên cứu nổi tiếng tại các tổ chức trên khắp thế giới.

Tổ chức này đã phát hành các hướng dẫn cho các phòng thí nghiệm hàng đầu giải quyết các bài toán vào cuối tháng Chín. Trong một tuyên bố về bộ chứng minh mới nhất, AGMAI cho biết rằng "cuối cùng, cộng đồng toán học sẽ đánh giá mức độ mà các khuyến nghị của chúng tôi được tuân thủ thành công."