💥Justin Sun, hadiah maksimum 1 juta dolar dari matematika!?
Justin Sun meluncurkan
“Justin Sun Prize” yang menarik.
Ini adalah mekanisme baru yang memberi hadiah kepada orang yang berhasil memecahkan soal matematika yang sulit.
Dan tantangannya bukan cuma untuk manusia‼️
🧠 Manusia
🤖 AI
🤝 Manusia + AI
Cara apa pun boleh👌
Yang penting bukan “siapa yang mengerjakannya”,
melainkan apakah
bukti matematisnya benar-benar valid.
Untuk itu, mereka memakai sistem matematika terformalisasi bernama “Lean”,
lalu memverifikasi buktinya di komputer.
💰 Hadiah hingga 1 juta dolar
/
matematika × AI × verifikasi mesin × hadiah
\
Di era AI yang akan datang,
mungkin “AI memecahkan soal matematika yang sulit” akan menjadi hal yang biasa?
Simak hadiah matematika yang agak unik buatan Justin Sun ini💡
#TRONGlobalFriends #TGF
@TRON DAO @Justin Sun孙宇晨
Justin Sun meluncurkan
“Justin Sun Prize” yang menarik.
Ini adalah mekanisme baru yang memberi hadiah kepada orang yang berhasil memecahkan soal matematika yang sulit.
Dan tantangannya bukan cuma untuk manusia‼️
🧠 Manusia
🤖 AI
🤝 Manusia + AI
Cara apa pun boleh👌
Yang penting bukan “siapa yang mengerjakannya”,
melainkan apakah
bukti matematisnya benar-benar valid.
Untuk itu, mereka memakai sistem matematika terformalisasi bernama “Lean”,
lalu memverifikasi buktinya di komputer.
💰 Hadiah hingga 1 juta dolar
/
matematika × AI × verifikasi mesin × hadiah
\
Di era AI yang akan datang,
mungkin “AI memecahkan soal matematika yang sulit” akan menjadi hal yang biasa?
Simak hadiah matematika yang agak unik buatan Justin Sun ini💡
#TRONGlobalFriends #TGF
@TRON DAO @Justin Sun孙宇晨
