Những người giải bài toán Erdős giành Giải thưởng Justin Sun cho các chứng minh kết hợp con người và AI

Ba nhà nghiên cứu vừa được vinh danh là những người mới nhất đoạt Giải thưởng Justin Sun: Wouter van Doorn, một nhà nghiên cứu độc lập; Quanyu Tang, một nghiên cứu sinh tiến sĩ toán học; và Yanyang Li, một nhà nghiên cứu toán học tại Southeast University ở Nanjing. Công trình của họ bao gồm sáu bài toán Erdős.

Van Doorn, một nhà lý thuyết số tự học, bắt đầu nghiên cứu từ khi còn là sinh viên đại học vào năm 2010 và vẫn tiếp tục các hợp tác và công bố sau khi rời giới hàn lâm với bằng thạc sĩ. Tang (汤泉宇), một nghiên cứu sinh tiến sĩ tại University of Science and Technology of China, làm việc trong lĩnh vực lý thuyết số, tổ hợp và khám phá toán học có hỗ trợ của AI.

Nhà toán học người Hungary Paul Erdős đã đề xuất hoặc phổ biến các câu hỏi toán học được biết đến với tên gọi các bài toán Erdős, liên quan đến các con số, mô hình và các cấu trúc khác. Dù thường dễ mô tả, chúng rất khó giải quyết và đã ảnh hưởng đến lý thuyết số và tổ hợp; một số vẫn chưa được giải trong nhiều thập kỷ. Danh mục các bài toán như vậy, do Thomas Bloom thuộc University of Manchester biên soạn, chứa hơn 1200 bài toán.

Cùng với Li, van Doorn và Tang đã giải Bài toán Erdős #650, bài toán hỏi chính xác có bao nhiêu số nguyên có thể luôn được ghép cặp với các bội số phân biệt trong một khoảng cho trước. Riêng van Doorn đã tạo các chứng minh có thể kiểm tra bằng máy tính trong Lean, một công cụ dùng để kiểm tra lập luận toán học, cho ba bài toán khác: #369 (về các số nguyên liên tiếp có các thừa số nguyên tố bị hạn chế), #457 (liệu một khối ngắn gồm các số nguyên liên tiếp có thể chứa mọi số nguyên tố trong một phạm vi cụ thể hay không), và #469 (liệu nghịch đảo của một lớp số nhất định—biểu diễn được dưới dạng tổng các ước số—có tổng hữu hạn hay không).

Tang đã độc lập giải bài #1044, thiết lập một chặn dưới chính xác cho độ dài các biên của các vùng xác định bởi đa thức. Anh cũng cùng Li đóng góp vào lời giải của một nhóm lớn hơn cho bài #1196, bài toán chặn các tổng có trọng số trên các tập số nguyên mà không có phần tử nào chia hết một phần tử khác.

Lời giải cho #650 minh họa cách sự thấu hiểu của con người và trí tuệ nhân tạo có thể phối hợp cùng nhau. ChatGPT đã hỗ trợ hình thành cách tiếp cận chứng minh, và Aristotle, một hệ thống suy luận AI, đã vá một lỗ hổng trong quá trình hình thức hóa bằng Lean. Sau đó, các nhà nghiên cứu đã đơn giản hóa lập luận và viết các chứng minh cũng như lời giải thích cuối cùng.

“Trải nghiệm này dạy tôi rằng phản hồi công khai có thể làm sắc bén thêm một câu hỏi nghiên cứu, và khám phá có hỗ trợ của AI có thể kết hợp phán đoán toán học, sự hợp tác và kiểm chứng chặt chẽ,” Tang nói.

Các giải thưởng này là những giải đầu tiên được chương trình chính thức trao, không chỉ làm nổi bật những đột phá toán học mà còn cả nỗ lực làm cho các chứng minh có thể được xác minh độc lập. Thông tin chi tiết về giải thưởng, danh sách các bài toán và đóng góp của những người chiến thắng có thể được tìm thấy trong kho lưu trữ GitHub công khai.

Các giải thưởng sẽ được chi trả bằng USDT trên TRON (TRC-20) hoặc USDC trên Ethereum (ERC-20), tùy theo lựa chọn của người nhận.

Về Office of Justin Sun

Office of Justin Sun quản lý các dự án kinh doanh, từ thiện và công cộng trên toàn thế giới của Sun trong lĩnh vực công nghệ, blockchain, AI, nghiên cứu khoa học, đầu tư, nghệ thuật và thám hiểm không gian.

Sun giữ vai trò đại sứ của Grenada và cựu đại diện thường trực tại WTO, đồng thời là người sáng lập TRON. Blockchain TRON, được mô tả là nền tảng hàng đầu cho stablecoin, đã xử lý hơn 13 nghìn tỷ USD khối lượng kể từ khi ra mắt. Tại các nền kinh tế mới nổi, người dùng phụ thuộc vào USDT trên TRON để tham gia tài chính toàn cầu.

Là cựu học trò của Jack Ma (Alibaba), Sun đã nhận được sự công nhận toàn cầu nhờ các công trình về tài sản kỹ thuật số, bao gồm một bài viết trang bìa của Forbes vào tháng 4 năm 2025 và nhiều lần góp mặt trong danh sách Forbes 30 Under 30. Ông đã bay trong sứ mệnh NS-34 của Blue Origin vào tháng 8 năm 2025, trở thành người thứ 712 lên vũ trụ. Sở thích của ông mở rộng sang công nghệ, đầu tư, từ thiện, nghệ thuật, trò chơi và không gian.

Về Giải thưởng Justin Sun

Giải thưởng Justin Sun, do Sun sáng lập, nhằm thúc đẩy sự tiến bộ trong toán học, kiểm chứng hình thức và khám phá khoa học do AI dẫn dắt. Giải thưởng hoạt động theo mô hình phi tập trung, với việc đánh giá chỉ dựa trên sức mạnh, tính chặt chẽ và khả năng kiểm chứng của chứng minh, thay vì vị thế của người gửi.

Sun đã lập giải thưởng dưới chính tên mình như một cam kết lâu dài để chuyển của cải do toán học và công nghệ tạo ra trở lại nền toán học. Di sản của giải thưởng được kỳ vọng là những công trình được công nhận và những người đoạt giải có các phát hiện trường tồn. Giải thưởng kết nối các bài toán được định nghĩa rõ ràng với các chứng minh có thể kiểm tra bằng máy, được dẫn dắt bởi tính cởi mở, lợi ích công cộng và các nguyên tắc mã nguồn mở.