justinsunprize

ผู้ชนะชุดแรกของ Justin Sun Prize ได้รับการยืนยันอย่างเป็นทางการแล้ว👏

ขอแสดงความยินดีกับ Wouter van Doorn, Yanyang Li และ Quanyu Tang ที่สามารถแก้โจทย์จาก Erdős catalogue ได้สำเร็จ นี่ถือเป็นอีก Milestone สำคัญของโครงการที่มีแนวคิดค่อนข้างชัดเจนมาก คือให้รางวัลกับผลงานคณิตศาสตร์ที่สามารถพิสูจน์ ตรวจสอบ และยืนยันได้จริง

สิ่งที่น่าสนใจของ Justin Sun Prize คือโครงการไม่ได้ให้ความสำคัญกับชื่อเสียง มหาวิทยาลัย หรือ Status ของผู้เข้าร่วมเป็นหลัก แต่ใช้ Problem List แบบเปิด และเน้นผลงานที่สามารถตรวจสอบได้ โดยมีทั้งคนที่แก้โจทย์คณิตศาสตร์ และผู้ที่ช่วยเปลี่ยนคำตอบเหล่านั้นให้กลายเป็น Lean Proof ที่เครื่องสามารถตรวจสอบได้

ปัจจุบัน Problem Bank ของโครงการมีโจทย์มากกว่า 1,000 ข้อ พร้อมข้อมูลสาธารณะเกี่ยวกับ Candidate, Verification Evidence และ Award ที่ได้รับการยืนยันแล้ว

#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification

🏆 GIẢI THƯỞNG JUSTIN SUN（Giải thưởng Tôn Vũ Thần）

✦ Vì sao giải thưởng Justin Sun được thành lập?

Đây là giải thưởng được ông Justin Sun - người sáng lập TRON (@justinsuntron) - lập ra nhằm tái đầu tư toàn bộ tài sản cá nhân của mình cho nghiên cứu toán học!

Trong bối cảnh ra đời, ông đã chia sẻ trong một bức thư ngỏ như sau.

💬 “Của cải sinh ra từ toán học. Vì vậy, lẽ đương nhiên là phải hoàn trả (tái đầu tư) cho toán học.”

Điểm thú vị của giải thưởng lần này là: không chỉ những người giải được các bài toán toán học “khó” mới được đánh giá👀

Chủ yếu sẽ được chấm theo 2 hạng mục sau!

✅ Giải quyết các bài toán toán học và/hoặc thúc đẩy tiến triển của nghiên cứu mang tính nền tảng ✅ Các nỗ lực chuyển đổi kết quả đó sang dạng có thể kiểm chứng bằng máy móc như AI (kiểm chứng bằng hình thức)

Nói cách khác, không chỉ là những phát hiện mới về toán học, mà cả việc làm cho tính đúng đắn của chúng có thể được máy xác nhận cũng sẽ được đánh giá.

Hơn nữa, giải thưởng cũng hướng tới việc đánh giá một cách phù hợp các thành quả được tạo ra nhờ sự phối hợp giữa con người và AI🤝

Không chỉ thúc đẩy sự phát triển của nghiên cứu toán học, mà còn mở ra tương lai toán học cùng với AI và con người.

Và chính những hoạt động như vậy sẽ được Justin Sun Prize tiếp tục hỗ trợ trong thời gian tới🔥

#JustinSunPrize
#TRONGlobalFriends #TGF
@TRON DAO
@TronDao_JPN
@justinsuntron

https://x.com/justinsunprize/status/2102664015692562920?s=46&t=4eHd0fxsg3qDAkvAzm2QAQ

🎯 Tại sao “Justin Sun Prize” lại ra đời? @Justin Sun孙宇晨

Trong hình ảnh lần này, lý do Justin Sun Prize (Giải thưởng Tôn Vũ Trần) được thành lập được giải thích.

Toán học là một lĩnh vực quan trọng đã đồng hành và góp phần nuôi dưỡng sự nghiệp của ông Justin Sun.

Vì vậy, ông đã tự trích nguồn kinh phí để thành lập một giải thưởng nhằm hỗ trợ nghiên cứu toán học và kiểm chứng hình thức các chứng minh.

Điểm mấu chốt nằm ở đây👇

