justinsunprize

Pemenang untuk rangkaian pertama Justin Sun Prize telah dikonfirmasi secara resmi👏

Selamat kepada Wouter van Doorn, Yanyang Li, dan Quanyu Tang karena berhasil menyelesaikan tantangan dari katalog Erdős. Ini merupakan tonggak penting lainnya dari proyek dengan gagasan yang cukup jelas: memberikan penghargaan kepada karya matematika yang benar-benar dapat dibuktikan, diverifikasi, dan dikonfirmasi.

Hal menarik dari Justin Sun Prize adalah proyek ini tidak terlalu menitikberatkan pada reputasi, universitas, atau status para peserta. Sebaliknya, proyek ini menggunakan Problem List yang bersifat terbuka dan menekankan pada hasil yang dapat diverifikasi, dengan melibatkan baik orang yang menyelesaikan masalah matematika maupun mereka yang membantu mengubah jawaban-jawaban tersebut menjadi Lean Proof yang dapat diverifikasi oleh mesin.

Saat ini, Problem Bank proyek memiliki lebih dari 1.000 soal, lengkap dengan informasi publik mengenai Candidate, Verification Evidence, dan Award yang telah terkonfirmasi.

#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification

🏆 THE JUSTIN SUN PRIZE（孫宇晨賞）

✦ Mengapa Justin Sun Prize didirikan?

Justin Sun, pendiri TRON ( @justinsuntron ), mendirikan penghargaan ini untuk mengalihkan kekayaan pribadinya ke penelitian matematika!

Di balik pendirian penghargaan ini, ada pemikiran seperti yang ia sampaikan dalam surat terbuka.

💬 “Kekayaan berasal dari matematika. Karena itu, sudah seharusnya kekayaan itu dikembalikan ke matematika.”

Yang menarik dari penghargaan kali ini adalah: yang dinilai bukan hanya mereka yang berhasil memecahkan soal matematika yang sulit 👀

Penilaian terutama mencakup dua hal berikut!

✅ Penyelesaian soal matematika dan kemajuan penelitian yang bersifat mendasar ✅ Upaya mengubah hasil tersebut menjadi format yang bisa diverifikasi juga oleh mesin seperti AI (verifikasi formal)

Artinya, yang dinilai bukan hanya penemuan matematika baru, tetapi juga upaya agar kebenarannya dapat dicek oleh mesin.

Lebih dari itu, penghargaan ini juga bertujuan untuk menilai dengan tepat capaian yang dihasilkan dari kerja sama antara manusia dan AI 🤝

Bukan hanya mendorong kemajuan riset matematika, tetapi juga membuka masa depan matematika bersama-sama—dengan AI dan manusia.

Upaya seperti itulah yang terus didukung oleh Justin Sun Prize kali ini 🔥

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

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

🎯 Mengapa “Justin Sun Prize” diciptakan?@Justin Sun孙宇晨

Pada gambar kali ini, dijelaskan alasan pendirian Justin Sun Prize (Penghargaan Sun Yuchen).

Matematika adalah bidang penting yang telah mendukung karier Justin Sun.
Karena itu, ia sendiri menyisihkan dana untuk mendirikan penghargaan yang mendukung penelitian matematika serta verifikasi bentuk pembuktian.

Poinnya ada di sini👇

🧮 Apa yang diperoleh dari matematika, dikembalikan ke matematika

Berdasarkan pemikiran ini,

🔹 Riset yang menyelesaikan problem sulit dalam matematika
🔹 Upaya untuk menjadikan hasilnya sebagai “bukti yang telah diformalkan” yang dapat diverifikasi dengan mesin
🔹 Riset kolaborasi antara manusia dan AI

Mereka menargetkan sebuah mekanisme untuk mencatat dan menilai capaian seperti ini, lalu menghubungkannya dengan hadiah/imbalan.

Dengan kata lain, ini bukan sekadar “kompetisi berhadiah”. Keunatannya justru terletak pada dukungan dari upaya memecahkan masalah matematika, hingga membantu menjadikan pembuktiannya dalam bentuk yang bisa diverifikasi oleh AI atau komputer.

“Kenapa hadiah baru ini lahir?”

Jawabannya adalah untuk mengembalikan matematika yang telah menopang kariernya—kali ini dalam bentuk dana dan kesempatan.

Dan dengan menjadikan riset kolaboratif bersama AI sebagai sasaran juga, menurut saya ini hal yang menarik karena mereka turut menaruh perhatian pada kemungkinan riset matematika di masa depan.🧠🤖
@TRON DAO
#JustinSunPrize #TGF #TRONGlobalFriends

