AI物理公司PSI使用非公开Anthropic模型证明Aaronson-Ambainis猜想。该事件引发对AI科研能力的讨论。涉及PSI、Anthropic及研究社区。