🧮 Chuyển những gì thu được từ toán học trở lại cho toán học

Lấy tư tưởng này làm trục,

🔹 Nghiên cứu nhằm giải quyết các bài toán nan giải trong toán học
🔹 Biến các thành tựu đó thành “chứng minh được hình thức hóa” để máy móc có thể kiểm chứng
🔹 Nghiên cứu có sự hợp tác giữa con người và AI

Cơ chế mà họ hướng đến là ghi nhận, đánh giá từng thành tựu đó và kết nối chúng với phần thưởng.

Nói cách khác, đây không chỉ là một “cuộc thi kèm tiền thưởng”. Điểm đặc trưng lớn là hỗ trợ từ việc giải các vấn đề toán học cho đến việc đưa chứng minh vào dạng mà AI hoặc máy tính có thể kiểm chứng được.

“Vì sao một giải thưởng mới lại ra đời?”

Câu trả lời nằm ở việc muốn hoàn trả, theo một hình thức mới, những gì toán học đã mang lại cho sự nghiệp của mình—bằng nguồn vốn và cơ hội.

Và việc mở rộng đối tượng không chỉ là con người mà còn cả nghiên cứu hợp tác với AI cũng là điều thú vị, khi hướng tới khả năng mới của nghiên cứu toán học trong tương lai.🧠🤖
@TRON DAO
#JustinSunPrize #TGF #TRONGlobalFriends

Điều được chứng minh, được giải quyết.

Điều đã được chứng minh thì đã được giải.

Bắt đầu là #JustinSunPrize .

https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271

Giới thiệu chương trình học bổng học thuật #JustinSunPrize mới, nhằm khen thưởng những đột phá trong lĩnh vực toán học.

Người đóng góp có thể giải các bài toán đủ điều kiện, hệ thống hóa kết quả của mình trên Lean và nộp các chứng minh có thể kiểm chứng bằng máy thông qua kho lưu trữ mã nguồn mở trên GitHub của Giải thưởng.

Với năm hạng mục trao giải và giải thưởng cao nhất trị giá 1 triệu USD, chương trình mở cửa cho các cộng tác viên đủ điều kiện trên toàn thế giới.

Giải. Xác minh. Nhận thưởng.

Tìm hiểu thêm:
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2100319343670354387

☀️ Chào buổi sáng, mọi người.
Hôm qua tôi đã viết về Justin Sun Prize và vì sao phần thú vị không chỉ là tiền thưởng, mà là ý tưởng trao thưởng cho những công việc có thể được xác minh thực sự.
Sáng nay, lại có thêm một cập nhật đáng theo dõi 👀
Justin Sun đã công bố vòng đầu tiên các người chiến thắng được ghi nhận, cùng với 66 bài toán phần thưởng được xây dựng dựa trên một ý tưởng đơn giản:
trao thưởng cho lời giải, không phải cho con người.
Đó là điều tôi thấy thú vị nhất.
Trọng tâm nằm ở chính đáp án và bản thân phần chứng minh—dù nó đến từ một con người, AI hay sự phối hợp giữa cả hai.
Và điều đó đặt ra một câu hỏi lớn hơn.
Trong kỷ nguyên AI, chúng ta có nên quan tâm nhiều hơn đến việc ai tạo ra lời giải, hay liệu kết quả đó có thể thực sự được kiểm tra, tái tạo và xác minh hay không?
Hai điều này không phải lúc nào cũng giống nhau.
Một chứng minh vượt qua được kiểm tra của máy móc và một kết quả được cộng đồng học thuật chấp nhận một cách chính thức có thể xảy ra ở những giai đoạn khác nhau.
Với tôi, đó là lý do khiến mọi thứ trở nên hấp dẫn hơn nhiều so với chỉ “ai đã giành được giải”.
Nếu AI bắt đầu đóng góp nghiêm túc hơn cho toán học và nghiên cứu, thì việc xác minh có thể trở nên quan trọng ngang bằng với khám phá.
Uống cà phê trước, rồi quay lại để tiếp tục theo dõi câu chuyện này ☕️
Tôi nghĩ câu chuyện này vẫn còn nhiều điều để mở ra.

@TRON DAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON #JustinSunPrize

