Cú sốc từ một kho bản thảo khổng lồ
Trong thông báo ngày 6/10, OpenAI giới thiệu kho nghiên cứu công khai gồm nhiều bản thảo toán học từ một hệ thống chưa phát hành rộng rãi. Danh mục GitHub được cập nhật theo thời gian; ở thời điểm bài báo Le Monde nêu sự kiện, kho ghi 719 bản thảo thuộc 372 nhóm kết quả, trong khi những thông báo khác đã ghi 722 bản thảo. Sự khác biệt là hệ quả của cập nhật danh mục, không phải số lượng định lý độc lập được chứng minh.
Các nhóm kết quả bao trùm nhiều lĩnh vực, từ giải tích và hình học đến logic và khoa học máy tính lý thuyết. Một số bản thảo có chứng minh được biểu diễn bằng Lean để máy tính kiểm tra, số khác đang chờ thẩm định. Chính OpenAI thừa nhận rằng các kết quả chưa được hình thức hóa có thể tồn tại sai sót. Nhìn nhận đúng mức độ chắc chắn này là điều thiết yếu khi một công bố lớn có thể tạo cảm giác mọi câu hỏi đều đã khép lại.
Nỗi bất an của người dành cả đời cho một câu hỏi
Theo Le Monde, tại cuộc trao đổi trực tuyến của Société mathématique de France ngày 8/10, Hugo Duminil-Copin đã kể về phản ứng xúc động khi chứng kiến 16 vấn đề liên quan đến công việc của ông xuất hiện trong đợt công bố. Cảm giác mất phương hướng của một nhà khoa học hàng đầu cho thấy toán học không đơn thuần là bảng thành tích; đó còn là hành trình dài xây dựng trực giác, ý tưởng và cộng đồng.
