Step Aside Mathematicians, AlphaProof is Coming
At the headquarters of Google DeepMind, the artificial intelligence lab in London, researchers have a long-standing ritual for announcing major results: They ring a large ceremonial gong. In 2016, the gong rang for AlphaGo, an artificial intelligence system that excelled at the game of Go. In 2017, the gong rang out when AlphaZero conquered chess.… Read More »