arXiv:2502.03544v1 Announce Type: 新 摘要: 我们介绍了AlphaGeometry2，这是Trinh等人（2024年）引入的AlphaGeometry的显著改进版本，现在已经超过了平均金牌得主在解答奥林匹克几何问题的能力。为了实现这一点，我们首先扩展了原始的AlphaGeometry语言，以解决涉及物体移动和包含角度、比例和距离线性方程的更难的问题。这，以及其他方面的改进，使得AlphaGeometry语言在2000年至2024年国际数学奥林匹克（IMO）几何问题上的覆盖率从66%提高到88%。AlphaGeometry2的搜索过程也通过使用Gemini架构进行改进，以更好地进行语言建模，并结合多种搜索树的新型知识共享机制。此外，符号引擎和合成数据生成的进一步增强显著提高了AlphaGeometry2在过去的25年中所有几何问题上的整体解题率，达到了84%，而以前的解题率为54%。AlphaGeometry2还参与了在IMO 2024中达到银牌标准的系统 https://dpmd.ai/imo-silver。最后但同样重要的是，我们报告了将AlphaGeometry2作为完全自动化系统的一部分，直接从自然语言输入中可靠地解决几何问题的进展。