Tin hot vừa drop: OpenAI vừa flex thành tích "xịn sò" khi giải được một trong những "Bài toán Giải thưởng Thiên niên kỷ" (Millennium Prize Problems) – mấy câu hỏi toán học "hóc búa" nhất hành tinh luôn đó
Tập hợp 7 bài toán này được tung ra từ năm 2000, mà tính đến giờ chỉ có đúng 1 bài được giải xong thôi nha. Nếu lời giải của OpenAI vượt qua được "màn tra khảo" của giới toán học quốc tế, đây sẽ là lần thứ 2 có người giải được, và đặc biệt là lần đầu tiên AI làm nên chuyện với một "Bài toán Giải thưởng Thiên niên kỷ" đấy!
OpenAI tiết lộ rằng mô hình AI "xịn xò" mới nhất (vẫn đang giữ bí mật chưa ra mắt rộng rãi) đã tìm ra lời giải cho bài toán "Sự tồn tại và tính trơn của phương trình Navier-Stokes". Nghe tên thôi đã thấy "thách thức" rồi ha
Giải thích sơ qua cho dễ hiểu nè: Phương trình Navier-Stokes là những công thức toán học mô tả cách mà chất lỏng (như nước) và khí (như không khí) chảy, di chuyển. Chúng được dùng tùm lum trong khoa học và kỹ thuật – từ dự báo thời tiết, dòng hải lưu cho đến tính toán luồng không khí xung quanh máy bay. Nhưng gần 90 năm qua, các nhà toán học vẫn không chứng minh được liệu những phương trình này có luôn cho ra đáp án "hợp lệ" trong mọi tình huống hay không
Còn về "Bài toán Giải thưởng Thiên niên kỷ" thì đây là 7 thách thức toán học do Viện Toán học Clay (CMI) ở Mỹ chọn ra để đánh dấu thiên niên kỷ mới năm 2000. Các nhà toán học toàn cầu đã "vật lộn" với chúng hàng thập kỷ, thậm chí hơn 1 thế kỷ, mà mỗi bài toán đều có giải thưởng 1 triệu đô Mỹ (tầm hơn 25 tỷ đồng) luôn nha Trong suốt 26 năm qua, chỉ có bài toán "Giả thuyết Poincaré" được nhà toán học người Nga Grigori Perelman "phá đảo" thôi.
Vậy OpenAI đã làm gì? Họ đề xuất lời giải cho thấy các "điểm kỳ dị" thực sự có thể xảy ra. Tưởng tượng nha: Khi có ngoại lực tác động vào một khối chất lỏng đang yên lặng, một dòng xoáy sẽ xuất hiện, cuộn vào trong rồi kéo dài ra thành hình mảnh và dài. Trong quá trình đó, tâm dòng xoáy thu nhỏ lại và vận tốc dòng chảy tăng liên tục. OpenAI tuyên bố đã chứng minh về mặt toán học rằng vận tốc của chất lưu có thể đạt đến "điểm kỳ dị" – tức là tăng lên vô hạn trong thời gian hữu hạn
Nhưng khoan đã, đừng lo là nước trong đời thực sẽ đột ngột chảy với tốc độ vô hạn nhé! Ben Chandrasekaran, nhà nghiên cứu tại OpenAI, đã giải thích trong buổi họp báo: "Hiện tượng như vậy là bất khả thi về mặt vật lý đối với các chất lỏng thực tế", đồng thời bổ sung rằng "điều này cho thấy trong một số điều kiện nhất định, các phương trình Navier-Stokes có thể không phản ánh chính xác chuyển động thực tế của chất lỏng"
OpenAI cho biết họ đã triển khai tận 10.000 tác nhân AI (AI agents) cho nghiên cứu này – nghe "khủng" không nào! Quá trình làm việc như thế nào? Nhiều hệ thống AI cùng tìm kiếm các chứng minh theo những cách khác nhau, trong khi các nhà nghiên cứu con người sẽ lọc ra những ý tưởng triển vọng và chuyển cho các nhóm tác nhân AI khác xử lý tiếp. Tổng thời gian để tìm ra lời giải? Chỉ khoảng 88 giờ thôi – quá "vi diệu" luôn!
Lời giải cuối cùng được viết bằng "Lean" – một ngôn ngữ lập trình được thiết kế để máy tính có thể kiểm chứng chặt chẽ các định lý toán học. Nhờ đó, máy tính có thể kiểm tra từng bước của lời giải (có sự tham gia của con người) dựa trên các quy tắc logic ️
Tuy nhiên, việc kiểm chứng bằng ngôn ngữ Lean không đồng nghĩa với việc "Bài toán Giải thưởng Thiên niên kỷ" đã chính thức được giải quyết đâu nha. Mặc dù nó xác nhận rằng không có mâu thuẫn logic nào trong lời giải hình thức, nhưng nó không thể thay thế hoàn toàn quy trình "bình duyệt" (peer-review) trong giới học thuật được
Ông Lim Sung-bin, Giáo sư Thống kê tại Đại học Hàn Quốc (Korea University) nhận định: "Nếu lời giải này chính xác, đó sẽ là một khoảnh khắc thực sự mang tính lịch sử, giải quyết được một Bài toán Giải thưởng Thiên niên kỷ đã tồn tại gần một thế kỷ". Tuy nhiên, ông cũng nói thêm: "Để lời giải cho một bài toán phức tạp trở thành kiến thức học thuật được công nhận, cần có sự kiểm chứng của con người cũng như quá trình chuyển hóa nó thành kiến thức mà con người có thể hiểu được"
Thôi thì giờ chỉ còn chờ xem cộng đồng toán học quốc tế sẽ "chấm điểm" thế nào cho thành tích này của OpenAI thôi! Hẹn gặp lại với những tin công nghệ "bùng nổ" khác nhaaa
Nguồn: svvn.tienphong.vn