Terobosan besar lain dalam riset AI: Physical Superintelligence mengatakan sistem risetnya menggunakan model Anthropic yang tidak dipublikasikan untuk membuktikan konjektur Aaronson-Ambainis, masalah utama dalam komputasi kuantum yang belum terpecahkan sejak 2008.

Physical Superintelligence mengatakan sistem riset AI-nya membuktikan konjektur Aaronson-Ambainis, masalah utama dalam komputasi kuantum yang belum terpecahkan sejak 2008, dengan menggunakan model Anthropic yang tidak dipublikasikan. Sistem itu dilaporkan menemukan bukti lengkap pada hari ketiga kerjanya, dan versi finalnya diperiksa dengan asisten pembuktian Lean. Jika bukti itu terbukti benar, ini akan menjadi contoh mencolok AI menyelesaikan masalah terbuka yang sudah lama ada dan memperjelas kapan komputer kuantum dapat mencapai keunggulan eksponensial atas komputer klasik.

• Kim2026-11-06 16:01