Vår AlphaProof-artikel finns i veckans nummer av @Nature! År 2024 gjorde @GoogleDeepMind bevisagenter AlphaProof och AlphaGeometry tillsammans ett betydande kliv inom AI genom att uppnå silvermedaljstandarden i att lösa IMO-problem. Nature-artikeln beskriver de tekniska innovationer som krävdes – särskilt RL-loopen som överbryggar naturligt språk och symbolisk stringens – som gjorde AlphaProof möjligt.