Can AI Solve Science?
Stephen Wolfram
MARCH 5, 2024
In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be. But the computer let me discover just by systematic enumeration the 2-state, 3-color machine that in 2007 was proved universal (and, yes, it’s the simplest possible universal Turing machine).
115 
Let's personalize your content