Tim Gowers viết blog vào đầu tháng 8/2026, ngay sau khi OpenAI công bố đã giải quyết mười vấn đề quan trọng trong toán học và khoa học máy tính lý thuyết, bao gồm việc xây dựng nhóm không‑sofic đầu tiên và chứng minh số Ramsey đa màu tăng siêu cấp. Đây là những thành tựu ấn tượng, nhưng Gowers cảnh báo rằng LLM chưa thể thay thế con người trong mọi lĩnh vực toán học.
Ông lưu ý rằng, dù LLM có thể tìm ra các phản ví dụ nhanh chóng, hầu hết các kết quả nổi bật của chúng vẫn là phản ví dụ hơn là chứng minh đầy đủ. Các ví dụ tiêu biểu gồm hai vấn đề đã công bố, cùng với các giả thuyết Jacobian và unit‑distance. Để khẳng định LLM “giỏi” trong việc tìm phản ví dụ, cần xác định rõ ràng khi nào một giải pháp được tính là phản ví dụ và giải thích cơ chế khiến mô hình ngôn ngữ phù hợp với loại bài toán này.
Gowers cũng đề cập tới một trường hợp khó: kết quả của Vinogradov về việc mọi số nguyên dương đủ lớn là tổng của ba số nguyên tố. Việc xác định phản ví dụ trong trường hợp này không hề đơn giản, cho thấy giới hạn hiện tại của LLM trong việc hiểu và phản biện các mệnh đề toán học sâu.
Nhìn chung, bài viết không chỉ cung cấp một cái nhìn thực tế về khả năng của LLM trong toán học, mà còn khuyến khích cộng đồng nghiên cứu tiếp tục khám phá và cải tiến mô hình, đặc biệt trong bối cảnh AI ngày càng tham gia vào các vấn đề khoa học cao cấp.
Nguồn: Hacker News — Biên dịch & tổng hợp: danhbaai.com