# Artikel Terkait Bukti

Pusat Berita HTX menyediakan artikel terbaru dan analisis mendalam mengenai "Bukti", mencakup tren pasar, pembaruan proyek, perkembangan teknologi, dan kebijakan regulasi di industri kripto.

GPT-5.6 Hanya 1 Jam Tembus 50 Tahun Teka-Teki Matematika, 64 AI Rebut Mahkota Teori Graf

Pada 11 Juli, OpenAI mengumumkan bahwa GPT-5.6 Sol Ultra berhasil membuktikan "Circular Double Cover Conjecture", sebuah masalah matematika rumit di bidang teori graf yang belum terpecahkan selama 50 tahun. Lebih menakjubkan lagi, AI ini menghasilkan bukti matematis yang lengkap dalam waktu kurang dari satu jam. Conjecture ini, diajukan oleh beberapa matematikawan legendaris seperti Tutte, menyatakan bahwa setiap graf hingga tanpa jembatan memiliki sekumpulan siklus sehingga setiap tepi tepat termuat dalam dua siklus. Selama setengah abad, berbagai upaya pembuktian parsial telah dilakukan, tetapi solusi umum dan definitif tetap sulit diraih. Kunci keberhasilan OpenAI terletak pada pendekatan "paralel Test-Time Computation" (TTC). Mereka menggunakan 64 agen AI cerdas yang bekerja secara paralel sebagai tim penelitian khusus. Sistem ini dirancang ketat: mendorong eksplorasi berbagai jalur pemikiran (aljabar, induksi struktural, dll.), mencegah "kebocoran" informasi tentang pendekatan mana yang tampak paling menjanjikan sehingga menjaga keragaman eksplorasi, dan menyertakan mekanisme "tim koreksi" yang secara agresif mengkritik setiap bukti kandidat. Aturan ketat diterapkan, seperti melarang generalisasi yang samar dan mengharuskan detail yang konkret. Dalam proses satu jam tersebut, 64 agen AI tersebut secara kolektif menyusun strategi pembuktian yang elegan. Mereka pertama-tama mereduksi masalah ke kasus graf kubik, kemudian memanfaatkan teorema aliran (flow theorem) Tutte tentang keberadaan "8-flow" non-nol di setiap tepi. Langkah jeniusnya adalah dengan memperkenalkan lemma baru (Lemma 2.1) tentang pelabelan himpunan dua elemen pada setiap tepi. Inti pembuktian (Lemma 2.2) adalah dengan mentransformasi masalah topologi graf menjadi sistem persamaan aljabar linier besar di atas medan hingga, dan membuktikan bahwa sistem ini selalu memiliki solusi. Para ahli seperti Noam Brown dari OpenAI menyoroti bahwa perluasan TTC paralel inilah yang memampukan kompresi waktu pemecahan masalah dari potensial sehari menjadi hanya satu jam. Prestasi ini menunjukkan kemampuan luar biasa AI dalam penalaran logis abstrak tingkat tinggi dan pembangkitan dokumen akademis yang rigor. Meskipun ada pertanyaan tentang kesetaraan antara eksplorasi paralel luas dan rantai logis tunggal yang dalam, pencapaian ini membuka kemungkinan baru untuk percepatan penemuan ilmiah di berbagai bidang kompleks di masa depan.

marsbit07/15 08:02

GPT-5.6 Hanya 1 Jam Tembus 50 Tahun Teka-Teki Matematika, 64 AI Rebut Mahkota Teori Graf

marsbit07/15 08:02

Ethereum 10 Tahun ke Depan dalam Pandangan Vitalik

Pada Juli 2026, Vitalik Buterin mempublikasikan peta jalan jangka panjang "Lean Ethereum", yang diposisikan sebagai evolusi besar ketiga Ethereum setelah "The Merge". Rencana ini mencakup serangkaian peningkatan protokol yang akan diluncurkan bertahap dalam tiga hingga empat tahun ke depan, bertujuan untuk merekonstruksi hampir semua modul inti protokol. Peta jalan ini menetapkan lima tujuan strategis: finalitas L1 yang lebih cepat, throughput L1 mencapai 1 gigagas per detik, skalabilitas L2 level teragas, keamanan kriptografi kuantum, dan transaksi privat native di L1. Perubahan teknis inti meliputi peralihan dari verifikasi re-eksekusi ke model verifikasi berbasis bukti (proof) seperti STARK rekursif, peningkatan keamanan kuantum, pemisahan konsensus untuk finalitas lebih cepat, penetapan harga gas multidimensi, dan reformasi struktur state menjadi dua lapisan untuk biaya yang lebih rendah. Privasi juga ditingkatkan menjadi tujuan utama desain protokol. Sebuah proposal kontroversial adalah mengganti mesin virtual EVM dengan arsitektur yang lebih ramah-proof seperti RISC-V atau leanISA, yang dapat memengaruhi ekosistem L2 yang ada seperti Arbitrum. Mengenai dampak pada harga ETH, peta jalan berpotensi meningkatkan aktivitas dan pembakaran gas di L1 jika target peningkatan kapasitas terpenuhi. Namun, ini adalah proses jangka panjang, dan nilainya bergantung pada adopsi aktual, bukan hanya peningkatan kapasitas. Implementasi akan dipantau melalui indikator seperti peningkatan batas gas di upgrade Glamsterdam, pertumbuhan blob, pendapatan fee L1, dan kinerja ETH relatif terhadap BTC.

