Náš článek o AlphaProof je v tomto týdnu v čísle @Nature! V roce 2024 dosáhli agenti @GoogleDeepMind AlphaProof a AlphaGeometry společně výrazný pokrok v oblasti AI tím, že dosáhli stříbrného medailového standardu v řešení problémů IMO. Článek v Nature popisuje technické inovace potřebné – zejména RL smyčku propojující přirozený jazyk a symbolickou přesnost – které umožnily AlphaProof.