📢 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
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
