722 bài toán của OpenAI là một lời cảnh tỉnh, không phải là một chiến thắng

OpenAI xuất bản 722 bài báo toán học do AI viết trong một ngày là loại tiêu đề khiến mọi người hoặc vui mừng hoặc hoảng sợ, và cả hai phản ứng đều sai mục đích.

Phần hữu ích: nhiều bằng chứng đi kèm với phiên bản Lean mà máy tính có thể kiểm tra từng dòng một. Đó là sự thật và đó là một bước tiến tới toán học mà bạn có thể xác minh mà không cần ủy ban.

Phần không thoải mái: bản thân tập sách này được các nhà toán học gọi là 'sự thất bại', những người phản đối quá trình chứ không phải kết quả. Không điều nào trong số đó giải quyết được vấn đề Giải thưởng Thiên niên kỷ.

Bài học dành cho tất cả chúng ta: AI giờ đây có thể tạo ra công việc ở cấp độ chuyên gia nhanh hơn mức chúng ta có thể kiểm tra. Nút thắt không bao giờ là thế hệ. Đó là sự xác minh, và nó vẫn vậy.

Tôn vinh khả năng, nhưng xây dựng việc kiểm tra. Một thế giới không thể xác minh những gì nó tạo ra là một thế giới chuyên truyền tải những điều vô nghĩa đầy tự tin trên quy mô lớn.