🏆 Bạn tham gia Justin Sun Prize như thế nào?

Hãy bắt đầu với ngân hàng câu hỏi chính thức, hiện đang chứa 1.022 bài toán toán học.

Nhưng việc chọn một bài chỉ là bước khởi đầu.

Chương trình ghi nhận hai đóng góp quan trọng:

🧠 Người chứng minh tạo ra kết quả toán học.

💻 Người lập công thức chuyển một chứng minh đã được chấp nhận sang dạng có thể kiểm tra bằng máy khi cần xác minh hình thức.

Cùng một người có thể đảm nhiệm cả hai vai trò, hoặc các cộng tác viên khác nhau có thể hoàn thành chúng.

📚 Quy trình cơ bản:

1️⃣ Chọn một bài toán đủ điều kiện từ ngân hàng chính thức
2️⃣ Kiểm tra trạng thái và các yêu cầu đã công bố
3️⃣ Phát triển một chứng minh toán học hoàn chỉnh
4️⃣ Lập công thức cho kết quả khi cần
5️⃣ Thực hiện theo đúng kênh nộp hồ sơ chính thức cho bài đó
6️⃣ Hoàn tất quy trình đánh giá và xác minh tương ứng

⚠️ Một điểm phân biệt quan trọng:

Việc nộp lên GitHub hoặc một bản build phần mềm thành công đơn lẻ không đồng nghĩa với việc đã giành được giải thưởng. Yêu cầu, công cụ và phương thức nộp có thể khác nhau giữa các bài toán, và việc ghi nhận sẽ theo đúng các quy định đã công bố.

💡 Điều khiến tôi quan tâm nhất là tiêu chuẩn đang được tạo ra cho kỷ nguyên AI.

AI có thể tạo ra câu trả lời nhanh chóng. Toán học đặt ra một câu hỏi khó hơn:

Liệu mọi bước trong câu trả lời đều có thể được chứng minh và được xác minh độc lập hay không?

Sự kết hợp giữa lập luận của con người, sự hỗ trợ của AI và xác minh hình thức có thể ngày càng trở nên quan trọng khi AI cố gắng giải các bài toán toán học khó hơn.

Chọn. Chứng minh. Lập công thức. Xác minh. 🧠⚡

Trang web chính thức:
https://hejustinsun.com/prize

GitHub chính thức:
https://github.com/TheJustinSunPrize/awards

@justinsuntron @TRON DAO @TronDao_THA
#JustinSunPrize #TRONGlobalFriends #TGF

📢 Toán học chiếm một không gian mới… và giải thưởng Justin Sun đặt phần chứng minh vào trung tâm cuộc cạnh tranh 🏆📐

Giải thưởng Justin Sun Prize cung cấp các khoản tiền thưởng có thể lên tới 1 triệu USD cho những thành tựu quan trọng trong toán học cơ bản, tập trung vào các chứng minh chính thức mà máy móc có thể kiểm chứng.

🧠 Chương trình bao gồm 66 bài toán gắn với lời giải và các chứng minh chính thức, đồng thời mở ra nhiều dạng bài toán toán học nền tảng khác nhau.

💻 Ý tưởng không chỉ dừng ở việc tìm ra đáp án đúng, mà còn chuyển kết quả thành một Formal Proof (chứng minh hình thức) có thể kiểm chứng bằng công cụ phần mềm, từ đó tạo ra một giao điểm rõ ràng giữa toán học và AI.

🤖 Theo thông báo, trong số những người chiến thắng đầu tiên có một nhóm nghiên cứu từ OpenAI với công trình liên quan đến bài toán Navier-Stokes.

🌍 Ngoài ra, việc tham gia không dựa vào đề cử hay bằng cấp học thuật, mà dựa trên chính sự đóng góp: liệu bài toán có được giải và chứng minh theo đúng yêu cầu hay không.

🎯 Tóm lại: Giải thưởng đưa ra một mô hình khác để vinh danh các thành tựu toán học, kết hợp toán học cơ bản, các chứng minh có thể kiểm chứng và AI, với mức thưởng có thể lên tới 1 triệu USD. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO

Đọc bài đăng của Justin Sun về Giải thưởng Justin Sun, tôi không xem đây chỉ là một giải thưởng toán học khác.

