Ông Ta Để GPT-5.6 Sol Chạy Liên Tục 33 Giờ Nghiên Cứu Định Lý Lớn Fermat, Bị Hệ Thống Ngừng Cưỡng Chế
Một chuyên gia đã thiết lập cho GPT-5.6 Sol một nhiệm vụ nghiên cứu cao cấp: tìm kiếm con đường ngắn gọn hơn để chứng minh Định lý cuối cùng của Fermat, tập trung vào độ cong Frey, phương pháp lùi vô hạn nhất quán, bất đẳng thức kiểu abc và thương số có giống thấp nhất quán. Nhiệm vụ chạy liên tục trong khoảng 33 giờ nhưng cuối cùng đã bị hệ thống OpenAI chặn lại một cách cưỡng chế.
GPT-5.6 Sol tự phân tích rằng lý do có thể là do phiên chiếm quá nhiều tài nguyên tính toán, hoặc OpenAI không muốn lãng phí thêm năng lực tính toán vào vấn đề này. Trong 33 giờ đó, mô hình đã thực hiện nhiều công việc có cơ sở, chuyển các "con đường khả thi" thành các phát biểu chính xác có thể kiểm chứng, sau đó lần lượt bác bỏ hoặc loại trừ chúng. Kết quả thu được là một bản đồ "đường cụt", không phải là bản thân chứng minh.
Về việc này, có nhiều cách giải thích khác nhau: một số người cho rằng OpenAI có thể đang giấu đi khả năng thực sự, không muốn mô hình giải quyết các vấn đề toán học lớn một cách tùy tiện; số khác lại tin rằng đây chỉ là cơ chế an toàn thông thường để tránh hệ thống bị treo, hoặc thậm chí là một lỗi kỹ thuật trong phiên bản 5.6. Một nhà khoa học nghiên cứu cấp cao của OpenAI đã phản bác giả thuyết "giấu nghề", cho rằng nếu người dùng thực sự giải được một bài toán lớn, đó sẽ là quảng cáo tốt nhất cho công ty. Tuy nhiên, những người phản đối cho rằng trong môi trường cạnh tranh lâu dài, việc bảo mật hoặc ưu tiên sử dụng nội bộ các mô hình mạnh là quan trọng hơn.
marsbit29 phút trước