链捕手07/11 09:22

Ethereum 10 Tahun ke Depan dalam Pandangan Vitalik

链捕手07/11 09:22

Matematikawan AI Tsinghua Hadir, Meneruskan Ide Menjadi Teorema, Berpartisipasi Menyelesaikan Makalah Algoritma Kuantum 84 Halaman

Sistem AI Matematikawan dari Universitas Tsinghua, AIM (AI Mathematician), telah melampaui peran tradisionalnya dalam menyelesaikan soal-soal matematika. Kali ini, AIM terlibat secara mendalam dalam proses penelitian dari awal, membantu para peneliti dalam mengeksplorasi ide, mengorganisir teorema, dan merancang naskah bukti untuk sebuah makalah algoritma kuantum berjumlah 84 halaman. Penelitian yang berjudul "Sign Embedding Quantum Algorithms for Matrix Equations and Matrix Functions" ini dimulai dari sebuah intuisi awal peneliti manusia tentang pendekatan rasional (*rational approximation*). AI berperan dalam mengembangkan ide tersebut menjadi berbagai calon arah penelitian. Peneliti manusia kemudian memilih dan memfokuskan pada jalur "Sign-Embedding". Selanjutnya, AIM membantu mengorganisir jalur yang dipilih menjadi target teorema yang dapat diaudit dan materi derivasi. Alur kerja kolaboratif manusia-AI ini terdiri dari lima tahap kunci: (1) Ekspansi jalur yang divergen oleh AI, (2) Penyaringan berdasarkan nilai dan kelayakan oleh manusia, (3) Pembentukan teorema dan derivasi dengan bantuan AIM, (4) Audit dan perbaikan kompleksitas, serta (5) Verifikasi dan integrasi akhir oleh peneliti manusia. Hasil teknisnya adalah proposal "Sign Embedding Quantum Algorithms" untuk menyelesaikan persamaan matriks (seperti Sylvester, Lyapunov) dan fungsi matriks. Algoritma ini menawarkan kerangka kerja yang terpadu untuk berbagai masalah tersebut. Studi kasus ini menunjukkan pergeseran kemampuan AI matematika dari sekadar "menyelesaikan soal" menuju "membantu penelitian". Peran AI adalah meningkatkan efisiensi eksplorasi dan derivasi, sementara peneliti manusia tetap memegang kendali penuh atas penilaian nilai penelitian, kelayakan asumsi, dan audit akhir. Pendekatan kolaboratif ini membuka kemungkinan baru untuk memperluas cakrawala dan meningkatkan produktivitas dalam penelitian teoretis.

marsbit07/10 02:56

Matematikawan AI Tsinghua Hadir, Meneruskan Ide Menjadi Teorema, Berpartisipasi Menyelesaikan Makalah Algoritma Kuantum 84 Halaman

marsbit07/10 02:56

Di Era AI, Apa Lagi yang Tersisa dari Bitcoin?

**Era AI: Apa yang Tersisa dari Bitcoin?** Penulis merenungkan hubungan antara AI dan Bitcoin. AI telah membuat produksi konten—seperti teks, gambar, dan video—semakin murah dan mudah didapat. Namun, hal ini menyebabkan banjir informasi, di mana yang asli dan palsu semakin sulit dibedakan. Nilai "keterverifikasian" menjadi sangat berharga. Di sinilah peran Bitcoin dilihat kembali. Kritik bahwa Bitcoin "membuang-buang listrik" dipertimbangkan ulang. Jika AI menghabiskan energi untuk "kemampuan" (menghasilkan konten), Bitcoin menghabiskannya untuk "keterverifikasian." Jaringan Bitcoin, yang diamankan oleh bukti kerja (proof-of-work), membuat biaya untuk memanipulasi catatan transaksi menjadi sangat tinggi. Ini menciptakan sistem buku besar yang tidak bergantung pada kepercayaan terhadap pihak manapun, melainkan pada verifikasi kriptografis yang independen. Penulis menarik analogi dengan sejarah: mesin cetak Gutenberg (seperti AI) mengurangi biaya reproduksi pengetahuan, sementara pembukuan double-entry (seperti blockchain) mengurangi biaya kepercayaan dalam bisnis. Saat ini, AI mendorong biaya produksi konten mendekati nol, sementara blockchain berupaya mengurangi biaya verifikasi dalam dunia digital. Kesimpulannya, AI dan blockchain bukanlah pesaing. AI berfokus pada **penciptaan** (mengurangi biaya produksi), sementara blockchain seperti Bitcoin berfokus pada **pembuktian** (mengurangi biaya verifikasi). Di era di mana AI dapat menghasilkan segalanya, yang menjadi langka bukanlah lebih banyak konten, melainkan lebih banyak fakta yang dapat diverifikasi secara independen. Bitcoin, dalam pandangan ini, adalah "mesin penghasil keterverifikasian."

marsbit06/30 15:58

Di Era AI, Apa Lagi yang Tersisa dari Bitcoin?

marsbit06/30 15:58

活动图片