AI ใช้ 3 วันพิสูจน์โจทย์ควอนตัมค้าง 18 ปี ทำไมคำตอบว่าเมื่อไรเร็วกว่าถึงสำคัญ
AI พิสูจน์ข้อคาดการณ์ Aaronson-Ambainis ที่ค้างมา 18 ปีด้วย Lean ใน 3 วัน บทความนี้อธิบายว่าโจทย์นี้บอกอะไรเกี่ยวกับขอบเขตความเร็วของคอมพิวเตอร์ควอนตัม และทำไมสำคัญกว่าจำนวนคิวบิต
