Tweet
AI của OpenAI "khai tử" bài toán toán học 80 năm chưa có lời giải!
Tóm tắt: Mô hình suy luận của OpenAI vừa làm choáng váng cả thế giới toán học khi bác bỏ một giả thuyết tồn tại gần 80 năm, thứ mà hàng thế hệ thiên tài toán học vẫn chưa thể giải quyết dứt điểm.
Chuyện gì vừa xảy ra vậy?
Năm 1946, nhà toán học huyền thoại Paul Erdős đặt ra bài toán "planar unit distance problem" – nghe tên thôi đã thấy khô khan, nhưng thực chất khá thú vị: nếu vẽ nhiều điểm trên một mặt phẳng, tối đa có bao nhiêu cặp điểm nằm cách nhau đúng 1 đơn vị? Tưởng đơn giản, nhưng suốt gần 8 thập kỷ, không ai tìm được câu trả lời thỏa đáng.
Mới đây, OpenAI công bố mô hình suy luận tổng quát của họ đã tìm ra một họ cấu trúc hoàn toàn mới, hiệu quả hơn tất cả những gì con người từng nghĩ tới. Điều đó đồng nghĩa với việc giả thuyết toán học lâu đời này chính thức bị lật đổ. Đặc biệt hơn, AI này không được huấn luyện chuyên biệt cho toán học – nó chỉ đơn giản là một mô hình suy luận đa năng tự mình "mò" ra đáp án.
Cộng đồng toán học phản ứng ra sao?
Phản ứng cộng đồng: Kết quả này không phải do OpenAI "tự khen" mà đã được một nhóm chuyên gia độc lập gồm những tên tuổi lớn như Noga Alon, Tim Gowers, Thomas Bloom ngồi lại kiểm tra kỹ lưỡng và xác nhận tính chính xác. Giáo sư Tim Gowers – người từng đoạt Huy chương Fields, giải thưởng danh giá nhất toán học – thẳng thắn nói rằng nếu một con người gửi công trình này tới tạp chí toán học hàng đầu, ông sẽ chấp nhận ngay không do dự.
Nhận xét: Điều thực sự gây sốc không chỉ là AI giải được bài toán khó, mà là cách nó tiếp cận vấn đề theo những hướng mà con người thường... bỏ qua vì nghĩ không khả thi. Toán học vốn đòi hỏi logic cực kỳ chặt chẽ, không thể "chém gió" hay đoán mò – và việc AI vượt qua được rào cản đó cho thấy trí tuệ nhân tạo đang tiến vào lãnh địa sáng tạo thuần túy của con người, không chỉ dừng lại ở việc bắt chước hay tổng hợp thông tin nữa rồi.
Nguồn: https://tuoitre.vn/ai-cua-openai-bac...2110652585.htm — Tổng hợp 23/05/2026
Xem thêm: Diễn đàn Dân Chơi | Chứng Khoán | Drama | Bóng Đá
Tác giả: Thống Lĩnh
Tóm tắt: Mô hình suy luận của OpenAI vừa làm choáng váng cả thế giới toán học khi bác bỏ một giả thuyết tồn tại gần 80 năm, thứ mà hàng thế hệ thiên tài toán học vẫn chưa thể giải quyết dứt điểm.
Chuyện gì vừa xảy ra vậy?
Năm 1946, nhà toán học huyền thoại Paul Erdős đặt ra bài toán "planar unit distance problem" – nghe tên thôi đã thấy khô khan, nhưng thực chất khá thú vị: nếu vẽ nhiều điểm trên một mặt phẳng, tối đa có bao nhiêu cặp điểm nằm cách nhau đúng 1 đơn vị? Tưởng đơn giản, nhưng suốt gần 8 thập kỷ, không ai tìm được câu trả lời thỏa đáng.
Mới đây, OpenAI công bố mô hình suy luận tổng quát của họ đã tìm ra một họ cấu trúc hoàn toàn mới, hiệu quả hơn tất cả những gì con người từng nghĩ tới. Điều đó đồng nghĩa với việc giả thuyết toán học lâu đời này chính thức bị lật đổ. Đặc biệt hơn, AI này không được huấn luyện chuyên biệt cho toán học – nó chỉ đơn giản là một mô hình suy luận đa năng tự mình "mò" ra đáp án.
Cộng đồng toán học phản ứng ra sao?
Phản ứng cộng đồng: Kết quả này không phải do OpenAI "tự khen" mà đã được một nhóm chuyên gia độc lập gồm những tên tuổi lớn như Noga Alon, Tim Gowers, Thomas Bloom ngồi lại kiểm tra kỹ lưỡng và xác nhận tính chính xác. Giáo sư Tim Gowers – người từng đoạt Huy chương Fields, giải thưởng danh giá nhất toán học – thẳng thắn nói rằng nếu một con người gửi công trình này tới tạp chí toán học hàng đầu, ông sẽ chấp nhận ngay không do dự.
Nhận xét: Điều thực sự gây sốc không chỉ là AI giải được bài toán khó, mà là cách nó tiếp cận vấn đề theo những hướng mà con người thường... bỏ qua vì nghĩ không khả thi. Toán học vốn đòi hỏi logic cực kỳ chặt chẽ, không thể "chém gió" hay đoán mò – và việc AI vượt qua được rào cản đó cho thấy trí tuệ nhân tạo đang tiến vào lãnh địa sáng tạo thuần túy của con người, không chỉ dừng lại ở việc bắt chước hay tổng hợp thông tin nữa rồi.
Nguồn: https://tuoitre.vn/ai-cua-openai-bac...2110652585.htm — Tổng hợp 23/05/2026
Xem thêm: Diễn đàn Dân Chơi | Chứng Khoán | Drama | Bóng Đá
Tác giả: Thống Lĩnh