Tag: self-play

DeepMind Says New Multi-Game AI Is a Step Toward More General Intelligence

AI November 20, 2023

AI has mastered some of the most complex games known to man, but models are generally tailored to solve specific kinds of challenges. A...

Latest pitch for AI: DeepMind-trained soccer robots

AI May 9, 2023

Why Everybody Loves the ChatGPT Chatbot

AI December 12, 2022

AI Takeover in Stratego – Meet DeepNash

AI December 6, 2022

DeepMind’s Latest AI Trounces Human Players at the Game ‘Stratego’

AIDecember 5, 2022

AI hates uncertainty. Yet to navigate our unpredictable world, it needs to learn to make choices with imperfect information—as we do every single day.DeepMind...

Digital Copy of Earth in a Supercomputer

AIDecember 1, 2022

Meta Platforms Inc, the parent company of Facebook, said it has created an AI that can outsmart humans in an online version of the...

Move Over Keats, Poetry Has a New King in AI

AIDecember 1, 2022

Meta Platforms Inc, the parent company of Facebook, said it has created an AI that can outsmart humans in an online version of the...

Crypto Seed Phrases Are Being Transformed Into AI-Generated Quiz Art

AINovember 30, 2022

Meta Platforms Inc, the parent company of Facebook, said it has created an AI that can outsmart humans in an online version of the...

All hail Cicero, the Conqueror – AI beats humans in Diplomacy

AINovember 28, 2022

Meta Platforms Inc, the parent company of Facebook, said it has created an AI that can outsmart humans in an online version of the...

Meta’s Cicero chatbot can probably beat you at Diplomacy

AINovember 22, 2022

Meta researchers have developed an artificial intelligence system called Cicero that can play the classic strategy game Diplomacy at a level comparable to most...

Solving (Some) Formal Math Olympiad Problems

AIFebruary 2, 2022

We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AMC12 and AIME competitions, as well as two problems adapted from the IMO.^[1] The prover uses a language model to find proofs of formal statements. Each