PSI dùng AI giải bài toán quantum computing và hướng tới thương mại hóa khoa học

Tóm tắt nhanh

• Startup lab Physical Superintelligence (PSI) dùng early access tới Anthropic’s Fable 5.2 để giải một bài toán 18 năm tuổi về quantum computing, cụ thể là Aaronson-Ambainis conjecture. Đây được xem là một trong những open problems quan trọng cuối cùng trong quantum query complexity.
• David Turturean, cựu sinh viên MIT và thành viên technical staff của PSI, nói ông có thể sẽ không còn công bố bài báo nào nữa. Ông đã hoãn kế hoạch học master tại MIT để gia nhập startup này.
• Scott Aaronson, một trong hai nhà nghiên cứu nêu ra conjecture, cho biết ông không hoàn toàn hiểu proof nhưng tin nó đúng vì đã được autoformalized trong Lean và được một nhóm nghiên cứu hàng đầu giải thích. Ông nói kết quả này khá bất ngờ.
• Theo TechCrunch, lời giải dường như đóng lại một hướng để quantum computers tăng tốc giải một số bài toán khó, nhưng không phải tất cả. Turturean gọi đây là một “negative result” giúp cộng đồng biết không còn cần tiếp tục tìm theo hướng đó.
• Kết quả này phản ánh sự xáo trộn mà AI gây ra trong khoa học, đặc biệt ở những lĩnh vực có thể biểu diễn bằng code được kiểm chứng như toán học và computer science. Aaronson mô tả phản ứng của mình là vừa hài lòng, vừa sửng sốt, thất vọng và mệt mỏi.
• PSI đang xây dựng mô hình giải quyết bài toán khoa học bằng specialized model harnesses và scaffolding, theo CEO Matt Pines. Ông nói hệ thống nghiên cứu hiệu quả cần nhiều công cụ, memory systems và simulation infrastructure để xử lý vấn đề ở cả breadth lẫn depth.
• Hiện doanh thu của công ty đến từ việc tối ưu data centers bằng cách mô phỏng các biến số như heat, power, water và sound. PSI cho biết họ muốn chuyển các đột phá theoretical physics thành công nghệ thực tế trong dài hạn.
• Pines nói rằng 6 đến 9 tháng trước ông còn phải “stretch” để thuyết phục nhà đầu tư rằng theoretical physics sắp trở thành lĩnh vực chủ yếu của máy móc. Ông thừa nhận điều đó “chưa ở đó”, nhưng đang tiến tới.
• Dù vậy, Pines cho rằng physics khó hơn math vì “nature gets a vote” trong các mô hình về thực tại, nên AI còn khó hơn khi áp dụng vào life sciences hoặc physics. PSI đang tập trung vào cách xác thực kết quả tính toán bằng thí nghiệm nhanh và hiệu quả nhất.

Tóm tắt tự động bằng AI từ bài gốc, có thể có sai sót. Hãy kiểm chứng ở bài gốc.