Nasz artykuł AlphaProof znajduje się w tym tygodniu w wydaniu @Nature! W 2024 roku, agenci dowodowi AlphaProof i AlphaGeometry z @GoogleDeepMind dokonali znacznego postępu w AI, osiągając standard srebrnego medalu w rozwiązywaniu problemów IMO. Artykuł w Nature opisuje innowacje techniczne, które były wymagane—w szczególności pętla RL łącząca język naturalny i rygor symboliczny—które umożliwiły powstanie AlphaProof.