Tatildeki AI Deneyi Kuantum Mekaniğinde Gerçek Bir Keşfe Dönüştü
Bir güvenlik mühendisi, tatilde Claude AI ile 2008'den kalma açık bir kuantum mekaniği problemini kesin aritmetikle çözdü.
Bir tıbbi görüntüleme şirketinde güvenlik ve altyapı mühendisi olan Jamie Orlando, aile tatilinde Claude'u fizik ve matematiğin en zorlu köşelerine yöneltme deneyine girişti. Nima Arkani-Hamed'in amplituhedron programını takip ederken karşılaştığı 'genelleştirilmiş Pauli kısıtları' konusu, 2008'de Altunbulak ve Klyachko tarafından tanımlanan ama iki köşesi yalnızca sayısal olarak doğrulanmış kalan bir kuantum durum politopuna işaret ediyordu.
Bir haftalık öneri-çalıştırma-doğrulama-denetim döngüsüyle, her iddia kesin (rasyonel, kayan noktasız) aritmetikle yeniden türetilerek, iki köşe için de açık kapalı-form çözümler elde edildi. İlk köşe, tamsayı ağırlıklı yedi determinanttan oluşan şaşırtıcı derecede temiz bir kombinatoryal yapıya indirgendi; ikinci köşe ise ancak karmaşık genlikler kabul edilince çözüldü ve bu sınıf için gerçek-genlikli bir durumun var olamayacağı ispatlandı.
Çalışma, üretken yapay zekanın gerçek araştırma seviyesinde matematiksel araçlara erişim sağlayabildiğini, ancak sürecin güvenilirliğinin modelin doğruluğuna değil, her adımda üçüncü tarafça denetlenebilir kanıtlar (elle doğrulanabilir durumlar, yeniden çalıştırılabilir olurluk sertifikaları, makine denetlenebilir tam sayımlar) talep eden titiz bir insan denetimine dayandığını gösteriyor. Mühendisler için ders açık: modelin hatalarını yakalayan doğrulama disiplini, modelin kendisinden daha değerli.