Anh em dạo này lướt feed chắc ngán tận cổ mấy cái bài PR về AI làm thơ con cóc hay gen ra mấy em gái anime vú to rồi đúng không? Nhưng khoan, dừng khoảng chừng là 2 giây. Đợt này OpenAI vừa ném một quả lựu đạn thẳng vào giới học thuật, và mục tiêu lần này đ*o phải mấy tay viết content hay designer nữa, mà là các pháp sư toán học.
Chuyện là thế này cho anh em lười đọc: OpenAI vừa chính thức tuyên bố một model của họ đã bác bỏ thành công một "giả thuyết cốt lõi" (central conjecture) trong lĩnh vực hình học rời rạc (discrete geometry).
Để tôi giải ngố cho các ông: Khác với ba cái code gen vớ vẩn trên StackOverflow mà AI đi cào về xào lại, toán học cấp cao là thánh địa của logic thuần túy. Việc bác bỏ một giả thuyết có nghĩa là con AI này đ*o chỉ học vẹt, mà nó đã tự tư duy để tìm ra một "phản ví dụ" cực kỳ ảo ma mà bao nhiêu cái đầu có sỏi của loài người cãi nhau bao năm chưa tìm ra. Đỉnh điểm của sự vụ là đích thân lão quái Timothy Gowers (Giáo sư Toán học đạt giải Fields - kiểu như Oscar của làng Toán) đã lên X (Twitter) xác nhận cái này là hàng riu (real) 100%.
Sự kiện này nổ ra trên Hacker News làm giang cư mận được phen chia 5 xẻ 7. Tổng hợp lại thì có mấy luồng ý kiến bá đạo thế này:
Góc nhìn từ Coding4Food thì thế này: Anh em bình tĩnh, cất gọn poster OpenAI vào góc. Sự thật là con AI này giải quyết được một bài toán vì toán học có quy tắc rõ ràng và logic tuyệt đối.
Còn cái nghề thợ gõ của anh em mình ấy à? Nó đo phải toán học. Trừ khi con AI có thể dịch được cái requirement mơ hồ, tối nghĩa và thay đổi 5 phút/lần của mấy ông sếp và khách hàng, thì anh em vẫn còn cơm ăn. Máy móc có thể tìm ra phản ví dụ trong không gian đa chiều, chứ đo thể nào hiểu được tại sao button này khách lại bắt đổi sang màu "đỏ xanh lá cây".
Thay vì ngồi khóc lóc sợ mất việc, anh em nào đang thuê máy chủ chạy app thì cứ tập trung tối ưu performance đi, đồng thời học cách xài AI như một thằng đệ thay vì coi nó là ông nội. Kẻ sống sót đ*o phải kẻ giỏi nhất, mà là kẻ lươn lẹo thích nghi nhanh nhất.
Nguồn hóng hớt:
Model AI của OpenAI vừa bác bỏ một giả thuyết cốt lõi trong hình học rời rạc. Toán học còn toang, dăm ba anh em thợ gõ CRUD chuẩn bị ra chuồng gà chưa?
