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 when it comes to mathematical research, and the frontiers of mathematics, one doesn’t immediately expect any such constraint. The simplest known up to that time involved 9 binary ( Nand ) operations.
Let's personalize your content