Vòng mới của Giải thưởng Justin Sun vinh danh sự hợp tác giữa con người và trí tuệ nhân tạo trong việc giải quyết các bài toán Erdős

Wouter van Doorn là một nhà lý thuyết số độc lập, bắt đầu nghiên cứu toán học từ khi còn là sinh viên đại học vào năm 2010 và tiếp tục hợp tác và công bố các công trình sau khi rời khỏi môi trường học thuật sau khi hoàn thành bằng thạc sĩ. Quanyu Tang (汤泉宇) là nghiên cứu sinh tiến sĩ toán học tại Đại học Khoa học và Công nghệ Trung Quốc, với lĩnh vực nghiên cứu bao quát lý thuyết số, tổ hợp và khám phá toán học có sự hỗ trợ của trí tuệ nhân tạo.

Các bài toán Erdős là những câu hỏi toán học do nhà toán học người Hungary Paul Erdős đưa ra hoặc phổ biến, liên quan đến các con số, mô hình và các cấu trúc toán học khác. Thường đơn giản để diễn đạt nhưng khó giải quyết, chúng đã góp phần định hình nghiên cứu trong lý thuyết số và tổ hợp, với một số vấn đề vẫn còn bỏ ngỏ trong nhiều thập kỷ. Danh mục Erdős, được biên soạn và duy trì bởi Thomas Bloom – một nhà toán học và Nghiên cứu viên Đại học của Hội Hoàng gia tại Đại học Manchester – hiện có hơn 1.200 vấn đề.

Van Doorn và Tang đã hợp tác với Yanyang Li, thuộc Khoa Toán học của Đại học Đông Nam tại Nam Kinh, để giải quyết Bài toán Erdős số 650, xác định chính xác có bao nhiêu số nguyên luôn có thể được ghép với các bội số khác nhau trong một khoảng nhất định. Van Doorn cũng đã đưa ra các bằng chứng có thể kiểm chứng bằng máy tính trong Lean, một phần mềm dùng để xác minh lý luận toán học, cho bài toán số 369, liên quan đến các số nguyên liên tiếp có các thừa số nguyên tố bị hạn chế; vấn đề số 457, về việc liệu một dãy ngắn các số nguyên liên tiếp có thể chứa tất cả các số nguyên tố trong một khoảng nhất định hay không; và vấn đề số 469, liên quan đến việc liệu các nghịch đảo của một lớp số đặc biệt có thể biểu diễn dưới dạng tổng các ước số của chúng có tổng bằng một giá trị hữu hạn hay không.

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

Công trình của họ về #650 là một ví dụ cụ thể về cách phán đoán của con người và trí tuệ nhân tạo (AI) có thể bổ sung cho nhau. ChatGPT đã hỗ trợ phát triển chiến lược chứng minh, trong khi Aristotle – một hệ thống AI chuyên về suy luận toán học – đã khắc phục một lỗ hổng trong quá trình formal hóa bằng Lean. Các nhà nghiên cứu sau đó đã đơn giản hóa lập luận và viết các chứng minh cuối cùng cùng phần trình bày.

“Trải nghiệm này đã dạy tôi cách phản hồi từ cộng đồng có thể làm sắc nét hơn một câu hỏi nghiên cứu, và cách khám phá có sự hỗ trợ của AI có thể kết hợp giữa phán đoán toán học, sự hợp tác và việc xác minh nghiêm ngặt,” Tang chia sẻ.

Đây là những giải thưởng đầu tiên được xác nhận của chương trình, vinh danh cả thành tựu khám phá toán học lẫn công sức cần thiết để đảm bảo các chứng minh có thể được kiểm tra độc lập. Thông tin về Giải thưởng Justin Sun, danh mục các bài toán và đóng góp của người nhận giải có sẵn trên kho lưu trữ GitHub công khai của chương trình.

Các giải thưởng sẽ được thanh toán bằng USDT trên TRON (TRC-20) hoặc USDC trên Ethereum (ERC-20) tùy theo sự lựa chọn của người nhận giải. Để biết thêm thông tin, vui lòng truy cập www.hejustinsun.com/prize.

