Lucrarea noastră AlphaProof apare în ediția săptămânii @Nature! În 2024, agenții de demonstrație ai @GoogleDeepMind, AlphaProof & AlphaGeometry, au făcut împreună un salt substanțial în AI, atingând standardul de medalie de argint în rezolvarea problemelor IMO. Articolul din Nature descrie inovațiile tehnice necesare — în special bucla RL care leagă limbajul natural și rigoarea simbolică — care au făcut posibil AlphaProof.