AlphaProof-artikkelimme on tämän viikon @Nature! -lehden numerossa. Vuonna 2024 @GoogleDeepMind:n todistusagentit AlphaProof ja AlphaGeometry tekivät yhdessä merkittävän harppauksen tekoälyssä saavuttamalla hopeamitalitason IMO-ongelmien ratkaisemisessa. Nature-artikkeli kuvaa vaadittuja teknisiä innovaatioita – erityisesti RL-silmukkaa, joka yhdistää luonnollisen kielen ja symbolisen tarkkuuden – jotka mahdollistivat AlphaProofin.