šŸ’„Justin Sun matematikaga 1 million dollargacha mukofot taklif qilmoqda!?

Justin Sun asos solgan
«Justin Sun Prize» juda qiziq

Bu — matematikadagi murakkab masalalarni yechganlarga mukofot berishning yangi tizimi.

Qolaversa, bu sinovda faqat insonlar qatnashmaydiā€¼ļø

🧠 Inson
šŸ¤– Sun’iy intellekt
šŸ¤ Inson + sun’iy intellekt

Istalgan usul mumkinšŸ‘Œ

Muhimi «kim yechgani» emas,
balki matematik isbot haqiqatan ham toā€˜gā€˜rimi — shu.

Buning uchun «Lean» nomli formal matematika tizimidan foydalanib, isbot kompyuter yordamida tekshiriladi.

šŸ’°Mukofot miqdori 1 million dollargacha
ļ¼
Matematika Ɨ sun’iy intellekt Ɨ mashina yordamida tekshirish Ɨ mukofot
ļ¼¼
Kelajakdagi sun’iy intellekt davrida
Ā«matematikadagi murakkab masalalarni sun’iy intellekt yechishiĀ» odatiy holga aylanadimi?

Justin Sun taqdim etayotgan noodatiy matematik mukofotga e’tibor qaratingšŸ’”
#TRONGlobalFriends #TGF
@TRON DAO @Justin Sun孙宇晨