5 Posts

Proof Search Tree

The Proof Is in the Network: An NLP Transformer Based on GPT that Creates Math Proofs

OpenAI’s Generative Pre-Trained Transformer (GPT) architecture has created coherent essays, images, and code. Now it generates mathematical proofs as well.
Different chess moves

Chess: The Next Move

AI has humbled human chess masters. Now it’s helping them take the game to the next level. DeepMind and retired chess champion Vladimir Kramnik trained AlphaZero, a reinforcement learning model that bested human experts in chess, Go, and Shogi, to play-test changes in the rules.
Maze action video game Pac-Man

Two-Way Winner

AlphaGo Zero demonstrates superhuman performance playing Go, chess, and shogi. Models like R2D2 do the same playing classic Atari titles. A new approach to deep reinforcement learning is the first to achieve state-of-the-art results playing both board and video games.
AlphaGo playing Go with Lee Sedol

Is AI Making Mastery Obsolete?

Is there any reason to continue playing games that AI has mastered? Ask the former champions who have been toppled by machines.
GO match: AlphaGo vs. Lee Sedol

DeepMind Results Raise Questions

Alphabet subsidiary DeepMind lost $572 million in the past year, and its losses over the last three years amounted to more than $1 billion. AI contrarian Gary Marcus used the news as an opportunity to question the direction of AI as an industry.

Subscribe to The Batch

Stay updated with weekly AI News and Insights delivered to your inbox