我们的 AlphaProof 论文在本周的 @Nature 期刊中发表！ 在 2024 年，@GoogleDeepMind 的证明代理 AlphaProof 和 AlphaGeometry 一起在人工智能领域取得了重大突破，达到了解决 IMO 问题的银牌标准。 这篇 Nature 论文描述了实现 AlphaProof 所需的技术创新——特别是连接自然语言与符号严谨性的 RL 循环——使 AlphaProof 成为可能。