AI辅助量子理论证明？量子计算科学家：让我来看看谁还在质疑AI

本文背景介绍了人工智能在逻辑推理领域的快速发展，特别是数学家陶哲轩和理论计算机科学家Scott Aaronson对AI应用的态度转变。研究目的聚焦于Scott使用GPT-5-Thinking模型辅助完成量子复杂性理论中关于QMA（Quantum Merlin-Arthur）类问题的证明，具体涉及黑盒放大技术增强QMA的极限分析。结论指出AI虽不能独立完成复杂研究，但已成为有效的科研助手，其进步速度令人震惊，同时强调研究者需具备领域知识以辨别AI输出的真伪。