PSI Klaim Sistem AI Pecahkan Teka-Teki Kuantum 18 Tahun dalam Tiga Hari
Perusahaan riset PSI mengklaim telah membuktikan konjektur Aaronson-Ambainis memakai model AI non-publik, guna memperjelas batas keunggulan komputasi kuantum.
Foto: Interesting Engineering (Dokumentasi editorial)
Poin penting
- PSI mengklaim sistem AI miliknya memecahkan konjektur Aaronson-Ambainis yang buntu selama 18 tahun.
- Bukti matematika diverifikasi perangkat lunak Lean dan tengah ditelaah oleh tim peneliti Stanford University.
- Temuan ini memetakan batasan realistis kecepatan komputer kuantum atas infrastruktur komputasi klasik.
Perusahaan riset fisika asal Amerika Serikat, PSI, mengklaim sistem penelitian buatannya berhasil membuktikan konjektur Aaronson-Ambainis hanya dalam tiga hari. Masalah matematika mengenai batas kemampuan komputasi kuantum tersebut telah membingungkan kalangan fisikawan selama 18 tahun sejak pertama kali diajukan pada 2008.
Sistem yang dikembangkan PSI menggunakan model AI non-publik buatan Anthropic yang dijalankan di atas infrastruktur internal perusahaan. Sebagaimana dilaporkan oleh media Interesting Engineering, hasil pembuktian tersebut telah lolos verifikasi Lean, yaitu perangkat lunak pemeriksa logika untuk memastikan keabsahan argumen matematika formal.
Menguji Batas Keunggulan Komputasi Kuantum
Konjektur Aaronson-Ambainis meneliti seberapa besar sumber daya yang dibutuhkan komputer klasik untuk meniru algoritma kuantum tertentu. Jika hipotesis ini terbukti benar, komputer konvensional dapat mensimulasikan sebagian besar algoritma kuantum pada input acak hanya dengan pertambahan beban kalkulasi polinomial, bukan eksponensial yang memberatkan.
Artinya, tidak semua pemrosesan kuantum otomatis berjalan jauh lebih cepat dibanding komputer biasa. Kendati demikian, hasil ini tidak menghapus keunggulan kuantum pada kasus spesifik, seperti algoritma Shor untuk membongkar enkripsi bilangan besar yang tetap berada di luar jangkauan simulasi klasik.
David Turturean memimpin riset ini di PSI dengan merancang sistem dan menjalankan proses penalaran AI. Meski Lean telah menyetujui struktur logikanya, bukti matematis tersebut masih menanti penelaahan sejawat independen yang lebih luas.
Peneliti Stanford University yang sebelumnya membuktikan kasus khusus pada Agustus 2026 kini sedang menyusun penjelasan ringkas dari bukti penuh PSI untuk evaluasi para pakar matematika dunia.
Apa Artinya bagi Pelaku Usaha
Kabar ini memberi sinyal penting bagi para direktur teknologi dan pengambil keputusan investasi TI. Pelaku usaha diimbau untuk tidak terburu-buru mengalokasikan anggaran riset komputasi kuantum tanpa memetakan apakah beban kerja operasional perusahaan benar-benar membutuhkan lompatan kuantum atau masih dapat ditangani secara optimal oleh server komputer klasik.
Selain itu, keberhasilan ini memperlihatkan bagaimana model penalaran AI modern dapat mempercepat penyelesaian kalkulasi rumit dari belasan tahun menjadi hitungan hari. Perusahaan di Indonesia dapat mulai mengevaluasi penggunaan alat otomasi penalaran dan asisten cerdas untuk mengurai masalah analitik kompleks, mulai dari optimasi logistik rantai pasok hingga pemodelan risiko portofolio bisnis.
- Interesting Engineering: Major quantum computing conjecture solved in three days after 18 years of uncertainty
Lihat hasil pemeriksaan (10 klaim)
| Klaim | Putusan | Dasar di sumber |
|---|---|---|
| PSI mengklaim sistem penelitian buatannya berhasil membuktikan konjektur Aaronson-Ambainis dalam tiga hari. | Didukung | “A US firm claims its research system proved the 18-year-old Aaronson-Ambainis conjecture in three days.” Interesting Engineering melaporkan klaim PSI mengenai pembuktian konjektur tersebut dalam kurun waktu tiga hari. |
| Konjektur Aaronson-Ambainis pertama kali diajukan pada tahun 2008 dan meneliti batas keunggulan kecepatan eksponensial komputer kuantum. | Didukung | “The problem, first proposed in 2008, concerns the conditions under which quantum computers can achieve an exponential speed advantage over conventional computers.” Interesting Engineering mencatat bahwa persoalan matematika ini diajukan pertama kali pada 2008 terkait keunggulan kecepatan eksponensial. |
| Sistem PSI memakai model AI non-publik buatan Anthropic yang dijalankan pada infrastruktur milik PSI. | Didukung | “PSI said its research system used a non-public model from Anthropic, running on the company’s own infrastructure.” Interesting Engineering mengutip pernyataan PSI mengenai penggunaan model non-publik dari Anthropic pada infrastruktur internal. |
| Hasil pembuktian diterima oleh Lean, perangkat lunak pemeriksa argumen matematika formal. | Didukung | “The system produced a mathematical proof that was accepted by Lean, a proof-assistant software used to check the logical correctness of formal mathematical arguments.” Interesting Engineering menyatakan bukti matematika tersebut diterima oleh perangkat lunak Lean. |
| Konjektur Aaronson-Ambainis mengkaji kebutuhan informasi komputer klasik dalam meniru algoritma kuantum tertentu. | Didukung | “The Aaronson-Ambainis conjecture addresses how much information a classical computer needs to simulate certain quantum algorithms.” Interesting Engineering menjelaskan fokus kajian dari konjektur Aaronson-Ambainis. |
| Jika konjektur terbukti, komputer klasik dapat mensimulasikan kelas luas algoritma kuantum pada input acak dengan overhead polinomial. | Didukung | “If the conjecture holds, classical computers could simulate a broad class of quantum algorithms on randomly selected inputs with only polynomial overhead.” Interesting Engineering menguraikan implikasi bila konjektur tersebut benar. |
| Hasil ini tidak menggugurkan keunggulan algoritma spesifik seperti algoritma Shor untuk memfaktorkan bilangan besar. | Didukung | “Algorithms designed for particular problems, including Shor’s algorithm for factoring large numbers, are not ruled out by the conjecture.” Interesting Engineering menegaskan bahwa algoritma Shor tidak gugur oleh konjektur ini. |
| David Turturean memimpin riset di PSI dengan mengembangkan sistem, merumuskan masalah, dan menjalankan prosesnya. | Didukung | “PSI said David Turturean led the work, developing the research system, defining the problem and running the process.” Interesting Engineering mengutip rincian peran David Turturean dalam penelitian PSI. |
| Hasil penelitian ini belum melalui tinjauan akademis independen secara penuh. | Didukung | “However, the result has not yet undergone full independent academic review.” Interesting Engineering mencatat bahwa hasil tersebut belum menjalani penelaahan sejawat independen yang menyeluruh. |
| Kelompok peneliti Stanford University pernah membuktikan kasus khusus konjektur pada Agustus 2026 dan tengah menyiapkan eksposisi ringkas atas bukti penuh PSI. | Didukung | “The group previously proved a special case of the conjecture in August 2026 and is preparing a shorter exposition of PSI’s full proof for other experts.” Interesting Engineering melaporkan keterlibatan peneliti Stanford University serta riset mereka sebelumnya pada Agustus 2026. |
Video AI terbaru
How Siemens Accelerates Production Planning and Quality Control With NVIDIA AI
