Geneva, Swiss — 5 Oktober 2026 — Kantor Justin Sun baru saja mengumumkan penerima baru dari Justin Sun Prize. Mereka adalah peneliti independen Wouter van Doorn, mahasiswa Ph.D. matematika Quanyu Tang, dan peneliti matematika Yanyang Li dari Universitas Southeast di Nanjing, yang diakui atas kontribusinya dalam enam masalah Erdős.
Wouter van Doorn adalah seorang ahli teori bilangan independen yang memulai penelitian matematika sejak menjadi mahasiswa pada tahun 2010 dan terus kolaborasi serta menerbitkan karya setelah meninggalkan akademia setelah meraih gelar masternya. Sedangkan Quanyu Tang (汤泉宇) adalah mahasiswa Ph.D. matematika di University of Science and Technology of China, dengan penelitian yang mencakup teori bilangan, kombinatorika, dan penemuan matematika yang dibantu AI.
Masalah Erdős adalah pertanyaan matematika yang diajukan atau dipopulerkan oleh matematikawan Hungaria, Paul Erdős, mengenai angka, pola, dan struktur matematika lainnya. Meskipun pernyataannya sederhana, banyak dari masalah ini sulit untuk diselesaikan, dan mereka telah membantu membentuk penelitian di bidang teori bilangan dan kombinatorika, dengan sebagian masih terbuka selama puluhan tahun. Katalog Erdős, yang disusun dan dipelihara oleh Thomas Bloom, seorang matematikawan dan Peneliti Universitas Royal Society di University of Manchester, memiliki lebih dari 1200 masalah.
Van Doorn dan Tang bekerja sama dengan Yanyang Li dari Sekolah Matematika Southeast University untuk menyelesaikan Masalah Erdős #650, yang 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 diperiksa komputer dalam Lean, perangkat lunak untuk memverifikasi penalaran matematis, untuk Masalah #369, mengenai bilangan bulat berurutan dengan faktor prima terbatas; #457, mengenai apakah rangkaian bilangan bulat berurutan dapat secara kolektif mengandung setiap bilangan prima dalam rentang tertentu; dan #469, tentang apakah kebalikan dari kelas khusus angka yang dapat dinyatakan sebagai jumlah dari pembaginya menghasilkan total yang terbatas.
Terpisah, Tang menyelesaikan #1044, dengan menetapkan batas bawah yang tajam untuk panjang batas dari daerah yang didefinisikan oleh polinomial, dan berkontribusi bersama Li dalam solusi tim yang lebih luas untuk #1196, yang membatasi jumlah tertimbang dari set bilangan bulat di mana tidak ada anggota yang membagi yang lain.
Pekerjaan mereka pada #650 memberikan contoh konkret bagaimana penilaian manusia dan AI bisa saling melengkapi. ChatGPT membantu mengembangkan strategi bukti, sementara Aristotle, sistem AI untuk penalaran matematis, memperbaiki celah saat formalisasi dalam Lean. Para peneliti kemudian menyederhanakan argumen dan menulis bukti akhir serta eksposisi.
“Pengalaman ini mengajarkan saya bagaimana umpan balik publik dapat memperdalam pertanyaan penelitian, dan bagaimana penemuan yang dibantu AI bisa menggabungkan penilaian matematis, kolaborasi, dan verifikasi yang ketat,” ungkap Tang.
Ini adalah penghargaan pertama yang dikonfirmasi dari program tersebut, menghargai baik penemuan matematis maupun usaha yang diperlukan untuk menjadikan bukti dapat diperiksa secara independen. Informasi mengenai Justin Sun Prize, katalog masalahnya, dan kontribusi penerima bisa diakses melalui publik GitHub repository program tersebut.
Pembayaran penghargaan akan dilakukan dalam bentuk USDT di jaringan TRON (TRC-20) atau USDC di Ethereum (ERC-20), sesuai pilihan penerima. Untuk informasi lebih lanjut, kunjungi www.hejustinsun.com/prize.
Tentang Kantor Justin Sun
Kantor Justin Sun mendukung bisnis global, inisiatif amal, dan publik Justin Sun di bidang teknologi, blockchain, kecerdasan buatan, penelitian ilmiah, investasi, seni, dan eksplorasi luar angkasa.
Justin Sun adalah Duta dan mantan Perwakilan Tetap Grenada untuk Organisasi Perdagangan Dunia serta Pendiri TRON. TRON adalah blockchain terdepan dalam revolusi stablecoin, memproses lebih dari $13 triliun dalam volume sejak awalnya. Di pasar negara berkembang, orang bergantung pada USDT di TRON untuk mengakses sistem keuangan global.
Sebagai murid pendiri Alibaba, Jack Ma, Sun telah diakui secara internasional atas karyanya di industri aset digital, termasuk profil sampul Forbes pada April 2025 dan beberapa penampilan di daftar Forbes 30 Under 30. Pada Agustus 2025, ia terbang dalam misi NS-34 Blue Origin, menjadi orang ke-712 dalam sejarah yang melakukan perjalanan ke luar angkasa. Minatnya meliputi teknologi, investasi, filantropi, seni, permainan, dan eksplorasi luar angkasa.
Tentang Justin Sun Prize
Justin Sun Prize adalah inisiatif akademis yang dibentuk oleh Justin Sun untuk mendukung kemajuan di bidang matematika, verifikasi formal, dan penemuan ilmiah yang dibantu AI. Penghargaan ini desentralisasi dan dibangun berdasarkan prinsip bahwa karya matematika seharusnya dinilai dari kekuatan, ketelitian, dan keterverifikasian bukti itu sendiri, bukan dari prestise atau reputasi pengirimnya.
Justin Sun mendirikan penghargaan ini atas namanya sebagai komitmen jangka panjang untuk mengembalikan kekayaan yang dihasilkan melalui matematika dan teknologi kembali ke bidang matematika itu sendiri. Warisan penghargaan ini akan didefinisikan oleh karya yang diakui dan para laureat yang penemuannya teruji oleh waktu. Penghargaan ini menghubungkan tantangan matematis yang jelas dengan bukti yang dapat diverifikasi oleh mesin. Prinsip panduan utamanya adalah keterbukaan, manfaat publik, dan akses sumber terbuka.
Untuk informasi lebih lanjut, kunjungi https://www.hejustinsun.com/prize.
Kontak: thejustinsunprize@hejustinsun.com