Tôi xem đó như một cách để một người trong ngành blockchain đóng góp trở lại cho nền tảng đã giúp tạo nên khả năng cho crypto: toán học, mật mã học, hàm băm và các đường cong elliptic.

Nếu không có toán học, blockchain có lẽ vẫn chỉ là một ý tưởng trên bảng trắng chờ khối đầu tiên, trong khi phí gas cứ tăng dần.

Điều khiến Giải thưởng Justin Sun trở nên thú vị là sự tập trung vào kết quả, thay vì tuổi tác, danh tiếng hay các đề cử truyền thống.

Một đột phá có thể đến từ con người, từ AI, hoặc từ sự kết hợp của cả hai. Nhưng để nhận được phần thưởng, bằng chứng phải được chính thức hóa và được một máy xác minh từ dòng đầu đến dòng cuối, không có lỗi.

Nói một cách đơn giản:

→ Bên tạo ra bằng chứng tạo nên đột phá.
→ Bên chính thức hóa biến nó thành thứ mà máy có thể kiểm chứng.
→ Blockchain ghi lại quy trình công khai và minh bạch.

Tôi đặc biệt thích cơ chế “chờ đợi”. Khi cộng đồng toán học chấp nhận một chứng minh, tên của người tạo ra bằng chứng sẽ được ghi lại trước. Giải thưởng vẫn bị khóa cho đến khi chứng minh được xác minh chính thức.

Thời gian chờ đó không bị lãng phí. Nó trở thành một danh sách công khai các nhiệm vụ quan trọng mà các nhà toán học, nhà phát triển và các nhà nghiên cứu AI cần hoàn thành.

Justin Sun có thể vẫn là một nhân vật gây tranh cãi, nhưng danh tiếng không được xây bằng lời nói. Nó được xây bằng những gì còn lại sau nhiều năm.

Nếu hệ thống này hoạt động đúng như thiết kế, nó có thể trở thành một khoản đầu tư dài hạn cho tri thức: minh bạch như blockchain và bền vững như toán học.

LFG!!!

#Tron #JustinSunPrize

Cả việc giải quyết vấn đề và việc hình thức hóa lời chứng minh đều xứng đáng được ghi nhận.

Đó là cách cấu trúc của #JustinSunPrize is.

https://x.com/JustinSunPrize/status/2104485388048007170

Một phân tích đặc biệt về mô hình mới của việc xác minh hình thức được giới thiệu bởi ông @JustinSun con với #JustinSunPrize .🔴

So với hoạt động từ thiện truyền thống, mô hình phi tập trung này thưởng cho logic thuần túy với tốc độ của thời đại AI, biến những chân lý của con người thành mã bất biến được các máy xác minh trên blockchain của $TRX .

Tôi để lại một bản phân tích trực quan về luồng và các trạng thái quan trọng của nó.

📚Th.S. CNTT | David C🔽

🏆 Giải thưởng Justin Sun mở ra những hướng đi mới cho các nhà phát triển phần mềm và các nhà nghiên cứu!

Giải quyết vấn đề là một bước quan trọng, nhưng việc chứng minh tính đúng đắn của giải pháp còn quan trọng không kém. Trên tinh thần đó, chương trình The Justin Sun Prize nhấn mạnh hai vai trò cốt lõi trong thế giới lập trình và kiểm chứng toán học, thông qua cơ chế phần thưởng kết hợp giữa đổi mới và độ chính xác.

🔍 Phần thưởng được phân phối như thế nào?

Chương trình dựa trên việc chia giải cho hai nhiệm vụ chính:

🔹 70% cho người giải quyết bài toán (Problem Solver):
Trao cho người (hoặc nhóm) tìm ra lời giải cho bài toán được đưa ra, như một sự ghi nhận cho nỗ lực trong việc phát triển giải pháp và đạt được kết quả mong muốn.

🔹 30% cho người formal hóa (Lean Formalizer):
Dành cho người chịu trách nhiệm chuyển đổi lời giải thành một dạng biểu thức toán học chính thức bằng ngôn ngữ Lean. Đây là một công cụ chuyên biệt giúp kiểm chứng tính đúng đắn của các chứng minh toán học một cách chính xác, có thể kiểm tra được.

