Sistem AI AlphaProof Nexus dari Google DeepMind berhasil memecahkan 9 masalah Erdős dan membuktikan 44 konjektur dari Online Encyclopedia of Integer Sequences yang telah lama tak terpecahkan. Sistem ini menggabungkan model bahasa besar dengan pemeriksaan bukti formal untuk memastikan keakuratan, dengan biaya hanya ratusan dolar per masalah. Terobosan ini tidak hanya memajukan riset matematika tetapi juga berpotensi diterapkan dalam kriptografi dan verifikasi perangkat lunak, menjanjikan proses verifikasi formal yang lebih efisien dan andal. Teknologi ini dapat berdampak pada audit kontrak pintar dan bukti tanpa pengetahuan, yang penting untuk keamanan dan privasi blockchain.
Virtuals Protocol memperkenalkan indeks tokenisasi yang dapat dikustomisasi di Robinhood Chain, memungkinkan pengguna menggabungkan beberapa aset menjadi satu token. Inovasi ini memungkinkan pengguna membuat dan mengelola keranjang aset sendiri serta...
ETF Bitcoin spot AS mencatat aliran dana masuk bersih sebesar $107,8 juta pada hari Rabu, sementara ETF Ethereum menarik $53,8 juta, menandakan minat institusional yang meningkat pada dana kripto. Sejak diluncurkan Januari 2024, ETF Bitcoin telah men...
Kaia menjalin kemitraan strategis dengan Xilo Labs untuk mengintegrasikan Mochi, platform manajemen aset onchain, ke dalam ekosistem Kaia. Kolaborasi ini memungkinkan pengguna menginvestasikan stablecoin ke portofolio terdiversifikasi yang didukung o...
Harga Bitcoin melonjak hampir mencapai $65.000 setelah data inflasi AS Juni yang lebih rendah dari perkiraan, meredakan kekhawatiran kenaikan suku bunga The Fed. Namun, data on-chain menunjukkan dua kelompok investor utama—pemegang jangka panjang yan...
Pendapatan penambang Bitcoin menurun seiring turunnya hash rate dan kesulitan menambang, karena sebagian penambang beralih ke infrastruktur AI. Meski demikian, penambang terus mengakumulasi Bitcoin dengan cadangan naik 1%, menandakan keyakinan bahwa ...
