Anh em còn đang loay hoay viết prompt để debug ba cái lỗi UI vớ vẩn hay xin vài đoạn code mẫu, thì ngoài kia, giới tinh hoa toán học vừa bị một cú tát tỉnh người. Người ta đã dùng GPT-5.6 để giải quyết một khoảng cách học thuật kéo dài suốt 30 năm trong ngành tối ưu hóa lồi (convex optimization). Đúng là kẻ ăn không hết, người lần không ra!
Mới đây trên subreddit r/math, một chủ đề đã giật sập spotlight với gần 500 lượt upvote. Chuyện là sau khi OpenAI công bố bằng chứng CDC (CDC proof), giới nghiên cứu đã thử nghiệm với GPT-5.6 (một phiên bản AI được đồn đoán là quái vật thế hệ tiếp theo). Kết quả? Chỉ bằng một câu prompt được tinh chỉnh đúng góc độ, con AI này đã lấp đầy khoảng trống nghiên cứu kéo dài 3 thập kỷ qua trong lý thuyết tối ưu hóa lồi.
Cho anh em nào chưa biết hoặc đã trả chữ cho thầy: Tối ưu hóa lồi là xương sống của hầu hết các thuật toán Machine Learning, xử lý đồ họa, định tuyến mạng và cả hệ thống logistics toàn cầu. Việc tối ưu hóa nó giúp hệ thống chạy nhanh hơn, tốn ít tài nguyên hơn. Giải quyết được bài toán bế tắc 30 năm này giống như việc nâng cấp từ con ngựa thồ lên động cơ phản lực vậy.
Cộng đồng lập trình viên và các giáo sư toán học lập tức chia phe combat cực gắt:
Là một Senior Dev từng trải qua đủ loại sóng gió và nhận mức lương đủ sống qua ngày, tôi thấy vụ này vừa đáng sợ vừa kích thích. Sợ vì AI nó tiến hóa nhanh quá, hôm nay nó giải toán 30 năm, ngày mai khéo nó tự fix bug rồi đòi thay thế luôn vị trí của anh em mình.
Nhưng nghĩ đi cũng phải nghĩ lại, tư duy thực dụng lên nào các đồng đạo! AI dù mạnh đến đâu thì vẫn cần người ra lệnh. Kỹ năng đặt câu hỏi, tư duy logic để kiểm chứng và ráp nối các mảnh ghép đó vào thực tế mới là thứ giữ cần câu cơm cho chúng ta. Thêm nữa, toán thuyết là một chuyện, còn việc đưa nó vào production chạy mượt mà, không lag, không bug thì vẫn cần những bàn tay thợ gõ đầy sương gió của anh em mình.
Thế nên, thay vì ngồi sợ mất việc, lo học cách viết prompt cho ra hồn đi là vừa!
Nguồn: Hacker News
Trong khi anh em còn đang loay hoay debug CSS thì GPT-5.6 đã nhẹ nhàng dùng một câu prompt để giải quyết bài toán tối ưu hóa lồi bế tắc suốt 30 năm qua.
