Physical Superintelligence (PSI), sebuah startup laboratorium AI-fisika, mengumumkan pada 6 November 2026 bahwa sistem riset internalnya berhasil membuktikan konjektur Aaronson-Ambainis — persoalan terbuka dalam komputasi kuantum sejak 2008. 🔗 PSI
Sistem itu menjalankan model Anthropic yang belum dirilis ke publik. Bukti lengkap ditemukan pada hari ketiga percobaan, lalu diperbaiki sendiri dua kali sebelum versi finalnya diterima oleh asisten bukti Lean.
Apa itu konjektur Aaronson-Ambainis?
Konjektur ini dikemukakan Scott Aaronson dan Andris Ambainis pada 2008. Intinya: keunggulan eksponensial komputer kuantum atas komputer klasik hanya mungkin bila masalah yang dihitung punya struktur atau pola khusus. 🔗 PSI
Selama 18 tahun konjektur ini bertahan terhadap upaya pembuktian konvensional. Ia menjadi batu uji bagi pemahaman tentang batas kekuatan komputasi kuantum.
Contoh klasik keunggulan yang bergantung pada struktur adalah algoritma Shor tahun 1994 untuk memfaktorkan bilangan besar. Algoritma itu bekerja karena masalahnya menyembunyikan pola berulang yang bisa dideteksi komputer kuantum. 🔗 Unite.AI
Bagaimana AI menemukan buktinya?
PSI mengembangkan sistem riset otomatis yang memadukan model bahasa besar Anthropic dengan Lean 4, asisten bukti formal yang memeriksa setiap langkah secara matematis. Sistem ini tidak sekadar menebak bukti, melainkan menelusuri ruang pembuktian secara sistematis: mengusulkan lemma, menguji strategi, dan memperbaiki kesalahan lewat umpan balik Lean. 🔗 PSI
Bukti itu mengikuti rencana Shachar Lovett dan Jiapeng Zhang, yang sebelumnya menyisakan satu ketaksamaan sebagai konjektur. Sistem PSI menggantinya dengan ketaksamaan baru yang dibuktikan lewat pemasangan berpasangan dan determinan. 🔗 PSI
Manuskrip dan formalisasi Lean-nya dipublikasikan agar bisa diperiksa siapa pun. David Turturean dari PSI memimpin pekerjaan ini, sementara penasihat Jim Halverson mengaudit buktinya dan Phiala Shanahan mengomentari formalisasi Lean. 🔗 PSI
Apa kata peneliti Stanford?
Pada Agustus 2026, peneliti Stanford — Guy Blanc, Jordan Docter, Carmen Strassle, dan Li-Yang Tan — telah membuktikan prediksi konjektur itu untuk kasus khusus. Mereka kini membaca bukti lengkap PSI dan menulis penjelasan yang lebih ringkas untuk para ahli. 🔗 PSI
Dalam surat kepada PSI, mereka menyebutnya "hasil yang sangat besar" yang "menyelesaikan konjektur berusia puluhan tahun dengan implikasi penting bagi sifat masalah yang memungkinkan percepatan kuantum", dan menilai bukti itu "menggabungkan segala hal dengan cara yang cukup magis". 🔗 PSI
Apa artinya bagi komputasi kuantum?
Hasil ini menegaskan bahwa pada pertanyaan ya-atau-tidak atas masukan acak, komputer klasik bisa memperkirakan jawaban komputer kuantum tanpa perlu membaca masukan jauh lebih banyak. Keunggulan eksponensial kuantum, dalam kerangka ini, membutuhkan struktur khusus. 🔗 The Quantum Insider
Namun ada batasnya: teorema ini membatasi jumlah pembacaan masukan (query), bukan total waktu komputasi. Ia tidak menutup kemungkinan keunggulan kuantum untuk masalah berstruktur, dan tidak menjawab kapan mesin kuantum masa kini menjadi berguna secara praktis. 🔗 The Quantum Insider
Yang juga penting: bukti ini belum melalui tinjauan sebaya (peer review) di jurnal. Yang sudah terverifikasi mesin adalah formalisasi Lean-nya, sementara para ahli masih harus memastikan pernyataan formal itu benar-benar sama dengan konjektur asli Aaronson dan Ambainis. 🔗 Unite.AI
Bukan kasus pertama AI memecahkan masalah matematika
Pada 8 September 2026, OpenAI mengklaim sistem agen AI-nya membuktikan varian persoalan Navier-Stokes — salah satu Millennium Prize Problem — untuk kasus dengan gaya luar (alternatif C dan D dalam rumusan resmi Clay). Bukti itu juga diperiksa lewat Lean. 🔗 Plus Magazine
Klaim itu masih diperdebatkan: sejumlah matematikawan menilai rumusan yang dibuktikan lebih sempit dari masalah aslinya, dan Clay Mathematics Institute belum menerimanya secara resmi. Dua kasus ini bersama-sama menunjukkan pergeseran peran AI: dari alat analisis data menjadi peserta aktif dalam penemuan teori fundamental. 🔗 Plus Magazine
Fakta kunci
- PSI mengumumkan bukti konjektur Aaronson-Ambainis pada 6 November 2026, memakai model Anthropic yang belum dirilis. 🔗 PSI
- Bukti lengkap ditemukan pada hari ketiga; Lean menerima versi final setelah sistem memperbaiki hasilnya dua kali. 🔗 PSI
- Konjektur dari 2008: keunggulan eksponensial kuantum memerlukan struktur khusus pada masalah yang dihitung. 🔗 PSI
- Belum ada peer review; audit dilakukan penasihat PSI Jim Halverson, dan manuskrip serta formalisasi Lean dipublikasikan. 🔗 PSI
- Teorema membatasi jumlah pembacaan masukan, bukan total waktu komputasi — keunggulan kuantum untuk masalah berstruktur tetap terbuka. 🔗 The Quantum Insider
- OpenAI sebelumnya mengklaim varian Navier-Stokes pada 8 September 2026; klaim itu masih diperdebatkan dan belum diterima Clay. 🔗 Plus Magazine
Sumber
- PSI, "A proof of the Aaronson-Ambainis conjecture", 6 November 2026 — https://psi.inc/research/aaronson-ambainis/
- Unite.AI, "PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture", 6 November 2026 — https://www.unite.ai/psi-reports-machine-checked-proof-of-aaronson-ambainis-conjecture/
- The Quantum Insider, "AI-Assisted Proof Settles Longstanding Question About Quantum Speedups", 6 November 2026 — https://thequantuminsider.com/2026/11/06/ai-assisted-proof-settles-longstanding-question-about-quantum-speedups/
- OfficeChai, "US Startup Physical Superintelligence Proves Aaronson-Ambainis Conjecture", 6 November 2026 — https://officechai.com/ai/us-startup-physical-superintelligence-proves-aaronson-ambainis-conjecture-a-key-open-problem-in-quantum-computing/
- Plus Magazine, "A millennium problem solved by AI?", 2026 — https://plus.maths.org/navier-stokes-millennium-problem-solved-ai
Tidak ada komentar:
Posting Komentar