Putaran Baru Justin Sun Prize Menghargai Kolaborasi Manusia-AI dalam Memecahkan Masalah Erdős

Wouter van Doorn adalah ahli teori bilangan independen yang mulai meneliti matematika sejak masa sarjana pada tahun 2010 dan terus berkolaborasi serta menerbitkan karya ilmiah setelah meninggalkan dunia akademis pasca meraih gelar magister. Quanyu Tang (汤泉宇) adalah mahasiswa program doktoral matematika di Universitas Sains dan Teknologi Tiongkok yang penelitiannya mencakup teori bilangan, kombinatorika, dan penemuan matematis yang dibantu oleh kecerdasan buatan (AI).

Masalah Erdős adalah pertanyaan-pertanyaan matematika yang diajukan atau dipopulerkan oleh matematikawan Hungaria Paul Erdős mengenai bilangan, pola, dan struktur matematika lainnya. Meskipun seringkali mudah dinyatakan namun sulit dipecahkan, masalah-masalah ini telah membantu membentuk penelitian di bidang teori bilangan dan kombinatorika, dengan beberapa di antaranya tetap belum terpecahkan selama puluhan tahun. Katalog Erdős, yang disusun dan dikelola oleh Thomas Bloom—seorang matematikawan dan Fellow Penelitian Universitas Royal Society di Universitas Manchester—memuat lebih dari 1.200 masalah.

Van Doorn dan Tang bekerja sama dengan Yanyang Li, dari Fakultas Matematika Universitas Tenggara di Nanjing, untuk memecahkan Masalah Erdős #650, yaitu menentukan dengan tepat berapa banyak bilangan bulat yang selalu dapat dipasangkan dengan kelipatan yang berbeda dalam interval tertentu. Van Doorn juga menghasilkan bukti yang dapat diverifikasi oleh komputer dalam Lean, perangkat lunak untuk memverifikasi penalaran matematis, untuk Masalah #369, mengenai bilangan bulat berurutan dengan faktor prima yang dibatasi; Masalah #457, mengenai apakah urutan pendek bilangan bulat berurutan dapat secara kolektif mengandung setiap bilangan prima dalam rentang tertentu; dan Masalah #469, mengenai apakah kebalikan dari kelas khusus bilangan yang dapat diekspresikan sebagai penjumlahan pembaginya menghasilkan jumlah total yang terbatas.

Tang secara terpisah menyelesaikan #1044, menetapkan batas bawah yang tajam untuk panjang batas wilayah yang didefinisikan oleh polinomial, dan berkontribusi bersama Li dalam solusi tim yang lebih luas untuk #1196, yang membatasi jumlah tertimbang atas himpunan bilangan bulat di mana tidak ada anggota yang membagi anggota lainnya.

Karya mereka pada soal #650 memberikan contoh konkret bagaimana penilaian manusia dan AI dapat saling melengkapi. ChatGPT membantu mengembangkan strategi pembuktian, sementara Aristotle, sebuah sistem AI untuk penalaran matematis, memperbaiki celah selama formalisasi Lean. Para peneliti kemudian menyederhanakan argumen tersebut dan menulis pembuktian akhir serta penjelasannya.

“Pengalaman ini mengajarkan saya bagaimana umpan balik publik dapat mempertajam pertanyaan penelitian, dan bagaimana penemuan yang dibantu AI dapat menggabungkan penilaian matematis, kolaborasi, dan verifikasi yang ketat,” kata Tang.

Ini adalah penghargaan pertama yang dikonfirmasi dalam program ini, yang mengakui baik penemuan matematis maupun upaya yang diperlukan agar bukti dapat diverifikasi secara independen. Informasi mengenai Justin Sun Prize, katalog masalahnya, dan kontribusi para penerima tersedia melalui repositori GitHub publik program ini.

Hadiah akan dibayarkan dalam bentuk USDT di TRON (TRC-20) atau USDC di Ethereum (ERC-20) sesuai pilihan penerima. Untuk informasi lebih lanjut, silakan kunjungi www.hejustinsun.com/prize.

Tentang Kantor Justin Sun

Kantor Justin Sun mendukung inisiatif bisnis global, filantropi, dan publik Justin Sun di berbagai bidang, termasuk teknologi, blockchain, kecerdasan buatan, penelitian ilmiah, investasi, seni, dan eksplorasi antariksa.

Justin Sun adalah Duta Besar dan mantan Perwakilan Tetap Grenada untuk Organisasi Perdagangan Dunia (WTO) serta Pendiri TRON. TRON adalah blockchain terdepan dalam revolusi stablecoin, yang telah memproses volume transaksi lebih dari $13 triliun sejak didirikan. Di pasar-pasar berkembang di seluruh dunia, masyarakat mengandalkan USDT di TRON untuk mengakses sistem keuangan global.

Sebagai anak didik pendiri Alibaba, Jack Ma, Sun telah diakui secara internasional atas kontribusinya di industri aset digital, termasuk profil sampul majalah Forbes pada April 2025 dan beberapa kali masuk dalam daftar Forbes 30 Under 30. Pada Agustus 2025, ia terbang dalam misi NS-34 milik Blue Origin, menjadi orang ke-712 dalam sejarah yang melakukan perjalanan ke luar angkasa. Minatnya yang lebih luas mencakup teknologi, investasi, filantropi, seni, game, dan eksplorasi luar angkasa.

Kontak Kantor Justin Sun:

info@hejustinsun.com

Tentang Justin Sun Prize

Justin Sun Prize adalah inisiatif akademis yang didirikan oleh Justin Sun untuk mendukung kemajuan dalam bidang matematika, verifikasi formal, dan penemuan ilmiah yang dibantu oleh kecerdasan buatan (AI). Penghargaan ini bersifat desentralisasi dan dibangun berdasarkan prinsip bahwa karya matematika harus dinilai berdasarkan kekuatan, ketelitian, dan verifikasi bukti itu sendiri, bukan berdasarkan prestise atau reputasi para pengirimnya.

Justin Sun mendirikan penghargaan ini atas namanya sendiri sebagai komitmen jangka panjang untuk mengembalikan kekayaan yang diciptakan melalui matematika dan teknologi kembali ke matematika itu sendiri. Warisan penghargaan ini dimaksudkan untuk didefinisikan oleh kumpulan karya yang diakui serta para pemenang yang penemuannya bertahan dalam ujian waktu. Penghargaan ini menghubungkan tantangan matematika yang didefinisikan dengan jelas dengan bukti yang dapat diverifikasi oleh mesin. Prinsip-prinsip panduannya adalah keterbukaan, manfaat publik, dan akses sumber terbuka.

Kunjungi https://www.hejustinsun.com/prize untuk informasi lebih lanjut.

Kontak:

thejustinsunprize@hejustinsun.com

_________________________________________________________________________

Bitcoin.com tidak bertanggung jawab atau berkewajiban, dan tidak akan bertanggung jawab, baik secara langsung maupun tidak langsung, atas kerugian, kerusakan, klaim, biaya, atau pengeluaran dalam bentuk apa pun, baik yang sebenarnya, yang dituduhkan, maupun yang bersifat konsekuensial, yang timbul dari atau sehubungan dengan penggunaan, atau ketergantungan pada, konten, barang, atau layanan apa pun yang dirujuk dalam artikel ini. Segala ketergantungan pada informasi tersebut sepenuhnya menjadi risiko pembaca sendiri.