Quod probatur, solvitur.

Apa yang dibuktikan, diselesaikan.

Angka #JustinSunPrize dimulai.

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

Memperkenalkan #JustinSunPrize , program hadiah akademik baru yang memberi penghargaan atas terobosan dalam matematika.

Kontributor dapat menyelesaikan masalah yang memenuhi syarat, memformalkan hasil mereka di Lean, dan mengirimkan bukti yang dapat diverifikasi oleh mesin melalui repositori GitHub sumber terbuka dari Hadiah tersebut.

Dengan lima tingkat penghargaan dan hadiah utama sebesar $1 juta, program ini terbuka bagi kontributor yang memenuhi syarat di seluruh dunia.

Selesaikan. Verifikasi. Klaim.

Pelajari lebih lanjut:
https://hejustinsun.com/prize

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

☀️ Selamat pagi, semuanya.
Kemarin saya menulis tentang Justin Sun Prize dan mengapa bagian yang menarik bukan hanya hadiah uangnya, tetapi idenya: memberi penghargaan pada pekerjaan yang benar-benar bisa diverifikasi.
Pagi ini, ada pembaruan lain yang layak diperhatikan 👀
Justin Sun telah mengumumkan babak pertama para pemenang yang diakui, bersama 66 masalah hadiah yang dibangun di atas gagasan sederhana:
beri penghargaan pada solusinya, bukan pada orangnya.
Itu bagian yang paling menarik bagi saya.
Fokusnya ada pada jawaban dan buktinya sendiri—apakah berasal dari manusia, AI, atau kolaborasi di antara keduanya.
Dan itu memunculkan pertanyaan yang lebih besar.
Di era AI, apakah kita harus lebih peduli tentang siapa yang menghasilkan solusinya, atau apakah hasilnya benar-benar bisa dicek, direproduksi, dan diverifikasi?
Dua hal itu tidak selalu sama.
Bukti yang lolos verifikasi mesin dan sebuah hasil yang secara formal diterima oleh komunitas akademik yang lebih luas bisa terjadi pada tahap yang berbeda.
Bagi saya, di sinilah ini menjadi jauh lebih menarik daripada sekadar “siapa yang memenangkan hadiah.”
Jika AI mulai berkontribusi lebih serius dalam matematika dan riset, maka verifikasi bisa menjadi sama pentingnya dengan penemuan.
Kopi dulu, lalu lanjut mengikuti cerita ini ☕️
Saya rasa yang ini masih punya banyak hal untuk diungkap.

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

🏆 Bagaimana cara Anda berpartisipasi dalam Justin Sun Prize?

Mulailah dengan bank soal resmi, yang saat ini berisi 1.022 soal matematika.

Namun memilih satu soal hanyalah permulaan.

Program ini mengakui dua kontribusi penting:

🧠 Pembuktilah yang menghasilkan hasil matematis.

💻 Formalizer mengubah bukti yang diterima menjadi bentuk yang dapat diperiksa mesin saat verifikasi formal diperlukan.

Orang yang sama dapat menjalankan kedua peran, atau kontributor berbeda dapat menyelesaikannya.

📚 Proses dasarnya:

1️⃣ Pilih soal yang memenuhi syarat dari bank resmi
2️⃣ Periksa status dan persyaratan yang dipublikasikan
3️⃣ Kembangkan bukti matematis yang lengkap
4️⃣ Formalisasikan hasil bila diperlukan
5️⃣ Ikuti jalur pengajuan resmi untuk soal tersebut
6️⃣ Selesaikan proses peninjauan dan verifikasi yang berlaku

⚠️ Satu perbedaan penting:

Pengajuan di GitHub atau build perangkat lunak yang berhasil saja tidak berarti hadiah telah dimenangkan. Persyaratan, alat, dan metode pengajuan dapat berbeda antar soal, dan pengakuan mengikuti aturan yang dipublikasikan.

💡 Hal yang paling menarik bagi saya adalah standar yang sedang dibangun untuk era AI.

AI dapat menghasilkan jawaban dengan cepat. Matematika mengajukan pertanyaan yang lebih sulit:

Bisakah setiap langkah dari jawaban dibuktikan dan diverifikasi secara independen?

Kombinasi penalaran manusia, bantuan AI, dan verifikasi formal bisa menjadi semakin penting saat AI mencoba memecahkan masalah matematika yang lebih sulit.

Pilih. Buktikan. Formalisasikan. Verifikasi. 🧠⚡

Situs web resmi:
https://hejustinsun.com/prize

GitHub resmi:
https://github.com/TheJustinSunPrize/awards

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