Giới thiệu về Văn phòng Justin Sun

Văn phòng Justin Sun hỗ trợ các hoạt động kinh doanh toàn cầu, các sáng kiến từ thiện và công cộng của Justin Sun trong các lĩnh vực công nghệ, blockchain, trí tuệ nhân tạo, nghiên cứu khoa học, đầu tư, nghệ thuật và thám hiểm vũ trụ.

Justin Sun là Đại sứ và cựu Đại diện Thường trực của Grenada tại Tổ chức Thương mại Thế giới (WTO), đồng thời là Nhà sáng lập TRON. TRON là nền tảng blockchain hàng đầu trong cuộc cách mạng stablecoin, đã xử lý khối lượng giao dịch vượt quá 13 nghìn tỷ USD kể từ khi ra mắt. Tại các thị trường mới nổi trên thế giới, người dân tin tưởng sử dụng USDT trên TRON để tiếp cận hệ thống tài chính toàn cầu.

Là học trò của Jack Ma – nhà sáng lập Alibaba, Sun đã được công nhận trên toàn cầu nhờ những đóng góp trong ngành tài sản kỹ thuật số, bao gồm bài viết bìa trên tạp chí Forbes vào tháng 4 năm 2025 và nhiều lần lọt vào danh sách “30 Under 30” của Forbes. Vào tháng 8 năm 2025, anh đã tham gia chuyến bay NS-34 của Blue Origin, trở thành người thứ 712 trong lịch sử du hành vào vũ trụ. Các lĩnh vực quan tâm rộng lớn của anh bao gồm công nghệ, đầu tư, từ thiện, nghệ thuật, trò chơi và thám hiểm vũ trụ.

Văn phòng liên hệ của Justin Sun:

info@hejustinsun.com

Giới thiệu về Giải thưởng Justin Sun

Giải thưởng Justin Sun là một sáng kiến học thuật do Justin Sun thành lập nhằm hỗ trợ những tiến bộ trong lĩnh vực toán học, xác minh hình thức và khám phá khoa học có sự hỗ trợ của trí tuệ nhân tạo (AI). Giải thưởng này được thiết kế theo mô hình phi tập trung và dựa trên nguyên tắc rằng các công trình toán học nên được đánh giá dựa trên sức mạnh, tính chặt chẽ và khả năng xác minh của chính bằng chứng, chứ không phải dựa trên uy tín hay danh tiếng của những người nộp bài.

Justin Sun đã thành lập giải thưởng mang tên mình như một cam kết lâu dài nhằm trả lại của cải được tạo ra thông qua toán học và công nghệ cho chính lĩnh vực toán học. Di sản của giải thưởng được định hình bởi những công trình được vinh danh và các nhà khoa học có những khám phá vượt qua thử thách của thời gian. Giải thưởng kết nối các thách thức toán học được định nghĩa rõ ràng với các bằng chứng có thể được máy tính xác minh. Các nguyên tắc chỉ đạo của giải thưởng là tính mở, lợi ích công cộng và quyền truy cập mã nguồn mở.

Truy cập https://www.hejustinsun.com/prize để biết thêm thông tin.

Liên hệ:

thejustinsunprize@hejustinsun.com

_________________________________________________________________________

Bitcoin.com không chịu bất kỳ trách nhiệm hoặc nghĩa vụ pháp lý nào, và sẽ không phải chịu trách nhiệm, dù trực tiếp hay gián tiếp, đối với bất kỳ tổn thất, thiệt hại, khiếu nại, chi phí hoặc khoản chi nào dưới bất kỳ hình thức nào, dù là thực tế, được cho là có hay gián tiếp, phát sinh từ hoặc liên quan đến việc sử dụng hoặc dựa vào bất kỳ nội dung, hàng hóa hoặc dịch vụ nào được đề cập trong bài viết này. Việc tin tưởng vào những thông tin này hoàn toàn do người đọc tự chịu rủi ro.