Наша стаття про AlphaProof опублікована в цьому тижні у випуску @Nature! У 2024 році агенти @GoogleDeepMind AlphaProof і AlphaGeometry разом зробили значний прорив у сфері штучного інтелекту, здобувши срібний медаль у вирішенні задач IMO. У статті Nature описані технічні інновації, необхідні — зокрема, RL-цикл, що поєднує природну мову та символічну строгість — які зробили можливим AlphaProof.