💡 Điều thú vị nhất là gì?

Nếu chính người đó hoặc chính đội nhóm đó thực hiện được cả hai nhiệm vụ, thì có thể nhận 100% giá trị giải thưởng, theo các điều kiện và quy định được áp dụng của chương trình.

🔗 Xem chi tiết và các điều kiện tại:
hejustinsun.com/prize/rules

#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨

Tin tức quan trọng trong hệ sinh thái TRON ♦️

1️⃣ Vốn hóa stablecoin trên TRON đã tăng thêm 4,8 tỷ USD trong 90 ngày và vượt qua mức tăng kết hợp của 9 chuỗi còn lại trong top 10.

2️⃣ @Justin Sun孙宇晨 ra mắt Justin Sun Prize, một bounty phi tập trung lên đến 1M USD.
• Tặng thưởng cho cả người chứng minh một định lý và người thực hiện/hoàn thiện nó dưới dạng mã có thể được xác minh bằng máy.
• Không quan liêu, mở cho cả con người và AI, với quỹ được khóa trên blockchain.

3️⃣ ETF $TRX do CanaryFunds stake hiện đã hoạt động trên etrade và mở rộng thêm mức độ tiếp xúc với TRX trong các thị trường truyền thống.

// #TGF // #TRONGlobalFriends // #ETF // #Stablecoins // #JustinSunPrize //

#JustinSunPrize bttc để khi nào?

Một dự án khác của Justin Sun mà tôi thấy vô cùng thú vị lần này lại không liên quan gì đến giá của $TRX hay DeFi. Thay vào đó, nó tập trung vào toán học + AI + mã nguồn mở.

Gần đây, <b>@justinsuntron </b> đã ra mắt <b>The Inaugural 66 Prize Problems of #JustinSunPrize</b>. Khái niệm này khá khác so với các giải thưởng học thuật truyền thống, bởi vì giải thưởng này không tập trung vào “bạn là ai, bạn đến từ trường đại học nào hay bạn nổi tiếng đến mức nào”.

Điều thực sự quan trọng là:

Bạn có thể giải được bài toán không, và bằng chứng của bạn có thể được một máy xác minh không?

Justin Sun Prize sử dụng mô hình danh sách bài toán, mở các vấn đề toán học cho người tham gia từ khắp nơi trên thế giới—bao gồm các nhà nghiên cứu, nhà phát triển, người đóng góp độc lập, các đội Human + AI và những người nghiên cứu có hỗ trợ AI.

Điều tôi thích nhất là các bằng chứng đủ điều kiện phải vượt qua xác minh hình thức, chẳng hạn như thông qua Lean. Không chỉ là viết một câu trả lời trông có vẻ đúng. Bằng chứng phải cho phép một máy có thể kiểm tra logic từ đầu đến cuối.

Nói ngắn gọn:
Đây không phải là “tin rằng nó đúng”. Mà là “chứng minh nó theo cách có thể được xác minh”.

Hạng giải thưởng cao nhất, Pinnacle, dành phần thưởng trị giá $1.000.000 cho mỗi bài toán được giải thành công và hoàn tất.

Với tôi, khía cạnh thú vị nhất của 66 Bài Toán Giải Thưởng đầu tiên không chỉ nằm ở tiền thưởng. Điều quan trọng là sáng kiến này đang thử nghiệm một mô hình nghiên cứu mới trong kỷ nguyên AI.

Theo truyền thống, quy trình sẽ diễn ra như sau:
Một người đưa ra bài toán → một nhà toán học phát triển chứng minh → các chuyên gia đọc và phản biện.

Nhưng nó có thể phát triển thành:
Con người suy nghĩ + AI hỗ trợ khám phá + Máy xác minh chứng minh + Mã nguồn mở cho phép mọi người xem lại sau đó
Nếu mô hình này thành công, nó có thể tạo thêm cơ hội cho các cá nhân, nhóm nhỏ và những người ngoài các trường đại học danh tiếng để giải quyết các bài toán đẳng cấp thế giới. Cuối cùng, thứ được đo lường không phải danh tiếng, mà là chất lượng của bản chứng minh.

@JustinSunPrize @justinsuntron
#JustinSunPrize #TGF #TRONGlobalFriends #TRON