Notre article AlphaProof est dans le numéro de cette semaine de @Nature ! En 2024, les agents de preuve d'@GoogleDeepMind, AlphaProof et AlphaGeometry, ont réalisé un bond substantiel dans l'IA en atteignant le niveau de médaille d'argent dans la résolution des problèmes de l'IMO. L'article de Nature décrit les innovations techniques nécessaires—en particulier, la boucle RL reliant le langage naturel et la rigueur symbolique—qui ont rendu AlphaProof possible.