logseq/pages/Omnivore___22-08-2024___Edge 424- How DeepMind's AlphaProof and AlphaGeometry-2 Achieved Silver Medal...___.md

full-title:: Edge 424: How DeepMind's AlphaProof and AlphaGeometry-2 Achieved Silver Medal Status in the International Math Oly… site:: thesequence.substack.com author:: davide.diruscio@gmail.com labels:: Newsletter date-saved:: 22-08-2024 source:: Omnivore state:: saved