私たちのAlphaProof論文は今週の@Nature!誌に掲載されました 2024年には、@GoogleDeepMindの証明エージェントであるAlphaProofとAlphaGeometryが共に、IMOの問題解決において銀メダル級の達成という大きな飛躍を遂げました。 Natureの論文では、AlphaProofを可能にした技術革新、特に自然言語と記号的厳密さを橋渡しする強化学習ループ(RL)について説明しています。