Justin Sun Prize và MathDB ra mắt chương trình thí điểm 50 bài toán

Hôm nay, Office of Justin Sun đã công bố chương trình thí điểm cho Justin Sun Prize cùng với MathDB, một nền tảng nghiên cứu toán học được tạo bởi Giáo sư Tony Yue Yu của Caltech và nhóm của ông.

Justin Sun Prize hướng tới trở thành “Giải Nobel của Kỷ nguyên AI”, thích ứng với những thay đổi sâu sắc trong nghiên cứu khoa học và cơ chế khuyến khích thông qua cách tiếp cận phi tập trung, hình thức hóa và do máy móc điều khiển. Giải thưởng cho từng bài toán có thể lên tới $1 million tùy thuộc vào điều khoản giải thưởng và điều kiện đủ tư cách.

Sự hợp tác này tạo ra một hệ thống nộp bài và đánh giá qua MathDB. MathDB xử lý việc nộp lời giải, xác minh các hình thức hóa Lean và xem xét các tài liệu giải thích; Justin Sun Prize đánh giá điều kiện đủ tư cách, ghi nhận công lao, mức độ ưu tiên và các điều khoản giải thưởng áp dụng một cách riêng biệt.

“AI đang thay đổi tốc độ khám phá toán học, nhưng tốc độ không phải là tiến bộ khoa học,” Justin Sun, người sáng lập Justin Sun Prize, cho biết. “Cơ hội là tạo ra một khuôn khổ nơi trí tuệ con người và trí thông minh máy móc có thể làm việc cùng nhau mà không làm giảm tính chặt chẽ. Hợp tác với MathDB đưa khám phá toán học và chứng minh có thể xác minh bằng máy vào cùng một quy trình, điều mà chúng tôi tin có thể giúp định hình một mô hình chặt chẽ hơn cho những khám phá trong tương lai.”

Chương trình thí điểm bao gồm 50 bài toán thuộc bốn hạng giải thưởng, với quỹ giải thưởng cho mỗi bài lên tới $1 million. Hạng cao nhất gồm có P so với NP, Giả thuyết Riemann, Sự tồn tại và Khoảng cách khối lượng Yang-Mills, Giả thuyết Hodge, tính hàm tử Langlands toàn cục và Giả thuyết Birch và Swinnerton-Dyer, cùng các bài toán khác. MathDB và Justin Sun Prize sẽ công bố danh sách đầy đủ các bài toán và các điều khoản giải thưởng áp dụng.

Mọi giải thưởng đều phụ thuộc vào việc kiểm tra đủ tư cách đầy đủ, tuân thủ các quy định chống rửa tiền (AML/trừng phạt) và các quy tắc chương trình chính thức được đăng tại https://www.hejustinsun.com/prize.

Để mở rộng phạm vi của nghiên cứu tiên tiến, chương trình thí điểm MathDB sẽ trao thưởng không chỉ cho các lời giải của bài toán mà còn cho việc trình bày rõ ràng và thuyết phục các lời giải đó. Phần thưởng được chia thành ba phần: 50% cho lời giải toán học, 30% cho hình thức hóa Lean và 20% cho phần trình bày đạt yêu cầu.

MathDB là một cơ sở dữ liệu cộng đồng lớn về các định nghĩa, định lý, giả thuyết và bài toán mở trong toán học, được thiết kế để giúp việc tổ chức, kết nối và mở rộng tri thức toán học trở nên đơn giản hơn. Dự án bao gồm hình thức hóa Lean và xác minh chứng minh tự động, cùng với các giải thích toán học và tài liệu nghiên cứu hỗ trợ. Giáo sư Tony Yue Yu của Caltech và nhóm của ông sẽ giám sát các khía cạnh khoa học của chương trình thí điểm.

“Giải một bài toán cơ bản thường mang lại nhiều điều hơn là một câu trả lời cho câu hỏi ban đầu,” Yu nói. “Quá trình đó có thể hé lộ những kết nối bất ngờ, giới thiệu những công cụ mạnh mẽ và mở ra những hướng nghiên cứu hoàn toàn mới. Những phát triển này có thể có ảnh hưởng vượt qua nhiều thế hệ và nhiều lĩnh vực. Justin Sun Prize tôn vinh tinh thần khám phá này bằng cách thu hút sự chú ý vào các bài toán đầy thách thức, hỗ trợ các nhà nghiên cứu theo đuổi chúng và khuyến khích phổ biến tri thức tới công chúng. Sự hợp tác của chúng tôi với Justin Sun Prize dựa trên niềm tin rằng theo đuổi nghiên cứu cơ bản thông qua các phương pháp phi tập trung, chặt chẽ và có thể xác minh có thể thúc đẩy tốc độ khám phá và tiến bộ khoa học, và góp phần vào sự phát triển của nền văn minh nhân loại.”

Danh sách đầy đủ các bài toán, tiêu chí nộp bài và quy trình đánh giá sẽ được đăng tải trên MathDB (https://mathdb.com/) và Justin Sun Prize (https://www.hejustinsun.com/prize).

Về Office of Justin Sun

Office of Justin Sun hỗ trợ các hoạt động kinh doanh, từ thiện và công ích trên toàn thế giới của Justin 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.

Justin Sun hiện là Đại sứ và nguyên Đại diện thường trực của Grenada tại WTO và là người sáng lập TRON. TRON dẫn đầu cuộc cách mạng stablecoin, đã xử lý khối lượng giao dịch hơn $13 trillion kể từ khi ra mắt. Tại các thị trường mới nổi, người dân sử dụng USDT trên TRON để tham gia hệ thống tài chính toàn cầu.

Là học trò của nhà sáng lập Alibaba Jack Ma, Sun đã nhận được sự công nhận quốc tế cho công việc về tài sản kỹ thuật số của mình, bao gồm bài viết trang bìa Forbes vào tháng 4 năm 2025 và nhiều lần lọt vào danh sách Forbes 30 Under 30. Vào tháng 8 năm 2025, ông đã bay trên sứ mệnh NS-34 của Blue Origin, trở thành người thứ 712 du hành vào 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 điện tử và thám hiểm không gian.

Về Justin Sun Prize

Justin Sun Prize là một chương trình học thuật do Justin Sun thành lập nhằm thúc đẩy tiến bộ trong toán học, xác minh hình thức và khám phá khoa học có hỗ trợ của AI. Chương trình phi tập trung và dựa trên ý tưởng rằng công trình toán học nên được đánh giá bởi sức mạnh, tính chặt chẽ và khả năng xác minh của chứng minh, chứ không phải uy tín hay danh tiếng của người nộp bài.

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

Thông tin thêm có tại https://www.hejustinsun.com/prize.