Chuyện gì đã xảy ra
Ngày 6/10/2026, OpenAI đăng trên openai/math kết quả toán học từ mô hình nội bộ chưa phát hành: 372 họ kết quả và 722 bản thảo. Khoảng 42% được máy kiểm tra bằng Lean. Ngày hôm sau, ba bản thảo bị rút vì lỗi dấu. Association for Human Mathematics kêu gọi các nhà toán học ngừng hợp tác với OpenAI.
Nên làm gì
- Đặt cổng xác minh trước khi coi đầu ra AI là sự thật.
- Ưu tiên công bố phần đã được máy kiểm tra.
- Coi việc rút lại nhanh là tín hiệu lành mạnh.
