X @Demis Hassabis
Demis Hassabisยท2025-11-12 23:14
RT Pushmeet Kohli (@pushmeet)Last year, AlphaProof & AlphaGeometry reached a key landmark in AI by achieving silver medal level performance at the International Math Olympiad.Today, @Nature is publishing the methodology behind our amazing agent AlphaProof! @GoogleDeepMindPaper: https://t.co/eUGKeVrH3O ...