AlphaGo at 10: How AI Innovation Is Paving the Path to AGI
… Since AlphaGo’s win, we’ve applied its groundbreaking approach to many other areas of science and mathematics, including: Mathematical reasoning: The most direct descendant of AlphaGo’s architecture, AlphaProof learned to prove formal mathematical statements using a combination of language models a… …