Robotics

Big Think Home

Robotics

Everything Articles
Book cover of "The Shortest History of AI" by Toby Walsh on a light background, next to bold text reading "an excerpt from" on an orange background.
Books
Logic Theorist: The program that rewrote the foundations of mathematics
In this excerpt from "The Shortest History of AI," Toby Walsh explores the history of the Logic Theorist, the first AI to prove mathematical theorems.
Toby Walsh
Two hands, one light and one dark, each holding a contrastingly colored molecular structure against a gradient background.
The Past
“Mirror life” and the recurring nightmare of scientific apocalypse
The fear of unleashing forces beyond control has haunted science for centuries.
Thomas Moynihan
Learn from the world's biggest thinkers.
© Copyright 2007-2026 & BIG THINK, BIG THINK PLUS, SMARTER FASTER trademarks owned by Freethink Media, Inc. All rights reserved.