📢 Matematika mengambil ruang baru… dan Hadiah Justin Sun menempatkan bukti di jantung persaingan 🏆📐

Justin Sun Prize menawarkan hadiah yang bisa mencapai $1M untuk pencapaian penting dalam matematika dasar, dengan fokus pada bukti-bukti resmi yang dapat diverifikasi oleh mesin.

🧠 Program ini mencakup 66 soal yang terkait dengan solusi dan bukti formal, serta membuka ruang bagi berbagai masalah dalam matematika dasar.

💻 Ide utamanya bukan hanya sampai pada jawaban yang benar, tetapi mengubah hasil tersebut menjadi Formal Proof yang bisa diverifikasi menggunakan alat-alat perangkat lunak—dan ini menciptakan perpotongan yang jelas antara matematika dan AI.

🤖 Berdasarkan pengumuman, salah satu pemenang awal adalah tim riset dari OpenAI atas karya yang terkait dengan masalah Navier-Stokes.

🌍 Selain itu, partisipasi tidak bergantung pada nominasi atau gelar akademik, melainkan pada kontribusi itu sendiri: apakah masalahnya diselesaikan dan dibuktikan dengan bentuk yang diharapkan.

🎯 Kesimpulan: hadiah ini menghadirkan model berbeda untuk menghargai pencapaian matematika, yang menggabungkan matematika dasar, bukti yang dapat diverifikasi, dan AI, dengan hadiah hingga $1M. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO

Membaca posting Justin Sun tentang Justin Sun Prize, saya tidak melihatnya sebagai sekadar penghargaan matematika lainnya.

Saya melihatnya sebagai cara bagi seseorang dari industri blockchain untuk memberikan kembali kepada fondasi yang membuat kripto menjadi mungkin: matematika, kriptografi, fungsi hash, dan kurva elips.

Tanpa matematika, blockchain mungkin masih tidak lebih dari sekadar sebuah ide di papan tulis yang menunggu blok pertamanya, sementara biaya gas terus naik.

Yang membuat Justin Sun Prize menarik adalah fokusnya pada hasil, bukan usia, reputasi, atau nominasi tradisional.

Terobosan bisa datang dari manusia, AI, atau kombinasi keduanya. Namun untuk menerima hadiahnya, buktinya harus diformalkan dan diverifikasi oleh sebuah mesin dari baris pertama hingga terakhir, tanpa kesalahan.

Dengan kata-kata sederhana:

→ Pembukt i menciptakan terobosan.
→ Formalizer mengubahnya menjadi sesuatu yang bisa diverifikasi oleh mesin.
→ Blockchain mencatat prosesnya secara publik dan transparan.

Saya sangat menyukai mekanisme “menunggu”. Setelah komunitas matematika menerima sebuah bukti, nama pembukt i dicatat terlebih dahulu. Hadiahnya tetap terkunci sampai bukti tersebut diverifikasi secara formal.

Masa tunggu itu tidak sia-sia. Masa itu berubah menjadi daftar publik tugas-tugas penting yang harus diselesaikan oleh matematikawan, pengembang, dan peneliti AI.

Justin Sun mungkin masih menjadi tokoh yang kontroversial, tetapi reputasi tidak dibangun hanya dengan kata-kata. Reputasi dibangun oleh apa yang tersisa setelah bertahun-tahun.

Jika sistem ini bekerja sesuai rancangan, ia bisa menjadi investasi jangka panjang dalam pengetahuan yang transparan seperti blockchain dan bertahan seperti matematika.

LFG!!!

#Tron #JustinSunPrize

Memecahkan masalah dan memformalkan buktinya sama-sama layak mendapat pengakuan.

Begitulah struktur #JustinSunPrize .

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

Analisis yang luar biasa tentang paradigma baru verifikasi formal yang diperkenalkan oleh Tn @JustinSun dengan #JustinSunPrize .🔴

Dibanding filantropi tradisional, model terdesentralisasi ini memberi penghargaan pada logika murni dengan kecepatan era AI, mengubah kebenaran manusia menjadi kode yang tidak dapat diubah dan diverifikasi oleh mesin pada blockchain $TRX .

Saya menyertakan uraian visual alur dan status kuncinya.

📚Mgtr. di TIK | David C🔽

🏆 Penghargaan Justin Sun membuka cakrawala baru bagi para pengembang perangkat lunak dan peneliti!

Memecahkan masalah adalah langkah penting, tetapi membuktikan kebenaran solusi tidak kalah pentingnya. Dari sinilah, program The Justin Sun Prize menyoroti dua peran utama dalam dunia pemrograman dan verifikasi matematika, melalui mekanisme hadiah yang memadukan inovasi dan ketepatan.

