Il nostro documento AlphaProof è nell'uscita di questa settimana di @Nature! Nel 2024, gli agenti di prova di @GoogleDeepMind AlphaProof e AlphaGeometry hanno compiuto un notevole passo avanti nell'IA raggiungendo lo standard della medaglia d'argento nella risoluzione dei problemi IMO. Il documento di Nature descrive le innovazioni tecniche necessarie—in particolare, il ciclo RL che collega il linguaggio naturale e la rigorosità simbolica—che hanno reso possibile AlphaProof.