Khi siêu máy tính lưu giữ lời giải: Bài toán ‘Bộ ba Pythagoras’ và tấm biên bản 200TB

Một bài toán tưởng chừng đơn giản liên quan đến định lý Pythagoras đã trở thành thách thức kéo dài hàng thập kỷ, để rồi cuối cùng được giải bằng sức mạnh tính toán và một bản lưu trữ có dung lượng khổng lồ. Lời giải không phải là vài trang chữ do con người trình bày, mà là một sản phẩm kỹ thuật số nặng tới hàng trăm terabyte — khiến chúng ta phải suy ngẫm về ranh giới giữa lập luận con người và bằng chứng do máy tính tạo ra.

Vấn đề đặt ra: tô màu các số nguyên để tránh bộ ba Pythagoras cùng màu

Bài toán có tên tiếng Anh là Boolean Pythagorean Triples. Về bản chất, người ta xét tất cả các số nguyên dương, rồi gán cho mỗi số một trong hai màu: ví dụ xanh hoặc đỏ. Mục tiêu là tìm cách tô sao cho không tồn tại một bộ ba số nguyên dương (a, b, c) thỏa a^2 + b^2 = c^2 mà cả ba cùng mang một màu. Câu hỏi then chốt là: liệu tồn tại một quy tắc tô màu cho mọi số nguyên dương thoả mãn điều kiện đó?

Sự đơn giản đánh lừa: vì sao bài toán lại hóc búa

Điểm khó nằm ở mối liên hệ chồng chéo giữa các bộ ba Pythagoras. Một số tự nhiên có thể xuất hiện trong nhiều bộ ba khác nhau; ví dụ số 5 góp mặt trong 3-4-5 và 5-12-13. Nếu 5 được tô xanh trong cặp này, thì trong cặp kia nó vẫn phải xanh, kéo theo các số liên quan phải có màu đối nghịch. Khi phạm vi số tăng lên, các liên kết lệ thuộc lan rộng và làm không gian khả năng trở nên cực kỳ phức tạp.

Khởi nguồn và phần thưởng

Bài toán này được đưa ra bởi giáo sư Ronald Graham vào khoảng những năm 1980. Ông còn treo giải 100 USD cho người tìm ra lời giải. Lời phát biểu mang tính thách thức đó đã khơi dậy sự quan tâm trong cộng đồng toán học và logic trong nhiều thập niên sau.

Công thức của định lý Pythagoras.

Ai đã giải và bằng cách nào?

Ba nhà nghiên cứu là Marijn Heule (Đại học Texas), Victor Marek (Đại học Kentucky) và Oliver Kullmann (Đại học Swansea) đã phối hợp sử dụng kỹ thuật tính toán để khảo sát không gian màu khả dĩ. Họ triển khai các phép thử trên siêu máy tính Stampede tại Đại học Texas, tận dụng sức mạnh song song để rút gọn và kiểm tra các cấu hình tô màu.

Ronald Graham, người thầy đã giao cho chúng ta bài toán mà mãi hàng thập kỉ sau mới có thể giải được.

Quy mô tính toán: từ hàng nghìn tỷ khả năng tới kết luận dứt khoát

Nhóm tác giả đã thu hẹp không gian các phương án bằng các thuật toán kiểm định, rồi đưa khối lượng kiểm tra đó lên hệ thống Stampede — một dàn siêu máy tính sử dụng 800 vi xử lý. Các phép thử chạy liên tục trong khoảng hai ngày, và chỉ trong giới hạn họ nghiên cứu cho đến số 7.824 thì tồn tại cách tô màu thỏa mãn điều kiện đề ra. Nhưng khi mở rộng đến số 7.825 trở đi, mọi khả năng đều bị loại trừ: không còn cách tô nào giúp tránh xuất hiện một bộ ba Pythagoras đồng màu.

Dàn siêu máy tính Stampede được sử dụng để giải bài toán khó này.

Lưu trữ bằng chứng: con số 200 terabyte và bản nén 68 GB

Điều khiến công trình này đặc biệt là kích thước của lời giải dưới dạng dữ liệu. Toàn bộ chứng cứ số học do nhóm tạo ra khi kiểm tra và mã hóa các trường hợp sắp xếp đã chiếm tới khoảng 200 terabyte để lưu trữ. Để chia sẻ với cộng đồng, nhóm đã cung cấp một phiên bản nén khoảng 68 gigabyte, cho phép những ai có cấu hình phần cứng đủ mạnh tải về và tái dựng để xác minh kết quả.

Để đặt con số 200 terabyte vào tầm nhìn trực quan: một terabyte có thể chứa hàng trăm nghìn bản in của một tác phẩm đồ sộ, nên 200 terabyte tương đương một khối lượng thông tin rất lớn — điều khiến bằng chứng khó tiếp cận với đọc giả theo nghĩa truyền thống.

Xác minh và giới hạn của lời giải do máy tính

