Những nhận xét bổ sung từ Gary Marcus và Terence Tao về bước đột phá toán học khổng lồ của OpenAI

Sự ra mắt toán học mới khổng lồ của OpenAI:

Chúng tôi đang công bố một loạt các kết quả toán học mới được tạo ra bởi một mô hình ranh giới nội bộ. Chúng tôi đã tham vấn với Nhóm Cố vấn độc lập về Toán học và Trí tuệ Nhân tạo tại Viện Nghiên cứu Cao cấp, và chúng tôi đã dựa trên lời khuyên của họ và…

10:19 CH · 6 thg 10, 2026 · 15.2M Lượt xem

1.41K Phản hồi · 5.3K Lượt đăng lại · 33.3K Lượt thích

[Bài luận này được viết cực kỳ vội vã trước một chuyến bay dài không có wifi; xin hãy thứ lỗi cho các lỗi đánh máy.]

Tin tức thực sự ở đây không phải là kết quả; nó không phải là những gì chúng ta được kể.

1. AI đã từng cố gắng trở thành một ngành khoa học. Giờ đây chúng ta nhận được những thứ như báo cáo hoàn toàn mơ hồ từ OpenAI bên dưới:

“Cùng một quy trình”? “Sử dụng một mô hình chưa được phát hành”?

Điều này sẽ không bao giờ vượt qua được vòng bình duyệt.

Chúng ta không biết quy trình đó là gì.

Chúng ta không biết gì về kiến trúc. Ví dụ, các chứng minh được tạo ra trong một lần (one shot), rồi sau đó được xác minh bởi hệ thống ký hiệu Lean? Hay có một quy trình lặp lại?)

Chúng ta không biết gì về tỷ lệ thất bại. Chúng ta không biết gì về việc huấn luyện/sau huấn luyện/tăng cường dữ liệu.

2. Kết quả là, chúng ta hoàn toàn không biết kết quả này có khả năng tổng quát hóa thế nào bên ngoài toán học.