摘要
本文介绍了
AI 推荐理由
论文核心聚焦数学推理与定理证明，在硬核基准测试中取得 SOTA，属推理领域核心研究。
研究机构
Google DeepMind
论文信息
本文介绍了
论文核心聚焦数学推理与定理证明，在硬核基准测试中取得 SOTA，属推理领域核心研究。