Nhóm tác giả còn sử dụng một chương trình khác để kiểm tra lại tính nhất quán của kết quả, nghĩa là không chỉ dựa vào một lần chạy duy nhất. Nhưng ngay cả khi đã có chương trình xác minh, phần lớn nội dung chứng minh tồn tại ở dạng dữ liệu và cấu trúc logic khó đọc đối với con người. Tác giả nhắc rằng, dù kết quả được máy chứng minh là 7.824 là giá trị tối đa có thể tô màu theo điều kiện, ý nghĩa sâu xa vì sao từ 7.825 không thể vẫn thiếu một lời giải trực quan đơn giản mà con người dễ hiểu.

Các số từ 1 cho tới 7,824 có thể được tô màu bởi chúng thỏa mãn điều kiện của Graham đưa ra. Nhưng từ 7,825 trở đi, không có số nào thỏa mãn cả.

Ý nghĩa và tranh luận

Công trình khẳng định một nghiệm cụ thể cho bài toán do Graham đặt ra: tồn tại một ngưỡng mà dưới ngưỡng đó có thể tô màu phù hợp, còn vượt lên thì không. Tuy nhiên, nó cũng đặt ra câu hỏi rộng hơn: khi một lời giải chỉ có thể hiểu và kiểm chứng bằng máy với kích thước quá lớn, liệu đó có còn là một “lời giải” theo nghĩa truyền thống của toán học? Một bộ chứng minh mà con người không thể đọc trực tiếp buộc chúng ta phải chấp nhận vai trò trung gian của phần mềm, dữ liệu và hạ tầng tính toán trong việc tạo ra kiến thức toán học.

Những con số để ghi nhớ

• Giới hạn tối đa tìm được: 7.824 (tồn tại cách tô màu cho các số từ 1 tới 7.824).
• Từ 7.825 trở đi: không tồn tại cách tô nào thỏa điều kiện của bài toán.
• Nhóm tác giả: Marijn Heule, Victor Marek và Oliver Kullmann.
• Siêu máy tính sử dụng: Stampede (Đại học Texas) với 800 vi xử lý, chạy trong khoảng hai ngày cho phần kiểm tra chính.
• Kích thước lưu trữ của lời giải thô: xấp xỉ 200 terabyte; phiên bản nén để chia sẻ: khoảng 68 gigabyte.
• Giáo sư đặt vấn đề và treo giải: Ronald Graham (khoảng năm 1980) với phần thưởng 100 USD.

Kết luận: khi toán học gặp hạ tầng số

Trường hợp này cho thấy một xu hướng đáng chú ý: các vấn đề toán học phức tạp ngày càng có thể được giải bằng cách khai thác sức mạnh tính toán lớn, nhưng kết quả đôi khi chỉ tồn tại thuận tiện dưới dạng dữ liệu số. Điều đó không làm giảm giá trị khoa học của lời giải, nhưng đòi hỏi cộng đồng suy nghĩ lại cách trình bày, xác minh và truyền đạt những chứng minh mang tính ‘kỹ thuật số’. Với bài toán Boolean Pythagorean Triples, ta có một kết quả dứt khoát: phép tô màu cho mọi số nguyên dương là không khả thi vượt quá giới hạn 7.824 — và bằng chứng cho điều đó hiện lưu giữ ở quy mô mà nhiều người sẽ khó trực tiếp đọc hiểu.

FAQ — Những câu hỏi thường gặp

Bài toán khẳng định điều gì cụ thể?
Nhóm tác giả chứng minh rằng có thể tô màu các số từ 1 đến 7.824 theo cách không tạo ra bộ ba Pythagoras đồng màu, nhưng không tồn tại cách tô như vậy khi mở rộng tới số 7.825.

Ai đã đặt bài toán và có phần thưởng không?
Giáo sư Ronald Graham là người nêu vấn đề vào khoảng năm 1980 và từng treo thưởng 100 USD cho người tìm ra lời giải.

Lời giải có thể đọc dễ dàng không?
Lời giải đầy đủ tồn tại ở dạng dữ liệu rất lớn (khoảng 200 TB thô, hoặc 68 GB nén để chia sẻ) và cần phần mềm để tái dựng; nội dung đó không phải dạng trình bày luận cứ mà con người dễ đọc.

Để mở rộng hiểu biết về các phát hiện địa chất độc đáo và ý nghĩa khoa học của chúng ta về nước cổ trên Trái Đất và liên hệ tới khám phá hành tinh khác, bạn có thể đọc bài Nước ngầm cổ 2,64 tỷ năm ở Kidd Creek và ý nghĩa khoa học — một phân tích chuyên sâu về bằng chứng nước bị cô lập lâu dài và những tín hiệu liên quan đến nghiên cứu sao Hỏa.

Nếu bạn quan tâm tới cách tài nguyên tưởng chừng dồi dào lại trở nên khan hiếm và hệ lụy của điều đó, hãy tham khảo bài viết Khủng hoảng cát và hệ quả môi trường để nắm rõ nguyên nhân, tác động và các giải pháp đang được cân nhắc.

Và nếu bạn muốn hiểu sâu hơn về cách nhận diện xu hướng hành xử cá nhân để tận dụng điểm mạnh trong công việc và đời sống, đừng bỏ lỡ Nhận diện hướng nội và hướng ngoại trong hành vi để tận dụng lợi thế, một hướng dẫn thực tiễn giúp bạn chọn nghề và xử lý tình huống phù hợp với phong cách cá nhân.