AlphaProof论文登Nature，AI达IMO银牌标准

我们的AlphaProof论文出现在本周的@Nature期刊上！2024年，@GoogleDeepMind的证明智能体AlphaProof与AlphaGeometry共同在解决IMO问题上实现了重大AI突破，达到银牌标准。该论文描述了所需的技术创新——特别是连接自然语言和符号严谨性的RL循环——使AlphaProof成为可能。