๐ข 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