🔍 Bagaimana hadiah dibagikan?

Program ini didasarkan pada pembagian hadiah menjadi dua tugas utama:

🔹 70% untuk problem solver:
Diberikan kepada siapa pun yang berhasil menemukan solusi untuk masalah yang diajukan, baik individu maupun tim, sebagai apresiasi atas upaya dalam mengembangkan solusi dan mencapai hasil yang diinginkan.

🔹 30% untuk Lean Formalizer:
Diperuntukkan bagi mereka yang bertugas mengubah solusi menjadi bentuk matematika formal menggunakan bahasa Lean, yaitu alat khusus yang membantu memverifikasi kebenaran bukti matematika secara akurat, serta dapat diperiksa.

💡 Bagian yang paling menarik?

Jika orang yang sama atau tim yang sama mampu menyelesaikan kedua tugas tersebut, mereka dapat memperoleh 100% nilai hadiah—sesuai dengan ketentuan dan aturan yang ditetapkan oleh program.

🔗 Untuk melihat detail dan syarat:
hejustinsun.com/prize/rules

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

Berita penting dalam ekosistem TRON ♦️

1️⃣ Kapitalisasi stablecoin di TRON tumbuh sebesar $4,8 miliar dalam 90 hari dan melampaui pertumbuhan gabungan dari 9 rantai lainnya di top 10.

2️⃣ @Justin Sun孙宇晨 meluncurkan Justin Sun Prize, bounty terdesentralisasi hingga $1M.
• Memberi hadiah baik bagi siapa pun yang membuktikan sebuah teorema maupun yang memformalkannya dalam kode yang dapat diverifikasi oleh mesin.
• Tanpa birokrasi, terbuka untuk manusia dan AI, dengan dana yang dikunci di blockchain.

3️⃣ ETF $TRX yang dipertaruhkan dari CanaryFunds sudah aktif di etrade dan membuka eksposur lebih besar ke TRX di pasar tradisional.

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

#JustinSunPrize bttc untuk kapan ?

Proyek lain oleh Justin Sun yang kali ini menurut saya sangat menarik ternyata tidak ada hubungannya dengan harga $TRX atau DeFi. Sebaliknya, proyek ini berfokus pada matematika + AI + open source.

Baru-baru ini, @justinsuntron meluncurkan The Inaugural 66 Prize Problems of #JustinSunPrize. Konsepnya cukup berbeda dari penghargaan akademik tradisional karena hadiah ini tidak menyoroti “siapa Anda, Anda berasal dari universitas mana, atau seberapa terkenal Anda.”

Yang benar-benar penting adalah:

Bisakah Anda menyelesaikan masalahnya, dan apakah bukti Anda dapat diverifikasi oleh mesin?

Justin Sun Prize menggunakan model daftar masalah, membuka problem matematika kepada peserta dari seluruh dunia—termasuk peneliti, pengembang, kontributor independen, tim Human + AI, serta peneliti yang dibantu AI.

Yang paling saya sukai adalah bahwa bukti yang lolos kualifikasi harus melewati verifikasi formal, misalnya melalui Lean. Tidak cukup hanya menulis jawaban yang tampak benar. Bukti tersebut harus memungkinkan mesin memverifikasi logika dari awal hingga akhir.

Intinya:
Ini bukan soal “percaya bahwa itu benar.” Ini soal “membuktikannya dengan cara yang dapat diverifikasi.”

Tingkat hadiah tertinggi, Pinnacle, menawarkan imbalan sebesar $1.000.000 untuk setiap masalah yang berhasil diselesaikan dan ditutup.

Bagi saya, aspek paling menarik dari 66 Prize Problems pertama ini bukan hanya jumlah uang hadiahnya. Namun, fakta bahwa inisiatif ini sedang bereksperimen dengan model penelitian baru di era AI.

Secara tradisional, alurnya terlihat seperti ini:
Seseorang merumuskan masalah → seorang matematikawan mengembangkan pembuktian → para ahli membaca dan meninjaunya.

Namun alurnya bisa berkembang menjadi:
Manusia berpikir + AI membantu penemuan + Mesin memverifikasi pembuktian + Open source memungkinkan semua orang meninjaunya setelahnya
Jika model ini berhasil, ia bisa memberi lebih banyak peluang bagi individu, tim kecil, dan orang-orang di luar universitas-universitas bergengsi untuk menyelesaikan problem kelas dunia. Pada akhirnya, yang diukur bukan reputasi, melainkan kualitas pembuktian.

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