AI数学推理

同一周内 OpenAI GPT-5.5 Pro Anthropic Claude Mythos DeepMind AlphaProof Nexus 三家各自攻克 Erdős 单位距离猜想 PoE 分布式推理 Lean 形式验证 深度对比分析