Vào ngày 20‑5‑2026, OpenAI công bố một mô hình AI nội bộ đã đưa ra phản ví dụ cho vấn đề “unit distance” – một câu hỏi nổi tiếng do Paul Erdős đặt ra năm 1946. Mặc dù kết quả chưa được chứng minh hoàn toàn, nhưng nó đã mở ra một hướng nghiên cứu mới, kết hợp các nhánh toán học mà trước đây chưa ai nghĩ tới.
Chỉ vài tuần sau, vào ngày 1‑8‑2026, OpenAI tiết lộ mô hình chưa công khai mang tên Astra đã đạt được 10 tiến bộ toán học khác, bao gồm ba giải pháp cho các bài toán Erdős khác. Các nhà toán học như Noga Alon (Princeton) nhận định đây là “cú chuyển đổi” trong khả năng của AI, khi các mô hình không chỉ hỗ trợ tính toán mà còn đề xuất ý tưởng sáng tạo.
Thành tựu này không chỉ là một bước tiến cho AI mà còn thay đổi cách các nhà toán học làm việc: họ giờ đây có thể nhận được các đề xuất ban đầu từ AI, sau đó tinh chỉnh và chứng minh chúng. Điều này giúp rút ngắn thời gian nghiên cứu và mở rộng phạm vi khám phá.
Với cộng đồng AI và khoa học Việt Nam, việc AI giải quyết các bài toán Erdős là minh chứng mạnh mẽ cho tiềm năng ứng dụng AI trong nghiên cứu toán học sâu. Nó khuyến khích các nhà nghiên cứu trong nước đầu tư vào mô hình ngôn ngữ lớn và tích hợp chúng vào quy trình chứng minh, từ đó nâng cao năng lực cạnh tranh quốc tế.
Nguồn: Hacker News — Biên dịch & tổng hợp: danhbaai.com