Ons AlphaProof-papier staat in deze weekeditie van @Nature! In 2024 hebben de bewijsagenten AlphaProof en AlphaGeometry van @GoogleDeepMind samen een aanzienlijke sprong in AI gemaakt door de zilveren medaille standaard te behalen in het oplossen van IMO-problemen. Het Nature-papier beschrijft de technische innovaties die nodig waren—met name de RL-lus die natuurlijke taal en symbolische nauwkeurigheid verbindt—die AlphaProof mogelijk maakten.