Chúng tôi đang vận chuyển chuyên gia làm việc nhanh hơn chúng tôi có thể kiểm tra

722 bài toán do AI viết của OpenAI trong một ngày là tiêu đề khiến các nhà xây dựng sợ hãi hơn là an ủi họ.

Nhiều bằng chứng được cung cấp cùng với phiên bản Lean mà máy tính có thể kiểm tra từng dòng một, điều này là thực tế và hữu ích. Nhưng bản thân tập sách này đã bị các nhà toán học phản đối quá trình này gọi là 'sự thất bại' và không cuốn nào giải quyết được vấn đề Giải thưởng Thiên niên kỷ.

Bài học không phải về toán học. Đó là AI hiện có thể tạo ra tác phẩm ở cấp độ chuyên gia nhanh hơn mức chúng ta có thể xác minh. 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.

Tôi coi mọi bản phác thảo AI đều là bản nháp đầu tiên từ một thực tập sinh rất nhanh nhẹn và rất tự tin. Tôi vẫn đọc tác phẩm.