Ngày 21/5/2026, OpenAI tuyên bố một trong các model reasoning của họ đã tự chủ giải được bài toán planar unit distance problem — vấn đề do nhà toán học huyền thoại Paul Erdős đặt ra từ năm 1946. Đây là lần đầu tiên một AI tự tạo ra chứng minh toán học gốc mà không cần hướng dẫn từ con người.
Planar Unit Distance Problem Là Gì Và Tại Sao Nó Khó?
Bài toán đơn giản nghe thế này: trong mặt phẳng, có thể sắp xếp bao nhiêu điểm sao cho khoảng cách giữa mọi cặp điểm đều bằng nhau? Câu trả lời hiển nhiên là 3 điểm tạo thành tam giác đều. Nhưng khi mở rộng ra “khoảng cách đơn vị” — tức khoảng cách giữa hai điểm bất kỳ bằng 1 — thì vấn đề trở nên phức tạp đến mức 80 năm không ai giải nổi.
Erdős đưa ra một cấu trúc “lưới vuông” (square grid) mà giới toán học tin là tối ưu. Nhưng không ai chứng minh được điều đó. Mỗi hướng tiếp cận đều đi vào ngõ cụt. Bài toán trở thành một trong những conjecture trung tâm của discrete geometry.
AI Của OpenAI Đã Giải Như Thế Nào?
Điều khiến giới toán học bất ngờ là cách tiếp cận. Thay vì cố gắng cải thiện lưới vuông của Erdős, model AI của OpenAI sử dụng ý tưởng từ algebraic number theory — một lĩnh vực tưởng chừng không liên quan đến discrete geometry.
Kết quả: một cải thiện đa thức (polynomial improvement) so với cấu trúc lưới vuông được tin là tối ưu. Nói cách khác, AI không chỉ giải bài toán mà còn chứng minh rằng cách tiếp cận truyền thống của 80 năm qua không phải đáp án tốt nhất.
Quan trọng hơn: toàn bộ chứng minh được tạo ra tự chủ. Không có con người gợi ý hướng đi. Không có iterative prompting. AI tự chọn công cụ toán học, tự xây dựng luận lý, tự arrive tại kết quả.
Tại Sao Đây Là Cột Mốc Quan Trọng?
Fields medalist Tim Gowers gọi đây là “một cột mốc trong toán học AI” — và ông không nói nhẹ. Mình test đủ loại AI tool, từ viết code đến tạo ảnh, nhưng đây là lần đầu tiên thấy AI làm được thứ mà không một nhà toán học nào làm được trong 8 thập kỷ.
Trước đây, AI từng giải được bài toán trên IMO (International Mathematical Olympiad), nhưng đó là bài có đáp án đã biết. Lần này khác: AI tạo ra kiến thức toán học mới. Khác biệt giữa “giải bài tập” và “phát minh” nằm ở đây.
Ý Nghĩa Thực Tế: Không Chỉ Cho Dân Toán Học
Mình biết nhiều bạn sẽ nghĩ: “Toán học thì liên quan gì đến mình?” Nhiều hơn bạn nghĩ.
Discrete geometry là nền tảng của computer science, cryptographic systems, và network optimization. Một AI có khả năng tạo ra chứng minh toán học gốc nghĩa là nó có thể:
- Tìm ra lỗ hổng trong các thuật toán bảo mật mà con người chưa từng nghĩ tới
- Tối ưu hóa hệ thống phân phối, logistics ở mức lý thuyết trước khi implement
- Phát triển vật liệu mới bằng cách giải các bài toán cấu trúc tinh thể
- Tiếp theo có thể là drug discovery — thiết kế phân tử dựa trên cấu trúc hình học
So Sánh Với Các Thành Tựu AI Trước Đó
Mình hay so sánh A vs B, nên đây là bảng so sánh nhanh:
| Thành tựu | Năm | Loại | Điểm khác biệt |
|---|---|---|---|
| AlphaGo đánh bại Lee Sedol | 2016 | Game | AI thắng con người trong game phức tạp |
| GPT-4 giải IMO | 2024 | Bài tập | AI giải bài đã có đáp án |
| AlphaFold dự đoán cấu trúc protein | 2020 | Khoa học | AI giải bài đã biết methodology |
| OpenAI giải Erdős conjecture | 2026 | Phát minh | AI tự tạo chứng minh gốc, không có trước đó |
Sự khác biệt then chốt: lần này AI tạo ra kiến thức mới, không phải reproduce kiến thức cũ.
Cộng Đồng Phản Ứng Ra Sao?
Bài đăng trên Hacker News đạt 1.295 điểm và 943 bình luận trong vòng vài giờ — mức tương tác cực kỳ cao. Một số phản ứng tiêu biểu:
- Toán học chuyên nghiệp: thận trọng nhưng ấn tượng. Nhiều người muốn xem chi tiết kỹ thuật đầy đủ trước khi xác nhận.
- Dân AI: hào hứng nhưng đặt câu hỏi về tính lặp lại (reproducibility). Một lần có thể là may mắn, hai lần mới là pattern.
- Dân đầu tư: coi đây là signal mạnh cho khả năng AI trong R&D, có thể giảm chi phí nghiên cứu hàng tỷ đô.
OpenAI cho biết chi tiết kỹ thuật đầy đủ sẽ được publish sau. Đây là điểm mà mình sẽ theo dõi sát — chứng minh toán học cần peer review, và cộng đồng đang chờ xem.
Những Gì Có Thể Đến Tiếp Theo?
Nếu AI có thể giải một conjecture trung tâm của discrete geometry, thì hàng nghìn bài toán mở khác cũng trong tầm ngắm. Mình nghĩ 3 hướng sẽ nóng nhất trong 6-12 tháng tới:
- AI-assisted drug discovery: cấu trúc phân tử本质上 là bài toán hình học. AI tạo chứng minh hình học gốc có thể thiết kế phân tử mới.
- Cryptography: nhiều hệ mã hóa dựa trên discrete math. AI có thể tìm lỗ hổng hoặc tạo hệ mã hóa mới mạnh hơn.
- Materials science: cấu trúc vật liệu mới dựa trên tối ưu hình học ở cấp độ nguyên tử.
Mình Nghĩ Gì Về Tin Này?
Mình test AI mỗi ngày, từ Claude đến GPT-5.5 đến Gemini, và mình đã thấy AI tiến từ “công cụ” sang “đối tác” rất nhanh trong năm nay. Nhưng tin này nằm ở một level khác hoàn toàn.
Một AI tự tìm ra hướng tiếp cận từ algebraic number theory để giải bài toán discrete geometry — đó là sự sáng tạo, không phải pattern matching. Mình không nói AI sắp thay thế nhà toán học. Nhưng mình nói AI sắp trở thành công cụ nghiên cứu mạnh nhất mà giới khoa học từng có.
Với những bạn làm MMO, tech, hay bất kỳ ngành nào dùng data: điều này nghĩa là AI sẽ ngày càng giỏi hơn trong việc tìm ra những thứ mà con người không nhìn thấy. Hãy bắt đầu dùng AI không chỉ như search engine nâng cao, mà như một brainstorming partner thực sự.
Tóm Tắt Nhanh
- OpenAI AI tự chủ giải planar unit distance problem của Paul Erdős (1946)
- Dùng algebraic number theory thay vì hướng truyền thống — sáng tạo, không phải reproduce
- Fields medalist Tim Gowers gọi là “cột mốc trong toán học AI”
- Hacker News: 1.295 điểm, 943 bình luận — viral
- Lần đầu AI tạo ra chứng minh toán học gốc, mở đường cho R&D tự động
