内部模型以万级Agent生成奇点证明及Lean验证，但尚待数学界独立复核。
推荐理由：若形式化代码与解析证明经独立审查成立，万级Agent在88小时内完成顶级数学攻关，将首次证明扩展推理算力可直接转化为原创理论成果。
阅读原文