Computer scientists believed that mastering the ancient game of Go required human intuition that machines would not achieve for decades; DeepMind’s AlphaGo paired deep neural networks with Monte Carlo tree search to defeat the world champion. Published in 2016, AlphaGo proved that deep reinforcement learning could exhibit genuine creative intuition, sparking the modern Artificial General Intelligence revolution.
In artificial intelligence history, the ancient board game of Go was considered the ultimate grand challenge. With more board configurations than there are atoms in the observable universe, traditional brute-force chess supercomputers like Deep Blue were utterly useless against human masters who relied on aesthetic intuition.
Google DeepMind designed an AI that learned through millions of games of self-play. By pairing an intuition network that spots beautiful moves with an evaluation network that calculates long-term win probabilities, AlphaGo played with a mysterious, creative elegance—delivering historic moves that overturned three thousand years of human Go strategy.
AlphaGo demonstrated that machines could discover new knowledge beyond human teaching. By laying the algorithmic foundations for AlphaFold to solve the 50-year protein folding challenge, by optimizing global energy grid cooling, and by accelerating modern reasoning AI, deep reinforcement learning opened the path toward Artificial General Intelligence.
Mastering the game of Go with deep neural networks and tree search
The game of Go has long been viewed as the most challenging of classic games for artificial intelligence owing to its enormous search space and the difficulty of evaluating board positions and moves. Here we introduce a new approach to computer Go that uses 'value networks' to evaluate board positions and 'policy networks' to select moves. These deep neural networks are trained by a novel combination of supervised learning from human expert games, and reinforcement learning from games of self-play. Without any lookahead search, the neural networks play Go at the level of state-of-the-art Monte Carlo tree search programs that simulate thousands of random games of self-play. We also introduce a new search algorithm that combines Monte Carlo simulation with value and policy networks. Using this search algorithm, our program AlphaGo achieved a 99.8% winning rate against other Go programs, and defeated the human European Go champion by 5 games to 0. This is the first time that a computer program has defeated a human professional player in the full-sized game of Go, a feat previously thought to be at least a decade away.
Kurt Gödel's 1958 Dialectica interpretation translated intuitionistic logic into computable functional types; extending Dialectica categories over arbitrary Heyting algebras creates rich mathematical structures for categorical proof theory.
The standard iterative conception of sets treats sets as timeless metaphysical collections formed at successive stages; the coding conception of set reinterprets sets as finite computational codes, illuminating constructive mathematics.
Telecommunication engineers believed that static noise permanently corrupted electrical signals; Claude Shannon proved that information can be transmitted with zero errors across noisy channels by converting meaning into binary bits. Published in 1948, Shannon’s masterwork founded information theory and created the digital language of the modern world.
Physical sensors in rockets and satellites are constantly corrupted by noise, vibration, and sensor drift; Rudolf Kalman developed an optimal mathematical filter that predicts true position by fusing imperfect sensor readings with equations of motion in real time. Published in 1960, the Kalman Filter guided the Apollo spacecraft to the Moon and is the mathematical brain powering every GPS receiver, autonomous drone, and commercial jetliner on Earth.
For thousands of years, secret communication required sending a physical key via a trusted courier before a message could be sent; Whitfield Diffie and Martin Hellman proved that two total strangers can agree on a shared secret over a compromised public channel. Published in 1976, this mathematical breakthrough invented public-key cryptography and made secure global e-commerce possible.
Multiplying two massive prime numbers takes a fraction of a second on a computer; factoring that product back into its original primes takes millions of years. By anchoring asymmetric encryption to the asymmetry of prime numbers, Ron Rivest, Adi Shamir, and Leonard Adleman created RSA—the cryptographic algorithm that encrypts every browser connection, banking transfer, and software update on Earth.
Albert Einstein spent his final decades insisting that quantum entanglement was an incomplete illusion masking hidden common-sense variables; John Stewart Bell devised a single mathematical inequality that allowed laboratory experiments to test whether Einstein or quantum mechanics was right. Published in an obscure, short-lived journal in 1964, Bell’s Theorem proved that the physical universe is fundamentally non-local—founding modern quantum computing, quantum cryptography, and quantum teleportation.
Physical clocks drift out of sync across distributed computer networks because electrical signals cannot travel faster than the speed of light; Leslie Lamport defined time through cause-and-effect causality rather than ticking seconds. Published in 1978, Lamport’s logical clock paper is the most cited work in distributed systems, establishing the foundational physics of cloud computing.
Ask this paper your own questions, or keep browsing the verified research catalogue.
