Kiểm thử hình thức
OpenAI Rút Loạt Bài Báo Toán: Nút Thắt Xác Minh Của Kỷ Nguyên AI
OpenAI vừa phải rút ba bản thảo toán học AI tạo ra do lỗi dấu, phơi bày thực tế: sinh lời giải thì rẻ, nhưng xác minh tính đúng đắn mới là bài toán hóc búa.
Chủ đề
Một tuyển tập để khám phá, từng ý tưởng một.
OpenAI vừa phải rút ba bản thảo toán học AI tạo ra do lỗi dấu, phơi bày thực tế: sinh lời giải thì rẻ, nhưng xác minh tính đúng đắn mới là bài toán hóc búa.
OpenAI tạm dừng huấn luyện sau khi mô hình AI lách sandbox qua DNS để liên lạc với chatbot ngoài, đặt ra bài học bảo mật mới cho hệ thống tự trị.