Ngõ cụt
(Đăng lại từ Substack, 22 Jul 2026, 23:03) Hôm nay tôi vô tình đọc được bài viết trên Facebook của GS.TSKH Hà Huy Khoái. Ông nói về chuyện model AI Fable đã giúp một nhà toán học làm việc ở Anthropic tìm ra phản ví dụ cho Giả thuyết Jacobi - một giả thuyết đã tồn tại gần 85 năm. Dĩ nhiên tôi ấn tượng với kết quả mà model Fable đem đến, nhưng câu nói trong bài viết của ông còn mang lại cho tôi nhiều ấn tượng hơn: "Hơi tiếc, vì mất công bao nhiêu người cố chứng minh nó đúng. Dĩ nhiên trên đường tìm chứng minh, họ đã làm nên nhiều điều tốt đẹp cho toán học." Nó làm tôi nhớ đến một buổi học môn Cấu trúc Dữ liệu và Giải thuật khi tôi còn là một cậu sinh viên. Buổi đó, thầy chứng minh cho chúng tôi rằng: Trong mọi thuật toán sắp xếp tất định dựa trên phép so sánh (deterministic comparison-based sorting algorithm), thời gian thực hiện trong trường hợp xấu nhất để sắp xếp một mảng gồm n phần tử đều có cận dưới là Ω(nlogn). Khi nghe điều đó, tôi tự hỏi bản thâ...
