80 phút giải mã! Người nghiệp dư 23 tuổi nhờ ChatGPT hỗ trợ, giải quyết bài toán khó về toán học suốt 60 năm

Một người đam mê nghiệp dư 23 tuổi đã giải mã giả thuyết toán học Erdős kéo dài 60 năm (số #1196) với sự trợ giúp của GPT-5.4 Pro. Mô hình này đã liên kết cấu trúc số nguyên qua quá trình Markov liên ngành, đề xuất một hướng chứng minh mà con người chưa từng thử.

Theo thông báo chính thức của OpenAI ngày 28 tháng 4 và bài báo sâu của Scientific American ngày 24 tháng 4, một giả thuyết toán học Erdős kéo dài 60 năm (mã số #1196) đã được giải mã dưới sự hỗ trợ của mô hình suy luận hàng đầu ChatGPT GPT-5.4 Pro. Cùng ngày, OpenAI qua Podcast chính thức có sự tham gia của các nhà nghiên cứu Sébastien Bubeck và Ernest Ryu cùng người dẫn chương trình Andrew Mayne đã thảo luận, chính thức công bố chi tiết và ý nghĩa của sự kiện.

Nhân vật chính của sự kiện: Người đam mê nghiệp dư 23 tuổi Liam Price

Người giải đề Liam Price 23 tuổi, không có đào tạo toán học nâng cao, thường xuyên hợp tác nghiên cứu với Kevin Barreto, sinh viên năm hai khoa Toán của Đại học Cambridge. Price tự kể: “Tôi không biết đề này là gì—tôi chỉ thỉnh thoảng đưa vấn đề Erdős cho AI xem nó sẽ đưa ra kết quả gì.”

Vào chiều thứ Hai tháng 4 năm 2026, Price đã gửi chuỗi Erdős #1196 輸入 GPT-5.4 Pro，模型約 80 分鐘推理後給出證明思路，他再花約 30 分鐘把模型輸出整理為 LaTeX 論文，最後貼上 erdosproblems.com 論壇 #1196 để cộng đồng xem xét. Scientific American đăng bài báo sâu ngày 24 tháng 4, còn Podcast chính thức của OpenAI ngày 28 tháng 4 là lời giải thích công khai sau một tuần.

Bước đột phá toán học: Liên kết cấu trúc số nguyên qua quá trình Markov, Tao nhận định “bước đi đầu tiên của con người đã sai”

Erdős #1196 thuộc lĩnh vực nghiên cứu “tập nguyên thủy” (primitive sets)—tập hợp các số nguyên trong đó không số nào chia hết cho số nào khác. Giả thuyết Erdős là: khi các phần tử của tập này tiến tới vô hạn, “tỷ số tổng Erdős” sẽ giảm về đúng 1.

Chứng minh của GPT-5.4 Pro theo hướng “chưa từng được các nhà toán học thử trước đây”: liên kết cấu trúc số nguyên (cấu trúc giải phẫu của các số nguyên) với lý thuyết quá trình Markov. Cây cầu liên ngành này trước đây chưa từng xuất hiện trong bất kỳ nghiên cứu nào.

Giải thưởng Fields, nhà toán học nổi tiếng Terence Tao đã có hai bình luận về sự kiện này và được trích dẫn rộng rãi. Ông mô tả: “Đề này khác biệt so với các đề khác—con người đã từng nhìn thấy, nhưng tập thể đã sai bước đầu,” và bổ sung “Đóng góp này đối với nghiên cứu cấu trúc số nguyên còn vượt xa việc giải mã chính xác vấn đề Erdős cụ thể này.”

Một nhà toán học khác từ Đại học Stanford, Jared Duker Lichtman, cho biết, con đường mà AI chọn đã xác nhận trực giác lâu dài của ông: “Có một cảm giác chung giữa các vấn đề như thế này.”

Ngày 28/4 của OpenAI tiết lộ: Podcast thảo luận và xác thực sau đó

Trong Podcast ngày 28 tháng 4 của OpenAI, chính thức mời các nhà nghiên cứu của OpenAI là Sébastien Bubeck và Ernest Ryu cùng người dẫn chương trình Andrew Mayne thảo luận về “Vai trò của AI trong nghiên cứu toán học.” OpenAI viết trên tweet: “Đầu tháng này, một giả thuyết Erdős kéo dài 60 năm đã được giải mã dưới sự hỗ trợ của GPT-5.4 Pro. Giờ đây AI đã thành thạo toán học, điều gì sẽ xảy ra tiếp theo?”

Tính đến thời điểm viết bài, chứng minh của Price vẫn đang trong giai đoạn xác minh cộng đồng trên diễn đàn erdosproblems.com, chưa qua đánh giá ngang hàng chính thức; theo báo cáo của TheDecoder ngày 15 tháng 4, “xác minh chính thức vẫn đang tiến hành.” Podcast của OpenAI hôm nay tiết lộ chỉ là bước giao tiếp công khai, chưa chứng minh toàn bộ chứng minh toán học đã được xác nhận—độc giả muốn theo dõi tiếp có thể chú ý thread #1196 trên diễn đàn Erdős Problems.

• Bài viết này được phép đăng lại từ: 《Tin tức Chuỗi》
• Tiêu đề gốc: 《Người đam mê 23 tuổi dùng ChatGPT giải bài toán toán học 60 năm: Giải trong 80 phút》
• Tác giả gốc: Elponcrab