GPT-6 Astra上线第一天就在FME数学基准中解出5道Erdős难题，Claude则用数十个智能体协作完成费马大定理的形式化证明。两条消息放在一起看，意义并不只是“哪个模型更强”：AI正在从展示流畅答...